Nonmonotonic reasoning and uncertain reasoning

>> Google Books

所蔵情報QRコード

Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute

資料種別:

図書

出版情報:

Oxford : Clarendon Press
Oxford ; New York : Oxford University Press, 1994

形態:

xix, 529 p. ; 24 cm

シリーズ名:

Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3 <BA20261791>

著者名:

ISBN:

9780198537472 [0198537476]

書誌ID:

BA22029473

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

Artificial intelligence; Logic programming; Logic, Symbolic and mathematical

言語:

英語

目次情報:

AI and Nonmonotonic Reasoning / M. Ginsberg3.1：

General Non monotonic Logic / D. Makinson3.2：

Some direct theories of nonmonotonic Inheritance / J. Horty3.3：

Default Logic / D. Poole3.4：

Autoepistemic Logic / K. Konolige3.5：

Circumscription / V. Lifschitz3.6：

Defeasible Logic / D. Nute3.7：

Probabilistic Logic / H. Kyburg3.8：

Possibilistic Logic / 3.9：

AI and Nonmonotonic Reasoning / M. Ginsberg3.1：

General Non monotonic Logic / D. Makinson3.2：

Some direct theories of nonmonotonic Inheritance / J. Horty3.3：

Default Logic / D. Poole3.4：

Autoepistemic Logic / K. Konolige3.5：

Circumscription / V. Lifschitz3.6：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	7 電子ブック A New Perspective on Nonmonotonic Logics Gabbay, Dov M.; Schlechta, Karl Springer eBooks Computer Science, Springer International Publishing
2 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 電子ブック A New Perspective on Nonmonotonic Logics Gabbay, Dov M.; Schlechta, Karl, Schlechta, Karl SpringerLink Books - AutoHoldings, Springer International Publishing
3 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Investigations in modal and tense logics with applications to problems in philosophy and linguistics Gabbay, Dov M., 1945- D. Reidel Pub. Co.
4 図書 Introduction to logic programming (: pbk) Hogger, Christopher John Academic Press	10 図書 Many-dimensional modal logics : theory and applications Gabbay, Dov M., 1945- Elsevier North Holland
5 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings (: gw ; : us) International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag	11 図書 Reasoning with incomplete information (uk. ; us.) Etherington, David W. Pitman, M. Kaufmann Publishers
6 電子ブック Neural-Symbolic Cognitive Reasoning Gabbay, Dov M., Siekmann, J?rg Springer eBooks Computer Science, Springer Berlin Heidelberg	12 図書 Logic : form and function : the mechanization of deductive reasoning Robinson, J. A. (John Alan) University Press