Autoepistemic logic revisited

DOI10.1016/0004-3702(93)90165-8OpenAlexW2088213856MaRDI QIDQ2675267

Robert C. Moore

Publication date: 21 September 2022

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(93)90165-8

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) History of computer science (68-03)

Related Items (2)

Dynamic reasoning with qualified syllogisms ⋮ A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

Cites Work

• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• Non-monotonic logic. I
• Three-valued nonmonotonic formalisms and semantics of logic programs
• All I know: A study in autoepistemic logic
• Nonmonotonic Logic II
• Unnamed Item
• Unnamed Item

This page was built for publication: Autoepistemic logic revisited