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

• Reasoning with knowledge and belief
• scientific article; zbMATH DE number 1453056
• scientific article; zbMATH DE number 978236

zbMATH Keywords

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

Mathematics Subject Classification ID

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)