Autoepistemic logic of knowledge and beliefs

DOI10.1016/S0004-3702(97)00032-5MaRDI QIDQ1389599zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

logics of knowledge and beliefsnonmonotonic reasoningsemantics of logic programs and deductive databases

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• `Classical' negation in nonmonotonic reasoning and logic programming
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Autoepistemic circumscription and logic programming
• Circumscription - a form of non-monotonic reasoning
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4155872 (Why is no real title available?)
• scientific article; zbMATH DE number 4101147 (Why is no real title available?)
• scientific article; zbMATH DE number 3755910 (Why is no real title available?)
• scientific article; zbMATH DE number 15392 (Why is no real title available?)
• scientific article; zbMATH DE number 978236 (Why is no real title available?)
• Inferring negative information from disjunctive databases
• Logic programming and reasoning with incomplete information
• Minimal belief and negation as failure
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• On the relationship between circumscription and negation as failure
• Semantical considerations on nonmonotonic logic
• Static semantics for normal and disjunctive logic programs
• Strong and explicit negation in non-monotonic reasoning and logic programming
• Weak generalized closed world assumption

Cited in

(13)

• Static semantics for normal and disjunctive logic programs
• All I know: A study in autoepistemic logic
• scientific article; zbMATH DE number 60835 (Why is no real title available?)
• scientific article; zbMATH DE number 97793 (Why is no real title available?)
• scientific article; zbMATH DE number 408779 (Why is no real title available?)
• scientific article; zbMATH DE number 549998 (Why is no real title available?)
• scientific article; zbMATH DE number 695095 (Why is no real title available?)
• scientific article; zbMATH DE number 978236 (Why is no real title available?)
• The generalized logic of only knowing (GOL) that covers the notion of epistemic specifications
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• Reasoning with knowledge and belief
• On the equivalence of the static and disjunctive well-founded semantics and its computation
• A nonmonotonic modal formalization of the logic of acceptance and rejection

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)