Autoepistemic logic programming
From MaRDI portal
Publication:1344887
DOI10.1007/BF00881911zbMath0819.68035OpenAlexW168338314MaRDI QIDQ1344887
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
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