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
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Book/Text | Use in library | BC71 .P54 1989 | Off-site |
Details
- Additional Authors
- Thomason, Richmond H.
- Description
- 222 pages : illustrations; 23 cm
- Subject
- 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