close
1.

図書
図書
1. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1994  xv, 511 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. 2
所蔵情報: loading…
目次情報: 続きを見る
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
Higher-Order Features, Types and Fixpoints / D. Leivant2.4：
Metalanguages, Reflection Principles and Self Reference / D. Perlis ; V.S. Subrahmanian2.5：
Classical vs non-classical Logic / D. Gabbay2.6：
Automated Reasoning / L. Wos ; R. Veroff2.1：
General Unification Theory / J. Siekmann2.2：
Induction / Ch. Walther2.3：
2.

図書
図書
2. 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
所蔵情報: loading…
目次情報: 続きを見る
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：
3.

図書
図書
3. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993  xiii, 518 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. 1
所蔵情報: loading…
目次情報: 続きを見る
List of contributors
The role(s) of logic in artificial intelligence / David J. Israel1.1：
First order logic / Martin Davis1.2：
Methods and calculi for deduction / W. Bibel ; E. Eder1.3：
Deduction systems based on resolution / Norbert Eisinger ; Hans Jurgen Ohlbach1.4：
Equational reasoning and term rewriting systems / David A. Plaisted1.5：
Basic modal logic / Melvin Fitting1.6：
Logical features of Horn clauses / Wilfrid Hodges1.7：
Author index
Subject index
List of contributors
The role(s) of logic in artificial intelligence / David J. Israel1.1：
First order logic / Martin Davis1.2：
4.

図書
図書
4. Handbook of logic in artificial intelligence and logic programming
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993-1998  5 v. ; 25 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼