Autoepistemic logic programming

DOI10.1007/BF00881911zbMath0819.68035OpenAlexW168338314MaRDI QIDQ1344887

Piero 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)

Related Items

Querying disjunctive databases through nonmonotonic logics, A sequent calculus for skeptical Default Logic, Sequent calculi for default and autoepistemic logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Negation as instantiation
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• The well-founded semantics for general logic programs
• Autoepistemic logics as a unifying framework for the semantics of logic programs