Evaluating the effect of semi-normality on the expressiveness of defaults

DOI10.1016/S0004-3702(02)00385-5zbMath1079.68624MaRDI QIDQ814438

Tomi Janhunen

Publication date: 7 February 2006

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

zbMATH Keywords

Default logicExpressive powerModular translationsNormal defaultsPrerequisite-free defaultsSemi-normal defaults

Mathematics Subject Classification ID

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

Related Items

Redundancy in logic. III: Non-monotonic reasoning ⋮ SAT Modulo Graphs: Acyclicity ⋮ Some (in)translatability results for normal logic programs and propositional theories

Cites Work

• Some representational issues in default reasoning
• Semantical considerations on nonmonotonic logic
• A theory of diagnosis from first principles
• On the relation between default and autoepistemic logic
• Results on translating defaults to circumscription
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Querying disjunctive databases through nonmonotonic logics
• Modal logic for default reasoning
• On the intertranslatability of non-monotonic logics
• On embedding default logic into Moore's autoepistemic logic
• Modal nonmonotonic logics
• Translating default logic into standard autoepistemic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item