Title Page -- Preface -- Programme Committee -- Contents -- Invited Papers -- On the Properties of the Relation Between Argumentation Semantics and Argumentation Inference Operators -- Innovative Applications -- Understanding Narratives with Argumentation -- Financial Dialogue Games: A Protocol for Earnings Conference Calls -- Story Comprehension Through Argumentation -- A Discourse Grammar for Processing Arguments in Context -- Spoken Interaction with Broadcast Debates -- Lakatos Games for Mathematical Argument -- Towards Argumentation for Statistical Model Selection -- Regular Papers -- Preferential Reasoning Based on Abstract Argumentation Semantics -- Dynamic Derivations for Sequent-Based Logical Argumentation -- Query Failure Explanation in Inconsistent Knowledge Bases Using Argumentation -- Taking the Long View: Looking Ahead in Practical Reasoning -- On Rationality Conditions for Epistemic Probabilities in Abstract Argumentation -- Towards an Integrated Theory of Causal Scenarios and Evidential Arguments -- Generalising Argument Dialogue with the Dialogue Game Execution Platform -- Benchmarking Hard Problems in Random Abstract AFs: The Stable Semantics -- Coalitional Games for Abstract Argumentation -- Complexity Properties of Critical Sets of Arguments -- Towards Argument Mining from Dialogue -- Strong Admissibility Revisited -- Preferences and Unrestricted Rebut -- Algorithm Selection for Preferred Extensions Enumeration -- The DIAMOND System for Computing with Abstract Dialectical Frameworks -- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas -- Multi-Valued and Probabilistic Argumentation Frameworks -- Properties of Random VAFs and Implications for Efficient Algorithms -- Resolution-Based Grounded Semantics Revisited -- Decomposing Abstract Dialectical Frameworks.

A Principled Approach to the Implementation of Argumentation Models -- Combining Paraconsistent Logic with Argumentation -- Probabilistic Argument Graphs for Argumentation Lotteries -- Enthymeme Construction in Dialogues Using Shared Knowledge -- Strategies in Dialogues: A Game-Theoretic Approach -- Argumentation Logic -- Splitting Abstract Dialectical Frameworks -- Revisiting Support in Abstract Argumentation Systems -- A Self-Correcting Iteration Schema for Argumentation Networks -- Counterfactual Reasoning in Argumentation Frameworks -- Balanced Semantics for Argumentation Based on Heider's Socio-Psychological Balance Theory -- Complete Assumption Labellings -- On Controversiality of Arguments and Stratified Labelings -- An ASPIC-Based Legal Argumentation Framework for Deontic Reasoning -- Arguments and Their Strength: Revisiting Pollock's Anti-Probabilistic Starting Points -- Demonstrations -- Support for Factor-Based Argumentation -- NoDE: A Benchmark of Natural Language Arguments -- Argument Mining and Social Debates -- GRAFIX: A Tool for Abstract Argumentation -- ArgSemSAT: Solving Argumentation Problems Using SAT -- Generating Challenging Benchmark AFs -- A Benchmark Framework for a Computational Argumentation Competition -- A Demonstration of the MARKOS License Analyser -- OVA+: An Argument Analysis Interface -- AIFdb Corpora -- An Argumentation-Based Support System for Requirements Reconciliation -- Deepflow: Using Argument Schemes to Query Relational Databases -- Asynchronous Argumentation System PIRIKA for Anyone, Anytime, Anywhere, with the Balanced Semantics -- AsseSS: A Tool for Assessing the Support Structures of Arguments in User Comments -- Implementing Instantiation of Knowledge Bases in Argumentation Frameworks -- Enriching Queries Using Argumentation: An Industrial Application of Argumentation.

A Tool for the Generation of Arguments from Bayesian Networks -- Argumentation-Based Collaborative Intelligence Analysis in CISpaces -- Argdown and the Stacked Masonry Layout: Two User Interfaces for Non-Expert Users -- Author Index.

Argumentation, which has long been a topic of study in philosophy, has become a well-established aspect of computing science in the last 20 years.This book presents the proceedings of the fifth conference on Computational Models of Argument (COMMA), held in Pitlochry, Scotland in September 2014. Work on argumentation is broad, but the COMMA community is distinguished by virtue of its focus on the computational and mathematical aspects of the subject. This focus aims to ensure that methods are sound - that they identify arguments that are correct in some sense - and provide an unambiguous specification for implementation; producing programs that reason in the correct way and building systems capable of natural argument or of recognizing argument.The book contains 24 long papers and 18 short papers, and the 21 demonstrations presented at the conference are represented in the proceedings either by an extended abstract or by association with another paper.The book will be of interest to all those whose work involves argumentation as it relates to artificial intelligence.

Description based on publisher supplied metadata and other sources.

Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2018. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.