On the intertranslatability of non-monotonic logics
From MaRDI portal
Publication:1978031
DOI10.1023/A:1018915113814zbMath0941.03028MaRDI QIDQ1978031
Publication date: 7 June 2000
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
nonmonotonic logic; autoepistemic logic; default logic; expressive power; faithfulness; translation function
Related Items
Synonymous theories and knowledge representations in answer set programming, Evaluating the effect of semi-normality on the expressiveness of defaults, Default logic generalized and simplified, Some (in)translatability results for normal logic programs and propositional theories