Evaluating the effect of semi-normality on the expressiveness of defaults
From MaRDI portal
Publication:814438
DOI10.1016/S0004-3702(02)00385-5zbMath1079.68624MaRDI QIDQ814438
Publication date: 7 February 2006
Published in: Artificial Intelligence (Search for Journal in Brave)
Default logicExpressive powerModular translationsNormal defaultsPrerequisite-free defaultsSemi-normal defaults
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
