Atnaujinkite slapukų nuostatas

Computational Models of Argument: Proceedings of COMMA 2022 [Minkštas viršelis]

Edited by , Edited by , Edited by , Edited by , Edited by
  • Formatas: Paperback / softback, 398 pages
  • Išleidimo metai: 29-Apr-2025
  • Leidėjas: IOS Press,US
  • ISBN-10: 1643683063
  • ISBN-13: 9781643683065
Kitos knygos pagal šią temą:
  • Formatas: Paperback / softback, 398 pages
  • Išleidimo metai: 29-Apr-2025
  • Leidėjas: IOS Press,US
  • ISBN-10: 1643683063
  • ISBN-13: 9781643683065
Kitos knygos pagal šią temą:
Argumentation has traditionally been studied across a number of fields, notably philosophy, cognitive science, linguistics and jurisprudence. The study of computational models of argumentation is a more recent endeavor, bringing together researchers from traditional fields and computer science and engineering within a rich, interdisciplinary matrix. Computational models of argumentation have been identified and used since the 1980s, and more recently an important role for argumentation in leading to principled decisions has emerged in several settings. This book presents the proceedings of COMMA 2022 the 9th International Conference on Computational Models of Argument, held in Cardiff, Wales, United Kingdom, during 14 - 16 September 2022. The book contains 27 regular papers and 16 demo papers from a total of 75 submissions, as well as 3 invited talks from Prof Paul Dunne (University of Liverpool), Prof Iryna Gurevych (TU Darmstadt), and Prof Antonis Kakas (University of Cyprus), which reflect the diverse nature of the field. Papers are a mix of theoretical and practical contributions; theoretical contributions include new formal models, the study of formal or computational properties of models, design for implemented systems and experimental research; practical papers include applications to law, machine learning and explainability. Abstract and structured accounts of argumentation are covered, as are relations between different accounts. Many papers focus on the evaluation of arguments or their conclusions given a body of arguments, with a continuation of a recent trend to study gradual or probabilistic notions of evaluation. The book offers an overview of recent and current research and will be of interest to all those working with computational models of argumentation.
Preface v
Francesca Toni
Sylwia Polberg
Richard Booth
Martin Caminada
Hiroyuki Kido
About the Conference ix
Invited Talks
Well, to Be Honest, I Wouldnt Start from Here at All (A Personal View of Complexity in Argumentation After 20 Years)
3(12)
Paul E. Dunne
Detect - Debunk - Communicate: Combating Misinformation with More Realistic NLP
15(1)
Iryna Gurevych
Argumentation: From Theory to Practice & Back
16(5)
Antonis Kakas
Regular Papers
Generating Contrastive Snippets for Argument Search
21(11)
Milad Alshomary
Jonas Rieskamp
Henning Wachsmuth
Explainable Logic-Based Argumentation
32(12)
Ofer Arieli
AnneMarie Borg
Matthis Hesse
Christian Strasser
Admissibility in Strength-Based Argumentation: Complexity and Algorithms
44(12)
Yohann Bacquey
Jean-Guy Mailly
Pavlos Moraitis
Julien Rossit
A Generalized Notion of Consistency with Applications to Formal Argumentation
56(12)
Pietro Baroni
Federico Cerutti
Massimiliano Giacomin
Argument Schemes for Factor Ascription
68(12)
Trevor Bench-Capon
Katie Atkinson
Serialisable Semantics for Abstract Argumentation
80(12)
Lars Bengel
Matthias Thimm
Abstract Argumentation with Conditional Preferences
92(12)
Michael Bernreiter
Wolfgang Dvorak
Stefan Woltran
A Ranking Semantics for Abstract Argumentation Based on Serialisability
104(12)
Lydia Bliimel
Matthias Thimm
NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces
116(12)
Raimund Dachselt
Sarah Alice Gaggl
Markus Krotzsch
Julian Mendez
Dominik Rusovac
Mei Yang
Non-Admissibility in Abstract Argumentation. New Loop Semantics, Overview, Complexity Analysis
128(12)
Wolfgang Dvorak
Tjitze Rienstra
Leendert van der Torre
Stefan Woltran
Treewidth for Argumentation Frameworks with Collective Attacks
140(12)
Wolfgang Dvorak
Matthias Konig
Stefan Woltran
Rule-PSAT: Relaxing Rule Constraints in Probabilistic Assumption-Based Argumentation
152(12)
Xiuyi Fan
Composite Argumentation Systems with ML Components
164(12)
Nguyen Duy Hung
Nam-Van Huynh
Thanaruk Theeramunkong
Tho-Quy Nhu
Automated Reasoning with Epistemic Graphs Using SAT Solvers
176(12)
Anthony Hunter
Explaining Change in Quantitative Bipolar Argumentation
188(12)
Timotheus Kampik
Kristijonas Cyras
How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?
200(12)
Atefeh Keshavarzi Zafarghandi
Wolfgang Dvorak
Rineke Verbrugge
Bart Verheij
Just a Matter of Perspective. Intertranslating Expressive Argumentation Formalisms
212(12)
Matthias Konig
Anna Rapberger
Markus Ulbricht
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation
224(12)
Isabelle Kuhlmann
Thorsten Wujek
Matthias Thimm
Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation
236(12)
Tuomo Lehtonen
Johannes P. Wallner
Matti Jdrvisalo
Value-Based Practical Reasoning: Modal Logic + Argumentation
248(12)
Jieting Luo
Beishui Liao
Dov Gabbay
On the Complexity of Determining Defeat Relations Consistent with Abstract Argumentation Semantics
260(12)
Jack Mumford
Isabel Sassoon
Elizabeth Black
Simon Parsons
Stability and Relevance in Incomplete Argumentation Frameworks
272(12)
Daphne Odekerken
AnneMarie Borg
Floris Bex
Arguing About the Existence of Conflicts
284(12)
Giuseppe Pisano
Roberta Calegari
Henry Prakken
Giovanni Sartor
Formalising an Aspect of Argument Strength: Degrees of Attackability
296(12)
Henry Prakken
Ordinal Conditional Functions for Abstract Argumentation
308(12)
Kenneth Skiba
Matthias Thimm
Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation
320(12)
Markus Ulbricht
Johannes P. Wallner
Reasoning With and About Norms in Logical Argumentation
332(15)
Kees Van Berkel
Christian Strasser
Demo Papers
An Argumentative Explanation of Machine Learning Outcomes
347(2)
Stefano Bistarelli
Alessio Mancinelli
Francesco Santini
Carlo Taticchi
PyArg for Solving and Explaining Argumentation in Python: Demonstration
349(2)
Anne Marie Borg
Daphne Odekerken
Providing Explanations via the EQR Argument Scheme
351(2)
Federico Castagna
Simon Parsons
Isabel Sassoon
Elizabeth I. Sklar
EGNN: A Deep Reinforcement Learning Architecture for Enforcement Heuristics
353(2)
Dennis Craandijk
Floris Bex
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams
355(2)
Stefan Ellmauthaler
Sarah A. Gaggl
Dominik Rusovac
Johannes P. Wallner
Annotating Very Large Arguments
357(2)
Kamila Gorska
Wassiliki Siskou
Chris Reed
CPrAA - A Checker for Probabilistic Abstract Argumentation
359(2)
Nikolai Kdfer
COGNICA: Cognitive Argumentation
361(2)
Adamos Koumi
Antonis Kakas
Emmanuelle Dietz
probo2: A Benchmark Framework for Argumentation Solvers
363(2)
Jonas Klein
Matthias Thimm
Polemicist: A Dialogical Interface for Exploring Complex Debates
365(2)
John Lawrence
Jacky Visser
Chris Reed
User-Centric Argument Mining with ArgueMapper and Arguebuf
367(2)
Mirko Lenz
Ralph Bergmann
Attractor - A Java Library for Gradual Bipolar Argumentation
369(2)
Nico Potyka
Gorgias Cloud: On-line Explainable Argumentation
371(2)
Nikolaos I. Spanoudakis
Georgios Gligoris
Antonis C. Kakas
Adamos Koumi
Interpretable Machine Learning with Gradual Argumentation Frameworks
373(2)
Jonathan Spieler
Nico Potyka
Steffen Staab
The Skeptic Web Service: Utilising Argument Technologies for Reason-Checking
375(2)
Jacky Visser
John Lawrence
ACH-Nav: Argument Navigation Using Techniques for Intelligence Analysis
377(2)
Dimitra Zografistou
Jacky Visser
John Lawrence
Chris Reed
Subject Index 379(2)
Author Index 381