Reasoning with knowledge and belief

MaRDI QIDQ5930852zbMATH OpenFDO

Authors Teodor C. Przymusinski

Publication date 26 April 2001

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

autoepistemic logic

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15) Semantics in the theory of computing (68Q55) General topics in artificial intelligence (68T01)

Recommendations

• Autoepistemic logic of knowledge and beliefs
• scientific article; zbMATH DE number 1453056
• A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
• scientific article; zbMATH DE number 978236
• scientific article; zbMATH DE number 4130060

Cited in

(18)

• Autoepistemic logic of knowledge and beliefs
• Strong belief and forward induction reasoning.
• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• An infinite-game semantics for well-founded negation in logic programming
• Knowledge, justification, and (a sort of) safe belief
• Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
• Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
• scientific article; zbMATH DE number 994060 (Why is no real title available?)
• scientific article; zbMATH DE number 4104925 (Why is no real title available?)
• scientific article; zbMATH DE number 4106295 (Why is no real title available?)
• scientific article; zbMATH DE number 1303329 (Why is no real title available?)
• scientific article; zbMATH DE number 978236 (Why is no real title available?)
• scientific article; zbMATH DE number 1761412 (Why is no real title available?)
• Belief, provability, and logic programs
• scientific article; zbMATH DE number 847979 (Why is no real title available?)
• How do Beliefs Simplify Reasoning?
• A nonmonotonic modal formalization of the logic of acceptance and rejection
• The alternating fixpoint of logic programs with negation

This page was built for publication: Reasoning with knowledge and belief

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5930852)