Autoepistemic circumscription and logic programming

DOI10.1007/BF00881833MaRDI QIDQ1311407zbMATH OpenFDO

Authors Li Yan Yuan, Jia-Huai You

Publication date 13 March 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

belief constraintcircumsriptionnonmonotonic reasoningsemantics of logic programmingstable circumscriptive semanticswell- founded circumscriptive semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Autoepistemic logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Logic program semantics and circumscription of autoepistemic theories
• scientific article; zbMATH DE number 4158607
• Autoepistemic logic programming

Cites work

• Circumscription - a form of non-monotonic reasoning
• scientific article; zbMATH DE number 4158607 (Why is no real title available?)
• On the relation between default and autoepistemic logic
• Semantical considerations on nonmonotonic logic

Cited in

(26)

• A logic of knowledge and justified assumption
• Logic program semantics and circumscription of autoepistemic theories
• Autoepistemic logic programming
• Autoepistemic logic of first order and its expressive power
• Autoepistemic logic of knowledge and beliefs
• Computation of the semantics of autoepistemic belief theories
• Static semantics for normal and disjunctive logic programs
• scientific article; zbMATH DE number 4158607 (Why is no real title available?)
• scientific article; zbMATH DE number 4104923 (Why is no real title available?)
• scientific article; zbMATH DE number 33417 (Why is no real title available?)
• scientific article; zbMATH DE number 35418 (Why is no real title available?)
• scientific article; zbMATH DE number 67824 (Why is no real title available?)
• scientific article; zbMATH DE number 1222411 (Why is no real title available?)
• scientific article; zbMATH DE number 1301756 (Why is no real title available?)
• scientific article; zbMATH DE number 500200 (Why is no real title available?)
• scientific article; zbMATH DE number 517078 (Why is no real title available?)
• scientific article; zbMATH DE number 640290 (Why is no real title available?)
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• scientific article; zbMATH DE number 1390354 (Why is no real title available?)
• On the extension of logic programming with negation through uniform proofs
• Embedding circumscriptive theories in general disjunctive programs
• scientific article; zbMATH DE number 4185059 (Why is no real title available?)
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• Logic programming
• On logics and semantics for general logic programs
• An epistemic model of logic programming

This page was built for publication: Autoepistemic circumscription and logic programming

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