Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
A logic of knowledge and justified assumptions
Artificial Intelligence
Modal nonmonotonic logics: ranges, characterization, computation
Journal of the ACM (JACM)
Extended logic programs as autoepistemic theories
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
Minimal belief and negation as failure
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Nonmonotonic Logic II: Nonmonotonic Modal Theories
Journal of the ACM (JACM)
A logic of universal causation
Artificial Intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
A causal approach to nonmonotonic reasoning
Artificial Intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
On bimodal nonmonotonic logics and their unimodal and nonmodal equivalents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
dl2asp: implementing default logic via answer set programming
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Hi-index | 0.00 |
We study a generalization of default logic obtained by extending its logical, monotonic basis to disjunctive (multiple-conclusion) rules. Special attention will be paid to the representation opportunities created by such rules, in particular to the use of default justifications in the heads of the rules. On the other hand, it will be shown that even the generalized default logic can be simplified to a formal system that involves only monotonic inference rules and unconditional (`supernormal') default assumptions.