Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Reasoning about priorities in default logic
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
The Pleadings Game: an exercise in computational dialectics
Artificial Intelligence and Law
Hard cases: a procedural approach
Artificial Intelligence and Law
Reaching agreements through argumentation: a logical model and implementation
Artificial Intelligence
Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Modelling reasoning about evidence in legal procedure
Proceedings of the 8th 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
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
An analysis of formal inter-agent dialogues
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Desiderata for agent argumentation protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents
Journal of Logic, Language and Information
Optimal utterances in dialogue protocols
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
On the outcomes of formal inter-agent dialogues
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Modeling Dialogues Using Argumentation
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Is there a burden of questioning?
Artificial Intelligence and Law
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
A Dialogue Game Protocol for Multi-Agent Argument over Proposals for Action
Autonomous Agents and Multi-Agent Systems
Coherence and Flexibility in Dialogue Games for Argumentation
Journal of Logic and Computation
An executable specification of a formal argumentation protocol
Artificial Intelligence
The Carneades model of argument and burden of proof
Artificial Intelligence
A flexible mechanism for dialogue design
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
ASBO: Argumentation System Based on Ontologies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
A formal model of adjudication dialogues
Artificial Intelligence and Law
Argument-based learning communities
Knowledge-Based 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
Argument Based Moderation of Benefit Assessment
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Computer Intelligent Support for the ADR/ODR Domain
Proceedings of the 2007 conference on Legal Knowledge and Information Systems: JURIX 2007: The Twentieth Annual Conference
Modeling Persuasiveness: change of uncertainty through agents' interactions
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
Arguments from Experience: The PADUA Protocol
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Case law in extended argumentation frameworks
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Logic for Reasoning about Components of Persuasive Actions
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Arguing from Experience to Classifying Noisy Data
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
An analysis of the calque phenomena based on comparable corpora
BUCC '09 Proceedings of the 2nd Workshop on Building and Using Comparable Corpora: from Parallel to Non-parallel Corpora
Annotating language errors in texts: investigating argumentation and decision schemas
ACL-IJCNLP '09 Proceedings of the Third Linguistic Annotation Workshop
Modular argumentation for modelling legal doctrines in common law of contract
Artificial Intelligence and Law
PADUA: a protocol for argumentation dialogue using association rules
Artificial Intelligence and Law
Using argumentation to model and deploy agent-based B2B applications
Knowledge-Based Systems
Types of Dialogue and Burdens of Proof
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Multi-robot learning using non-deterministic argument games
International Journal of Autonomous and Adaptive Communications Systems
Update of Probabilistic Beliefs: Implementation and Parametric Verification
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Obligationes as Formal Dialogue Systems
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Deliberation dialogues during multi-agent planning
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
On the outcomes of multiparty persuasion
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Review: informal logic dialogue games in human-computer dialogue
The Knowledge Engineering Review
Persuasive dialogues in an intelligent tutoring system for medical diagnosis
ITS'10 Proceedings of the 10th international conference on Intelligent Tutoring Systems - Volume Part II
Burden of proof in deliberation dialogs
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Strategic argumentation in rigorous persuasion dialogue
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Multi-party argument from experience
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Towards a dialectical approach for conversational agents in selling situations
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Deliberation dialogues for reasoning about safety critical actions
Autonomous Agents and Multi-Agent Systems
PISA: A framework for multiagent classification using argumentation
Data & Knowledge Engineering
An implemented dialogue system for inquiry and persuasion
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
A first step towards argumentation dialogues for discovery
TAFA'11 Proceedings of the First international conference on Theory and Applications of Formal Argumentation
Assumption-based argumentation dialogues
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Evaluating the Valuable Rules from Different Experience Using Multiparty Argument Games
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Reasoning about dialogical strategies
KES'12 Proceedings of the 16th international conference on Knowledge Engineering, Machine Learning and Lattice Computing with Applications
Enabling human-robot collaboration via argumentation
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Proving Propositional Tautologies in a Natural Dialogue
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.00 |
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade the other participants to adopt their point of view. Systems for persuasion dialogue have found application in various fields of computer science, such as non-monotonic logic, artificial intelligence and law, multi-agent systems, intelligent tutoring and computer-supported collaborative argumentation. Taking a game-theoretic view on dialogue systems, this review proposes a formal specification of the main elements of dialogue systems for persuasion and then uses it to critically review some of the main formal systems for persuasion. The focus of this review will be on regulating the interaction between agents rather than on the design and behaviour of individual agents within a dialogue.