Semantical considerations on nonmonotonic logic
Artificial Intelligence
Results on translating defaults to circumscription
Artificial Intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
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
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
A logical framework for modelling legal argument
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
A simple computational model for nonmonotonic and adversarial legal reasoning
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
First-order preference theories and their applications
First-order preference theories and their applications
The alternating fixpoint of logic programs with negation
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Stable and extension class theory for logic programs and default logics
Journal of Automated Reasoning
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Alternative approaches to default logic
Artificial Intelligence
Managing conflicts between rules (extended abstract)
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Compiling defeasible inheritance networks to general logic programs
Artificial Intelligence
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Nonmonotonic Inheritance, Argumentation and Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Computing the Acceptability Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Nonmonotonic Reasoning by Monotonic Inference with Priority Constraints
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Well-founded semantics for extended logic programs with dynamic preferences
Journal of Artificial Intelligence Research
Compiling reasoning with and about preferences into default logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
A semantic framework for preference handling in answer set programming
Theory and Practice of Logic Programming
Multi-robot learning using non-deterministic argument games
International Journal of Autonomous and Adaptive Communications Systems
Hi-index | 0.00 |
This paper proposes a formalism for nonmonotonic reasoning based on prioritized argumentation. We argue that nonmonotonic reasoning in general can be viewed as selecting monotonic inferences by a simple notion of priority among inference rules. More importantly, these types of constrained inferences can be specified in a knowledge representation language where a theory consists of a collection of rules of first order formulas and a priority among these rules. We recast default reasoning as a form of prioritized argumentation and illustrate how the parameterized formulation of priority may be used to allow various extensions and modifications to default reasoning. We also show that it is possible, but more difficult, to express prioritized argumentation by default logic: Even some particular forms of prioritized argumentation cannot be represented modularly by defaults under the same language.