Disjunctive logic programming and autoepistemic logic

DOI10.1007/BFB0054791MaRDI QIDQ4217934zbMATH OpenFDO

Authors Li Yan Yuan, Jia-Huai You, Randy Goebel

Publication date 18 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

autoepistemic reasoning semanticsdisjunctive logic programs

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17)

Recommendations

• Autoepistemic logic programming
• Autoepistemic circumscription and logic programming
• Disjunctive logic and semantics of disjunctive logic programs
• Logic program semantics and circumscription of autoepistemic theories
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• scientific article; zbMATH DE number 33417
• scientific article; zbMATH DE number 88998
• On the autoepistemic reconstruction of logic programming
• scientific article; zbMATH DE number 1926616
• An abductive approach to disjunctive logic programming

Cited in

(2)

• Disjunctive logic and semantics of disjunctive logic programs
• Autoepistemic logics as a unifying framework for the semantics of logic programs

This page was built for publication: Disjunctive logic programming and autoepistemic logic

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