Autoepistemic logic of knowledge and beliefs
DOI10.1016/S0004-3702(97)00032-5zbMATH Open0894.68141OpenAlexW2001794777WikidataQ126653755 ScholiaQ126653755MaRDI QIDQ1389599FDOQ1389599
Authors: Teodor C. Przymusinski
Publication date: 30 June 1998
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0004-3702(97)00032-5
Recommendations
nonmonotonic reasoninglogics of knowledge and beliefssemantics of logic programs and deductive databases
Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Logic programming and reasoning with incomplete information
- Title not available (Why is that?)
- A skeptical theory of inheritance in nonmonotonic semantic networks
- Semantical considerations on nonmonotonic logic
- On the relationship between circumscription and negation as failure
- Circumscription - a form of non-monotonic reasoning
- Static semantics for normal and disjunctive logic programs
- Inferring negative information from disjunctive databases
- Weak generalized closed world assumption
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the equivalence of the static and disjunctive well-founded semantics and its computation
- Minimal belief and negation as failure
- Title not available (Why is that?)
- Autoepistemic circumscription and logic programming
- `Classical' negation in nonmonotonic reasoning and logic programming
- Title not available (Why is that?)
- Strong and explicit negation in non-monotonic reasoning and logic programming
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning with knowledge and belief
- On the equivalence of the static and disjunctive well-founded semantics and its computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Static semantics for normal and disjunctive logic programs
- A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
This page was built for publication: Autoepistemic logic of knowledge and beliefs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1389599)