Reasoning from incomplete knowledge in a procedural deduction system | 茨城大学附属図書館 OPAC

>> Google Books

QRコード(所蔵情報)

Reasoning from incomplete knowledge in a procedural deduction system

フォーマット:: 図書
責任表示:: Robert C. Moore
言語:: 英語
出版情報:: New York : Garland Pub., 1980
形態:: 112 p. : ill. ; 22 cm
著者名:: Moore, Robert C., 1948- <DA00030114>
シリーズ名:: Outstanding dissertations in the computer sciences <BA1154457X>
書誌ID:: BA07300833
ISBN:: 9780824044039 [0824044037]

子書誌情報

所蔵情報

Loading availability information

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

詳細

主題:	Artificial intelligence; Knowledge, Theory of; Logic, Symbolic and mathematical
分類・件名:	LCC : Q360 DDC : 001.53/9 LCSH : Artificial intelligence LCSH : Knowledge, Theory of LCSH : Logic, Symbolic and mathematical
LCCN:	79050228
注記:	Rev. version of the author's thesis (M.S.)--Massachusetts Institute of Technology, 1975 Bibliography: p. 110-112
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal theories of the commonsense world Hobbs, Jerry R., Moore, Robert C., 1948- Ablex Pub.	7 図書 The mathematics of inheritance systems Touretzky, David S. Pitman, M. Kaufmann Publishers
2 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 Scripts, plans, goals, and understanding : an inquiry into human knowledge structures Schank, Roger C., 1946-, Abelson, Robert P. Lawrence Erlbaum Associates, distributed by the Halsted Press Division of John Wiley and Sons
3 図書 A deduction model of belief Konolige, Kurt Pitman, Morgan Kaufmann	9 図書 Structures and procedures of implicit knowledge Graesser, Arthur C., Clark, Leslie F. Ablex Pub. Corp.
4 図書 Nonmonotonic reasoning and uncertain reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Fuzzy logic in knowledge engineering Prade, Henri M., Negoiţă, C. V. (Constantin Virgil) TÜV Rheinland
5 図書 Advances in knowledge discovery and data mining Fayyad, Usama M. AAAI Press : MIT Press	11 図書 Probabilistic reasoning in intelligent systems : networks of plausible inference Pearl, Judea Morgan Kaufmann Pub.
6 図書 From mathematics to philosophy Wang, Hao, 1921- Routledge & Kegan Paul, Humanities Press	12 図書 Approximate reasoning in intelligent systems, decision and control Sanchez, Elie, 1944-, Zadeh, Lotfi Asker Pergamon Press