Circumscriptive theories: A logic-based framework for knowledge representation

DOI10.1007/BF00297512zbMath0825.68634MaRDI QIDQ1813201

Vladimir Lifschitz

Publication date: 25 June 1992

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Related Items (5)

Common Knowledge, Common Attitudes and Social Reasoning ⋮ On the number of minimal transversals in 3-uniform hypergraphs ⋮ Guest editors' introduction ⋮ Conditional entailment: bridging two approaches to default reasoning. ⋮ Argument-based extended logic programming with defeasible priorities

Cites Work

• Circumscription - a form of non-monotonic reasoning
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Circumscriptive theories: A logic-based framework for knowledge representation