An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Prioritized conflict handing for logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
A formal approach to protocols and strategies for (legal) negotiation
Proceedings of the 8th international conference on Artificial intelligence and law
The Role of Logic in Computational Models of Legal Argument: A Critical Survey
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Argumentation based decision making for autonomous agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Defeasible logic programming: an argumentative approach
Theory and Practice of Logic Programming
Argumentation Semantics for Defeasible Logic
Journal of Logic and Computation
Computing ideal sceptical argumentation
Artificial Intelligence
A dialectic procedure for sceptical, assumption-based argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
An axiomatic account of formal argumentation
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
Basic influence diagrams and the liberal stable semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Preferences and assumption-based argumentation for conflict-free normative agents
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
Closure and consistency rationalities in logic-based argumentation
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
| Hi-index | 0.00 |
Assumption-based argumentation is a concrete but general-purpose argumentation framework that has been shown, in particular, to generalise several existing mechanisms for non-monotonic reasoning, and is equipped with a computational counterpart and an implemented system. It can thus serve as a computational tool for argumentation-based reasoning, and for automatising the process of finding solutions to problems that can be understood in assumption-based argumentation terms. In this paper we consider the problem of reasoning with defeasible and strict rules, for example as required in a legal setting. We provide a mapping of defeasible reasoning into assumption-based argumentation, and show that the framework obtained has properties of closedness and consistency, that have been advocated elsewhere as important for defeasible reasoning in the presence of strict rules. Whereas other argumentation approaches have been proven closed and consistent under some specific semantics, we prove that assumption-based argumentation is closed and consistent under all argumentation semantics.