close
1.

図書

図書
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.

図書

図書
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.

図書

図書
David S. Touretzky
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1986  220 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
4.

図書

図書
Kurt Konolige
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986  165 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
5.

図書

図書
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984  121 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
6.

図書

図書
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:
7.

図書

図書
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…
8.

図書

図書
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993  ix, 163 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書

図書
David W. Etherington
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1988  viii, 240 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
10.

図書

図書
Fahiem Bacchus
出版情報: Cambridge, Mass. : MIT Press, c1990  233 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼