Autoepistemic logic of knowledge and beliefs

DOI10.1016/S0004-3702(97)00032-5zbMath0894.68141OpenAlexW2001794777WikidataQ126653755 ScholiaQ126653755MaRDI QIDQ1389599

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

zbMATH Keywords

nonmonotonic reasoninglogics of knowledge and beliefssemantics of logic programs and deductive databases

Mathematics Subject Classification ID

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

Related Items

Static semantics for normal and disjunctive logic programs, On the equivalence of the static and disjunctive well-founded semantics and its computation

Cites Work

• Semantical considerations on nonmonotonic logic
• Inferring negative information from disjunctive databases
• On the relationship between circumscription and negation as failure
• Circumscription - a form of non-monotonic reasoning
• Autoepistemic circumscription and logic programming
• Minimal belief and negation as failure
• `Classical' negation in nonmonotonic reasoning and logic programming
• Weak generalized closed world assumption
• Static semantics for normal and disjunctive logic programs
• Logic programming and reasoning with incomplete information
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Strong and explicit negation in non-monotonic reasoning and logic programming
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item