Circumscriptive theories: A logic-based framework for knowledge representation

DOI10.1007/BF00297512MaRDI QIDQ1813201zbMATH OpenFDO

Authors 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)

Cites work

• scientific article; zbMATH DE number 4199654 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• scientific article; zbMATH DE number 4185010 (Why is no real title available?)
• Circumscription - a form of non-monotonic reasoning
• Completeness in the theory of types

Cited in

(5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1813201)