Description
The subject of argumentation has been studied since ancient times, but it has seen major innovations since the advent of the computer age. Software already exists which can create and evaluate arguments in high-stake situations, such as medical diagnosis and criminal investigation; formal systems can help us appreciate the role of the value judgments which underlie opposing positions; and it is even possible to enter into argumentative dialogues as if playing a computer game. This book presents the 28 full papers, 17 short papers and a number of system demonstrations, described in an extended abstract, from the 2012 biennial Computational Models of Argument (COMMA) conference, held in Vienna, Austria. Papers by the invited speakers Professor Trevor Bench-Capon, Professor Erik Krabbe and Professor Keith Stenning are also included. This year, for the first time, COMMA invited the submission of papers for an innovative applications track, and those which were accepted for presentation are included in this volume. Argumentation can be studied from many angles, including the artificial, natural and theoretical systems perspective. Presentations at the 2012 conference addressed the subject from these perspectives and many more.
Chapter
Semi-Automated Argumentative Analysis of Online Product Reviews
Arguing with Preferences in EcoBioCap
An Analysis and Hypothesis Generation Platform for Heterogeneous Cancer Databases
Making Sense of Macro- and Micro-Argumentation in Policy-Deliberation: Visualisation Techniques and Representation Formats
Towards an Argument-Based Music Recommender System
Arguing About Firewall Policy
A General QBF-Based Formalization of Abstract Argumentation Theory
Some Foundations for Probabilistic Abstract Argumentation
Argument Aggregation: Basic Axioms and Complexity Results
The Equational Approach to CF2 Semantics
Argumentation Games for Admissibility and Cogency Criteria
Uniform Argumentation Frameworks
Dishonest Arguments in Debate Games
On the Use of Presumptions in Structured Defeasible Reasoning
Automated Deployment of Argumentation Protocols
On Preferred Extension Enumeration in Abstract Argumentation
Towards Experimental Algorithms for Abstract Argumentation
A Dialogue Game for Coalition Structure Generation with Self-Interested Agents
Complexity of Logic-Based Argumentation in Schaefer's Framework
Argumentation Dialogues for Two-Agent Conflict Resolution
Comparing the Expressiveness of Argumentation Semantics
Computational Aspects of cf2 and stage2 Argumentation Semantics
Tactics and Concessions for Argumentation-Based Negotiation
Default Reasoning About Actions via Abstract Argumentation
Resolutions in Structured Argumentation
Mechanism Design for Argumentation-Based Persuasion
Persuasion Strategies for Argumentation About Plans
Selecting Extensions in Weighted Argumentation Frameworks
Group Persuasion Through Uncertain Audience Modelling
On Input/Output Argumentation Frameworks
Dialogue Templates for Automatic Argument Processing
Valued-Based Argumentation for Tree-Like Value Graphs
Interchanging Arguments Between Carneades and AIF
Towards Argument-Based Foundation for Sceptical and Credulous Dialogue Games
The Structure of Ad Hominem Dialogues
Towards Argumentation About Subjective Probabilities
Argument Schemes for Reasoning About Trust
Clarifying Some Misconceptions on the ASPIC+ Framework
Generating Abstract Arguments: A Natural Language Approach
Towards Argumentation with Symbolic Dempster-Shafer Evidence
Conditional Acceptance Functions
Grounded Semantics as Persuasion Dialogue
Picking the Right Expert to Make a Debate Uncontroversial
The Synergy: A Platform for Argumentation-Based Group Decision Making
Critiquing Justifications for Action Using a Semantic Model: Demonstration
Evaluating Abstract Dialectical Frameworks with ASP
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool
TOAST: Online ASPIC+ Implementation
Implementing ArguBlogging
Dialogues on the Argument Web: Mixed Initiative Argumentation with Arvina
AIFdb: Infrastructure for the Argument Web
The Carneades Web Service
Argumentation-Based Reinforcement Learning for RoboCup Keepaway