Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
Rational default logic and disjunctive logic programming
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Artificial Intelligence
Alternative approaches to default logic
Artificial Intelligence
Well-founded semantics for default logic
Fundamenta Informaticae
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
The Computational Value of Joint Consistency
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Computing Extensions of Default Theories
ECSQAU Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Normal Form Results for Default Logic
Proceedings of the Second International Workshop on Nonmonotonic and Inductive Logic
Reasoning with incomplete information: investigations of non-monotonic reasoning
Reasoning with incomplete information: investigations of non-monotonic reasoning
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
We present a new approach to reasoning with default logic that aims at Reiter's original approach, whenever there is no source for incoherence. We accomplish this by shifting the emphasis from the application of individual default rules to that of the joint application of a default rule together with rules supporting this application. This allows for reasoning in an incremental yet compositional fashion, without giving up the expressiveness needed for knowledge representation. Technically, our approach differs from others in that it guarantees the existence of extensions without requiring semi-monotonicity.