Autoepistemic logic programming

DOI10.1007/BF00881911MaRDI QIDQ1344887zbMATH OpenOpenAlexFDO

Authors P. A. Bonatti

Publication date 22 February 1995

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

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

zbMATH Keywords

abductive frameworksautoepistemic logic programming languageFitting's semanticsKunen's semantics

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Autoepistemic circumscription and logic programming
• scientific article; zbMATH DE number 67824
• 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

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 67824 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• Negation as instantiation
• Negation in logic programming
• Semantical considerations on nonmonotonic logic
• Stable and extension class theory for logic programs and default logics
• The relationship between stable, supported, default and autoepistemic semantics for general logic programs
• The well-founded semantics for general logic programs

Cited in

(11)

• On the autoepistemic reconstruction of logic programming
• Querying disjunctive databases through nonmonotonic logics
• scientific article; zbMATH DE number 33417 (Why is no real title available?)
• scientific article; zbMATH DE number 1222411 (Why is no real title available?)
• scientific article; zbMATH DE number 1390354 (Why is no real title available?)
• Autoepistemic logics as a unifying framework for the semantics of logic programs
• Autoepistemic circumscription and logic programming
• scientific article; zbMATH DE number 67824 (Why is no real title available?)
• A sequent calculus for skeptical Default Logic
• Sequent calculi for default and autoepistemic logics
• Translating multi-agent autoepistemic logic into logic program

This page was built for publication: Autoepistemic logic programming

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