Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California

QRコード(所蔵情報)

Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California

フォーマット:

図書

責任表示:

edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research

言語:

英語

出版情報:

San Mateo, Calif. : Morgan Kaufmann, c1990

形態:

iv, 305 p. ; 28 cm

著者名:

シリーズ名:

The Morgan Kaufmann series in representation and reasoning <BA05138585>

書誌ID:

BA10293532

ISBN:

9781558601055 [1558601058]

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

その他の標題:	Reasoning about knowledge
主題:	Artificial intelligence--Congresses; Knowledge, Theory of--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : Q334 DDC : 006.3 LCSH : Artificial intelligence -- Congresses LCSH : Knowledge, Theory of -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	90005435
注記:	Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California Conference on Theoretical Aspects of Reasoning about Knowledge, Vardi, Moshe, Almaden Research Center (IBM Research) Morgan Kaufmann Publishers	7 図書 Advances in artificial intelligence II : Seventh European Conference on Artificial Intelligence, ECAI-86, Brighton, U.K., July 20-25, 1986 European Conference on Artificial Intelligence, Du Boulay, Ben, Hogg, David, Steels, Luc North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
2 図書 Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California Conference on Theoretical Aspects of Reasoning about Knowledge, Halpern, Joseph Y., 1953-, International Business … M. Kaufmann Publishers	8 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to … American Mathematical Society
3 図書 Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, … International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, University of North Carolina at … North-Holland	9 図書 PRICAI '96 : topics in artificial intelligence : 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August 26-30, 1996 : … Pacific Rim International Conference on Artificial Intelligence, Foo, N. Y. (Norman Y.), Goebel, Randy Springer
4 図書 Methodologies for intelligent systems, 3 : proceedings of the Third International Symposium on Methodologies for Intelligent Systems held October 12-15, 1988, … International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, Saitta, Lorenza, 1944- North-Holland	10 図書 Data and knowledge (DS-2) : proceedings of the Second IFIP 2.6 Working Conference on Database Semantics, 'Data and Knowledge' (DS-2), Albufeira, Portugal, 3-7 … IFIP 2.6 Working Conference on Database Semantics "Data and Knowledge", Meersman, R., Sernadas, A., 1952-, Gaschnig, … North-Holland, Sole distributors, Elsevier Science Pub. Co.
5 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings International Conference on Automated Deduction, Shostak, Robert, 1931- Springer-Verlag	11 図書 Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings Bläsius, Karl Hans, 1952-, Hedtstück, Ulrich, 1951-, Rollinger, Claus-Rainer, 1950- Springer-Verlag
6 図書 Case-based reasoning research and development : First International Conference, ICCBR-95, Sesimbra, Portugal, October 23-26, 1995 : proceedings International Conference on Case-Based Reasoning, Veloso, Manuela M., Aamodt, Agnar Springer-Verlag	12 図書 Reasoning about actions & plans : proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon Georgeff, Michael P., 1946-, Lansky, Amy L., 1955-, American Association for Artificial Intelligence, Stanford … M. Kaufmann Publishers