Formal theories of the commonsense world

QRコード(所蔵情報)

フォーマット:

図書

責任表示:

Jerry R. Hobbs and Robert C. Moore, editors

言語:

英語

出版情報:

Norwood, NJ : Ablex Pub., 1985

形態:

xxii, 455 p. : ill. ; 24 cm

著者名:

シリーズ名:

Ablex series in artificial intelligence <BA00017131>

書誌ID:

BA00017120

ISBN:

9780893912130 [0893912131]

子書誌情報

所蔵情報

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

詳細

主題:	Artificial intelligence; Knowledge, Theory of; Physics--Philosophy; Reasoning
分類・件名:	LCC : Q360 DDC : 001.53/5 NDC8 : 007.1 LCSH : Artificial intelligence LCSH : Physics -- Philosophy LCSH : Reasoning LCSH : Knowledge, Theory of
LCCN:	85001357
注記:	Includes bibliographies and index
TTLL:	eng

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Reasoning from incomplete knowledge in a procedural deduction system Moore, Robert C., 1948- Garland Pub.	7 図書 The use of knowledge in analogy and induction Russell, Stuart J. (Stuart Jonathan) Pitman, Morgan Kaufmann Publishers
2 図書 Gedachtes Heidegger, Martin, 1889-1976, Coriando, Paola-Ludovica, 1969- V. Klostermann	8 図書 Approximate reasoning models López de Mántaras, Ramón, 1952 Ellis Horwood, Halsted Press
3 図書 Knowledge as design Perkins, David N. L. Erlbaum Associates	9 図書 Mundane reasoning by parallel constraint satisfaction Derthick, Mark Pitman, Morgan Kaufmann Publishers
4 図書 Probabilistic reasoning in intelligent systems : networks of plausible inference Pearl, Judea Morgan Kaufmann Pub.	10 図書 Shadows of the mind : a search for the missing science of consciousness Penrose, Roger Oxford University Press
5 図書 Approximate reasoning in intelligent systems, decision and control Sanchez, Elie, 1944-, Zadeh, Lotfi Asker Pergamon Press	11 図書 Shadows of the mind : a search for the missing science of consciousness Penrose, Roger Oxford University Press
6 図書 Semantic networks : an evidential formalization and its connectionist realization Shastri, Lokendra Pitman, M. Kaufmann	12 図書 Hume's theory of the external world Price, H. H. (Henry Habberley), 1899- Clarendon Press