>> Google Books

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>
International Business Machines Corporation <DA00641093>
American Association for Artificial Intelligence <DA00641140>
United States. Office of Naval Research <DA0064121X>
Association for Computing Machinery <DA00190868>
Halpern, Joseph Y., 1953- <DA00641038>
続きを見る
書誌ID:
BA00306864
ISBN:
9780934613040 [0934613044]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 図書 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 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 &hellip;

Morgan Kaufmann
8 図書 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
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 図書 Theoretical aspects of rationality and knowledge : proceedings of the seventh conference (TARK 1998), july 22-24, 1998, De Evanston, Illinois USA

Conference on Theoretical Aspects of Rationality and Knowledge, Gilboa, Itzhak

M. Kaufmann Publishers
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 &hellip;

North-Holland
10 図書 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
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-, &hellip;

Springer
11 図書 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-, &hellip;

Springer
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. &hellip;

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Col.
12 図書 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Froidevaux, Christine, Kohlas, &hellip;

Springer