Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California

>> Google Books

Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge : March 7-9, 1988, Pacific Grove, California

フォーマット:

図書

責任表示:

edited by Moshe Y. Vardi

言語:

英語

出版情報:

Los Altos, Calif. : Morgan Kaufmann Publishers, c1988

形態:

viii, 401 p. : ill. ; 28 cm

著者名:

書誌ID:

BA06644495

ISBN:

9780934613668 [0934613664] (: pbk)

子書誌情報

所蔵情報

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

詳細

その他の標題:	Theoretical aspects of reasoning about knowledge Reasoning about knowledge
主題:	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:	87034480
注記:	"Sponsored by IBM Research, Almaden Research Center..." Includes bibliographies and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning Springer-Verlag
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, International Business Machines Corporation, American … M. Kaufmann Publishers	8 図書 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '99, London, UK, July 5-9, 1999 : proceedings European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Hunter, Anthony, 1962-, … Springer
3 図書 Theoretical aspects of reasoning about knowledge : proceedings of the fifth conference (TARK 1994), March 13-16, 1994, Pacific Grove, California Conference on Theoretical Aspects of Reasoning about Knowledge, Fagin, Ronald M. Kaufmann Publishers	9 図書 Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer
4 図書 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	10 図書 Theoretical aspects of rationality and knowledge : proceedings of the sixth conference (TARK 1996), March 17-20, 1996, De Zeeuwse Stromen, The Netherlands Conference on Theoretical Aspects of Rationality and Knowledge, Shoham, Yoav M. Kaufmann Publishers
5 図書 Symbolic and quantitative approaches to reasoning with uncertainty : 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001 : … European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Benferhat, Salem, 1966-, … Springer	11 図書 Artificial intelligence applications : the engineering of knowledge-based systems : proceedings of the Second Conference, Miami Beach, Florida, December 11-13, … Conference on Artificial Intelligence Applications, Weisbin, Charles R. IEEE Computer Society Press
6 図書 Artificial intelligence III : methodology, systems, applications : proceedings of the Third International Conference on Artificial Intelligence: Methodology, … International Conference on Artificial Intelligence : Methodology, Systems, Applications, O'Shea, Tim, 1949-, Sgurev, V. … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Col.	12 図書 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