Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

QRコード(所蔵情報)

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

フォーマット:

図書

責任表示:

edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

言語:

英語

出版情報:

Los Altos, Calif. : M. Kaufmann Publishers, c1986

形態:

407 p. ; 28 cm

著者名:

Conference on Theoretical Aspects of Reasoning about Knowledge <DA00641311>

Halpern, Joseph Y., 1953- <DA00641038>

International Business Machines Corporation <DA00641093>

American Association for Artificial Intelligence <DA00641140>

United States. Office of Naval Research <DA0064121X>

Association for Computing Machinery <DA00190868>

続きを見る

書誌ID:

BA00306864

ISBN:

9780934613040 [0934613044]

子書誌情報

所蔵情報

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

詳細

主題:	Artificial intelligence--Congresses; Knowledge, Theory of--Congresses; Logic, Symbolic and mathematical--Congresses; Reasoning--Congresses
分類・件名:	LCC : Q334 DDC : 006.3 LCSH : Artificial intelligence -- Congresses LCSH : Knowledge, Theory of -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Reasoning -- Congresses
LCCN:	86002755
注記:	Includes bibliographies 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 図書 Proceedings : Sixteenth National Conference on Artificial Intelligence (AAAI-99) : Eleventh Innovative Applications of Artificial Intelligence Conference … National Conference on Artificial Intelligence, IAAI Conference, American Association for Artificial Intelligence AAAI Press, MIT Press
2 図書 Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California Conference on Theoretical Aspects of Reasoning about Knowledge, Parikh, Rohit, 1936-, Almaden Research Center (IBM … Morgan Kaufmann	8 図書 Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Eighth Innovative Applications of Artificial Intelligence Conference National Conference on Artificial Intelligence, IAAI Conference, American Association for Artificial Intelligence AAAI Press, MIT Press
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 図書 Proceedings : the Fourth Conference on Artificial Intelligence Applications Conference on Artificial Intelligence Applications, American Association for Artificial Intelligence, IEEE Computer … Computer Society of the IEEE, Order from IEEE Computer Society
4 図書 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.	10 図書 PRICAI'98 : topics in artificial intelligence : 5th Pacific Rim International Conference on Artificial Intelligence, Singapore, November 22-27, 1998 : … Pacific Rim International Conference on Artificial Intelligence, Lee, Hing Yan, 元田, 浩 Springer
5 図書 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	11 図書 Proceedings of the First Annual National Conference on Artificial Intelligence : at Stanford University, August 18 to 21, 1980 National Conference on Artificial Intelligence, American Association for Artificial Intelligence AAAI
6 図書 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	12 図書 Proceedings : AAAI-86 : Fifth National Conference on Artificial Intelligence, August 11-15, 1986, Philadelphia, Pa. National Conference on Artificial Intelligence, American Association for Artificial Intelligence M. Kaufmann [distributor]