The open logic and its relation to circumscription

DOI10.1007/BF02917057MaRDI QIDQ1297717zbMATHOpenAlexFDO

Authors Zuoquan Lin, Wei Li

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

knowledge representationcircumscriptionnonmonotonic logicopen logiclogic of epistemic processesupdating knowledge

Mathematics Subject Classification ID

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

Recommendations

• An open logic system
• scientific article; zbMATH DE number 62657
• scientific article; zbMATH DE number 4026858
• Publication:4729762

Cites work

• scientific article; zbMATH DE number 4174344 (Why is no real title available?)
• scientific article; zbMATH DE number 3668430 (Why is no real title available?)
• scientific article; zbMATH DE number 3266584 (Why is no real title available?)
• A circumscriptive theorem prover
• A logic for default reasoning
• A logical framework for default reasoning
• A modal nonmonotonic logic
• An open logic system
• Circumscription - a form of non-monotonic reasoning
• Closed-world databases and circumscription
• Equality and Domain Closure in First-Order Databases
• Nonmonotonic inference based on expectations

Cited in

(4)

• scientific article; zbMATH DE number 6297875 (Why is no real title available?)
• scientific article; zbMATH DE number 1890618 (Why is no real title available?)
• On the decidability of open logic
• An open formalism against incompleteness

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

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