Circumscriptive semantics for updating knowledge bases

DOI10.1007/BF01530932zbMath0873.68192MaRDI QIDQ1360687

Marianne Winslett

Publication date: 17 July 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

first-order logicknowledge bases

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) General topics in artificial intelligence (68T01)

Related Items

On the complexity of propositional knowledge base revision, updates, and counterfactuals

Cites Work

• On the satisfiability of circumscription
• Closed-world databases and circumscription
• Temporal logics in AI: semantical and ontological considerations
• A theory of diagnosis from first principles
• Reasoning about action. I: A possible worlds approach
• Circumscription - a form of non-monotonic reasoning
• Counterfactuals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item