On embedding default logic into Moore's autoepistemic logic

DOI10.1016/0004-3702(95)00117-4OpenAlexW2069174070WikidataQ127359356 ScholiaQ127359356MaRDI QIDQ2676564

Grigori Schwarz

Publication date: 27 September 2022

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

Full work available at URL: https://doi.org/10.1016/0004-3702(95)00117-4

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

Cites Work

• Semantical considerations on nonmonotonic logic
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Non-monotonic logic. I
• Modal logic for default reasoning
• All I know: A study in autoepistemic logic
• Nonmonotonic Logic II
• Modal nonmonotonic logics
• Translating default logic into standard autoepistemic logic
• Unnamed Item

This page was built for publication: On embedding default logic into Moore's autoepistemic logic