Principles of knowledge representation and reasoning : proceedings of the second international conference (KR91)

>> Google Books

QRコード(所蔵情報)

Principles of knowledge representation and reasoning : proceedings of the second international conference (KR91)

フォーマット:

図書

責任表示:

edited by James Allen, Richard Fikes, Erik Sandewall

言語:

英語

出版情報:

San Mateo, Calif. : Morgan Kaufmann Publishers, c1991

形態:

602 p. ; 28 cm

著者名:

シリーズ名:

The Morgan Kaufmann series in representation and reasoning <BA05138585>

書誌ID:

BA12460012

ISBN:

9781558601659 [1558601651]

子書誌情報

所蔵情報

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

詳細

主題:	Knowledge representation (Information theory)--Congresses; Reasoning--Congresses
分類・件名:	LCC : Q387 DDC : 003/.54 LCSH : Knowledge representation (Information theory) -- Congresses LCSH : Reasoning -- Congresses
LCCN:	91013453
注記:	Includes references and indexes
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning International Conference on Principles of Knowledge Representation and Reasoning, Brachman, Ronald J., 1949-, Levesque, … M. Kaufmann	7 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming MIT Press
2 図書 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	8 図書 Knowledge and representation Gelder, Beatrice de, 1944-, Geert, Paul van Routledge & Kegan Paul
3 図書 Conceptual structures : knowledge visualization and reasoning : 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, … International Conference on Conceptual Structures, Eklund, Peter W., 1962-, Haemmerlé, Ollivier Springer	9 図書 Conceptual structures : logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, … International Conference on Conceptual Structures, Ganter, Bernhard, Mineau, Guy W Springer
4 図書 Conceptual structures : knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007 Sheffield, UK, July … International Conference on Conceptual Structures, Priss, Uta, 1967-, Polovina, Simon, Hill, Richard Springer	10 図書 Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, USA, July 19-23, 2004 : proceedings International Conference on Conceptual Structures, Wolff, Karl Erich, Pfeiffer, Heather D., Delugach, Harry S. Springer
5 図書 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	11 図書 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
6 図書 Conceptual structures for knowledge creation and communication : 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July … International Conference on Conceptual Structures, Moor, Aldo de, Lex, Wilfried, Ganter, Bernhard Springer	12 図書 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