Search records | 東京工業大学附属図書館蔵書検索

目次情報: 続きを見る

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：

目次情報: 続きを見る

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：