Circumscriptive theories: A logic-based framework for knowledge representation

DOI10.1007/BF00297512zbMATH Open0825.68634MaRDI QIDQ1813201FDOQ1813201

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

• Completeness in the theory of types
• Title not available (Why is that?)
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)

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)