Research Catalog

Philosophical logic and artificial intelligence

Title
Philosophical logic and artificial intelligence / edited by Richmond H. Thomason.
Publication
Dordrecht ; Boston : Kluwer Academic, ©1989.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextUse in library BC71 .P54 1989Off-site

Details

Additional Authors
Thomason, Richmond H.
Description
222 pages : illustrations; 23 cm
Subject
  • Logic
  • Artificial intelligence
  • Artificial Intelligence
  • Logic
  • artificial intelligence
  • logic
  • Inteligencia artificial
  • Logic, Symbolic and mathematical
  • Logique
  • Intelligence artificielle
Note
  • "Developed from the Journal of philosophical logic, volume 17, no. 4, November 1988"--T.p. verso.
Bibliography (note)
  • Includes bibliographical references.
Contents
Philosophical logic and artificial intelligence / Richmond Thomason -- I'm OK if you're OK : on the notion of trusting communication / Ronald Fagin and Joseph Y. Halpern -- Concepts of information : comparative axiomatics / David Israel -- Logic and the complexity of reasoning / Hector J. Levesque -- Circumscriptive theories : a logic-based framework for knowledge representation / Vladimir Lifschitz -- Artificial intelligence, logic and formalizing common sense / John McCarthy -- Efficient reasoning about rich temporal domains / Yoav Shoham.
ISBN
  • 0792304152
  • 9780792304159
LCCN
89015556
OCLC
  • ocm20055829
  • 20055829
  • SCSB-1749843
Owning Institutions
Princeton University Library