Semantical considerations on nonmonotonic logic
Artificial Intelligence
A logical framework for default reasoning
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
An assumption-based framework for non-monotonic reasoning
Proceedings of the second international workshop on Logic programming and non-monotonic reasoning
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
ACM Computing Surveys (CSUR)
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
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 Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Computing the Acceptability Semantics
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Synthesis of Proof Procedures for Default Reasoning
LOPSTR '96 Proceedings of the 6th International Workshop on Logic Programming Synthesis and Transformation
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Audiences in argumentation frameworks
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
Computing ideal sceptical argumentation
Artificial Intelligence
Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
On the relevance of utterances in formal inter-agent dialogues
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Computing Arguments and Attacks in Assumption-Based Argumentation
IEEE Intelligent Systems
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Using enthymemes in an inquiry dialogue system
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Argumentation-based agents for eProcurement
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Autonomous Agents and Multi-Agent Systems
Modular Argumentation For Modelling Legal Doctrines in Common Law of Contract
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
An algorithm to compute minimally grounded and admissible defence sets in argument systems
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
A dialectic procedure for sceptical, assumption-based argumentation
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Combining sceptical epistemic reasoning with credulous practical reasoning
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Legal rules and argumentation in a metalogic framework
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
A Common Framework for Board Games and Argumentation Games
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Towards argumentation-based contract negotiation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Focused search for arguments from propositional knowledge
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Basic influence diagrams and the liberal stable semantics
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Contouring of Knowledge for Intelligent Searching for Arguments
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
A Default Logic Based Framework for Argumentation
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Modular argumentation for modelling legal doctrines of performance relief
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Encoding deductive argumentation in quantified Boolean formulae
Artificial Intelligence
Reasoning about the appropriateness of proponents for arguments
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A lattice-based approach to computing warranted beliefs in skeptical argumentation frameworks
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A labeling approach to the computation of credulous acceptance in argumentation
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Dialectical Proofs for Constrained Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Some design guidelines for practical argumentation systems
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Two-Agent Conflict Resolution with Assumption-Based Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Hi-index | 0.00 |
We present a family of dialectic proof procedures for the admissibility semantics of assumption-based argumentation. These proof procedures are defined for any conventional logic formulated as a collection of inference rules and show how any such logic can be extended to a dialectic argumentation system.The proof procedures find a set of assumptions, to defend a given belief, by starting from an initial set of assumptions that supports an argument for the belief and adding defending assumptions incrementally to counter-attack all attacks.The proof procedures share the same notion of winning strategy for a dispute and differ only in the search strategy they use for finding it. The novelty of our approach lies mainly in its use of backward reasoning to construct arguments and potential arguments, and the fact that the proponent and opponent can attack one another before an argument is completed. The definition of winning strategy can be implemented directly as a non-deterministic program, whose search strategy implements the search for defences.