Vai al contenuto principale della pagina
Titolo: |
Computational models of argument : proceedings of COMMA 2014 / / edited by Simon Parsons [and three others]
![]() |
Pubblicazione: | Amsterdam, Netherlands : , : IOS Press, , 2014 |
©2014 | |
Descrizione fisica: | 1 online resource (500 p.) |
Disciplina: | 006.3 |
Soggetto topico: | Artificial intelligence - Computer simulation |
Reasoning - Computer simulation | |
Soggetto genere / forma: | Electronic books. |
Persona (resp. second.): | ParsonsSimon |
Note generali: | Description based upon print version of record. |
Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
Nota di contenuto: | ""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"" | |
Sommario/riassunto: | 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 speci |
Titolo autorizzato: | Computational models of argument ![]() |
ISBN: | 1-61499-436-6 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910463851403321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |