On the autoepistemic reconstruction of logic programming

DOI10.1007/BF03037155zbMath0776.68028OpenAlexW2025884596MaRDI QIDQ685123

Juan-Miguel Gracia

Publication date: 30 September 1993

Published in: New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

stratificationnonmonotonic reasoningclosed world assumptionnegation as failurestable model semanticsautoepistemic predicate logiccompletion semanticssemantics of logic programsthree-valued autoepistemic semanticswell- founded semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Cites Work

• An intensional epistemic logic
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Three-valued nonmonotonic formalisms and semantics of logic programs
• A kripke-kleene semantics for logic programs*
• Negation in logic programming
• The Semantics of Predicate Logic as a Programming Language
• The well-founded semantics for general logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the autoepistemic reconstruction of logic programming