On the autoepistemic reconstruction of logic programming
From MaRDI portal
Publication:685123
DOI10.1007/BF03037155zbMath0776.68028MaRDI QIDQ685123
Publication date: 30 September 1993
Published in: New Generation Computing (Search for Journal in Brave)
stratification; nonmonotonic reasoning; closed world assumption; negation as failure; stable model semantics; autoepistemic predicate logic; completion semantics; semantics of logic programs; three-valued autoepistemic semantics; well- founded semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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