The open logic and its relation to circumscription

DOI10.1007/BF02917057zbMATH Open0929.03024OpenAlexW1999415591MaRDI QIDQ1297717FDOQ1297717

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

Recommendations

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

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)

Cites Work

• Nonmonotonic inference based on expectations
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Title not available (Why is that?)
• A logical framework for default reasoning
• Title not available (Why is that?)
• Equality and Domain Closure in First-Order Databases
• An open logic system
• Closed-world databases and circumscription
• A circumscriptive theorem prover
• Title not available (Why is that?)
• A modal nonmonotonic logic

Cited In (4)

• On the decidability of open logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)