The open logic and its relation to circumscription

DOI10.1007/BF02917057zbMath0929.03024OpenAlexW1999415591MaRDI QIDQ1297717

Wei Li, Zuoquan Lin

Publication date: 13 September 1999

Published in: Science in China. Series E (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02917057

zbMATH Keywords

nonmonotonic logicknowledge representationcircumscriptionopen logiclogic of epistemic processesupdating knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Closed-world databases and circumscription
• A logical framework for default reasoning
• A circumscriptive theorem prover
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic inference based on expectations
• A modal nonmonotonic logic
• An open logic system
• Equality and Domain Closure in First-Order Databases

This page was built for publication: The open logic and its relation to circumscription