Autoepistemic circumscription and logic programming

DOI10.1007/BF00881833zbMath0782.68076MaRDI QIDQ1311407

Li Yan Yuan, Jia-Huai You

Publication date: 13 March 1994

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

zbMATH Keywords

nonmonotonic reasoningsemantics of logic programmingcircumsriptionbelief constraintstable circumscriptive semanticswell- founded circumscriptive semantics

Mathematics Subject Classification ID

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

Related Items (7)

Logic program semantics and circumscription of autoepistemic theories ⋮ Autoepistemic logic of first order and its expressive power ⋮ Static semantics for normal and disjunctive logic programs ⋮ Autoepistemic logic of knowledge and beliefs ⋮ On the extension of logic programming with negation through uniform proofs ⋮ Embedding circumscriptive theories in general disjunctive programs ⋮ On the equivalence of the static and disjunctive well-founded semantics and its computation

Cites Work

• Unnamed Item
• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Circumscription - a form of non-monotonic reasoning

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