The British Nationality Act as a logic program
Communications of the ACM
Artificial Intelligence
The acceptability semantics for logic programs
Proceedings of the eleventh international conference on Logic programming
Abstract argumentation systems
Artificial Intelligence
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Hard cases: a procedural approach
Artificial Intelligence and Law
Some arguments about legal arguments
Proceedings of the 6th international conference on Artificial intelligence and law
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
Pleadings Game: An Artificial Intelligence Model of Procedural Justice
A Case-Based Approach to Modeling Legal Expertise
IEEE Expert: Intelligent Systems and Their Applications
A System for Defeasible Argumentation, with Defeasible Priorities
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
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
Credulous and Sceptical Argument Games for Preferred Semantics
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Theory and Practice of Logic Programming
Prevarication in dispute protocols
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation
Autonomous Agents and Multi-Agent Systems
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Formal systems for persuasion dialogue
The Knowledge Engineering Review
Audiences in argumentation frameworks
Artificial Intelligence
Argumentation in artificial intelligence
Artificial Intelligence
A review of current defeasible reasoning implementations
The Knowledge Engineering Review
Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
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
Hybrid argumentation and its properties
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Modelling well-structured argumentation lines
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
The Knowledge Engineering Review
Multi-party Dialogue Games for Distributed Argumentation System
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Determining preferences through argumentation
AI*IA'05 Proceedings of the 9th conference on Advances in Artificial Intelligence
An implementation of a lightweight argumentation engine for agent applications
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Progressive defeat paths in abstract argumentation frameworks
AI'06 Proceedings of the 19th international conference on Advances in Artificial Intelligence: Canadian Society for Computational Studies of Intelligence
A generalised framework for dispute derivations in assumption-based argumentation
Artificial Intelligence
Formalizing dialectical explanation support for argument-based reasoning in knowledge-based systems
Expert Systems with Applications: An International Journal
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Hi-index | 0.00 |
We provide a formalism for the study of dialogues, where a dialogue is a two-person game, initiated by the proponent who defends a proposed thesis. We examine several different winning criteria and several different dialogue types, where a dialogue type is determined by a set of positions, an attack relation between positions and a legal-move function. We examine two proof theories, where a proof theory is determined by a dialogue type and a winning criterion. For each of the proof theories we supply a corresponding declarative semantics.