Translating default logic into standard autoepistemic logic

DOI10.1145/210332.210334zbMath0884.03025OpenAlexW1987903153WikidataQ29010491 ScholiaQ29010491MaRDI QIDQ4369881

Georg Gottlob

Publication date: 28 January 1998

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/210332.210334

zbMATH Keywords

modal logicnonmonotonic logicautoepistemic logicdefault logicnonmonotonic reasoningpolynomial-time translation

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (13)

Redundancy in logic. III: Non-monotonic reasoning ⋮ On embedding default logic into Moore's autoepistemic logic ⋮ Grounded fixpoints and their applications in knowledge representation ⋮ Approximating operators and semantics for abstract dialectical frameworks ⋮ A survey of non-monotonic reasoning ⋮ A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence ⋮ Investigating the Mapping between Default Logic and Inconsistency-Tolerant Semantics ⋮ The Complexity of Reasoning for Fragments of Default Logic ⋮ Seminormalizing a default theory ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Propositional default logics made easier: computational complexity of model checking. ⋮ Uniform semantic treatment of default and autoepistemic logics ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication: Translating default logic into standard autoepistemic logic