Research Catalog

Title

Logic-based artificial intelligence / edited by Jack Minker.

Publication

Boston : Kluwer Academic Publishers, [2000], ©2000.

Items in the Library & Off-site

Holdings

Details

Additional Authors

Minker, Jack

Description

xxiii, 606 pages : illustrations; 24 cm.

Series Statement

The Kluwer international series in engineering and computer science ; SECS 597

Uniform Title

Kluwer international series in engineering and computer science ; SECS 597.

Subject

• Computer logic
• Logic, Symbolic and mathematical
• Artificial intelligence

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Pt. I. Introduction to Logic-Based Artificial Intelligence. 1. Introduction to Logic-Based Artificial Intelligence / Jack Minker -- Pt. II. Commonsense Reasoning. 2. Concepts of Logical AI / John McCarthy -- Pt. III. Knowledge Representation. 3. Two Approaches to Efficient Open-World Reasoning / Giuseppe De Giacomo and Hector Levesque. 4. Declarative Problem-Solving in DLV / Thomas Eiter, Wolfgang Faber and Nicola Leone / [et al.] -- Pt. IV. Nonmonotonic Reasoning. 5. The Role of Default Logic in Knowledge Representation / James P. Delgrande and Torsten Schaub. 6. Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning / Marc Denecker, Victor Marek and Miroslaw Truszczynski -- Pt. V. Logic for Causation and Actions. 7. Getting to the Airport: The Oldest Planning Problem in AI / Vladimir Lifschitz, Norman McCain and Emilio Remolina / [et al.] -- Pt. VI. Planning and Problem Solving.
• 8. Encoding Domain Knowledge for Propositional Planning / Henry Kautz and Bart Selman. 9. Functional Strips / Hector Geffner -- Pt. VII. Logic, Planning and High Level Robotics. 10. Planning with Natural Actions in the Situation Calculus / Fiora Pirri and Raymond Reiter. 11. Reinventing Shakey / Murray Shanahan -- Pt. VIII. Logic for Agents and Actions. 12. Reasoning Agents in Dynamic Domains / Chitta Baral and Michael Gelfond. 13. Dynamic Logic for Reasoning about Actions and Agents / J.-J. Ch. Meyer -- Pt. IX. Inductive Reasoning. 14. Logic-Based Machine Learning / Stephen Muggleton and Flaviu Marginean -- Pt. X. Possibilistic Logic. 15. Decision, Nonmonotonic Reasoning, Possibilistic Logic / Salem Benferhat, Didier Dubois and Helene Fargier / [et al.] -- Pt. XI. Logic and Beliefs. 16. The Role(s) of Belief in AI / Don Perlis. 17. Modeling the Beliefs of Other Agents / Richmond H. Thomason -- Pt. XII. Logic and Language.
• 18. The Situations We Talk about / Lenhart K. Schubert -- Pt. XIII. Computational Logic. 19. Linear Time Datalog and Branching Time Logic / Georg Gottlob, Erich Gradel and Helmut Veith. 20. On the Expressive Power of Planning Formalisms / Bernkard Nebel -- Pt. XIV. Knowledge Base System Implementations. 21. Extending the Smodels System with Cardinality and Weight Constraints / Ilkka Niemda and Patrik Simons. 22. Nonmontonic Reasoning in [actual symbol not reproducible] ̃/ Haixun Wang and Carlo Zaniolo -- Pt. XV. Applications of Theorem Proving and Logic Programming. 23. Towards a Mechanically Checked Theory of Computation / J. Strother Moore. 24. Logic-Based Techniques in Data Integration / Alon Y. Levy.

ISBN

0792372247 (alk. paper)

LCCN

00052177

OCLC

• ocm45243307
• SCSB-4122471

Owning Institutions

Columbia University Libraries