On the intertranslatability of non-monotonic logics

DOI10.1023/A:1018915113814zbMath0941.03028MaRDI QIDQ1978031

Tomi Janhunen

Publication date: 7 June 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicautoepistemic logicdefault logicexpressive powerfaithfulnesstranslation function

Mathematics Subject Classification ID

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

Related Items (5)

Synonymous theories and knowledge representations in answer set programming ⋮ Approximating operators and semantics for abstract dialectical frameworks ⋮ Default logic generalized and simplified ⋮ Some (in)translatability results for normal logic programs and propositional theories ⋮ Evaluating the effect of semi-normality on the expressiveness of defaults

This page was built for publication: On the intertranslatability of non-monotonic logics