Computational models of argument : proceedings of COMMA 2022 / edited by Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido.

Format:

Book

Contributor:

Toni, Francesca, editor.

Polberg, Sylwia, editor.

Booth, Richard, editor.

Caminada, Martin, editor.

Kido, Hiroyuki, editor.

Series:

Frontiers in artificial intelligence and applications ; v. 353.

Frontiers in Artificial Intelligence and Applications ; 353

Language:

English

Subjects (All):

Artificial intelligence--Computer simulation v| Congresses.

Artificial intelligence.

Reasoning--Computer simulation--Congresses.

Reasoning.

Genre:

Conference papers and proceedings.

Physical Description:

1 online resource (400 pages)

Edition:

1st ed.

Place of Publication:

Amsterdam, Netherlands : IOS Press, Incorporated, 2022.

Summary:

This volume, part of the Frontiers in Artificial Intelligence and Applications series, explores computational models of argumentation, a multidisciplinary field merging artificial intelligence with disciplines like philosophy, linguistics, formal logic, and social choice theory. It provides a comprehensive overview of theoretical, computational, and application-oriented advancements in argumentation systems, including innovative approaches in explainable AI and machine learning. The book features peer-reviewed research presented at the biennial International Conference on Computational Models of Argument (COMMA 2022), showcasing developments in formal models, implemented systems, and practical applications such as legal reasoning and decision-making. It serves as a resource for researchers, practitioners, and students interested in the intersection of AI and argumentation technologies. Generated by AI.

Contents:

Intro

Title Page

Preface

About the Conference

Invited Talks

Well, to Be Honest, I Wouldnt Start from Here at All (A Personal View of Complexity in Argumentation After 20 Years)

Detect - Debunk - Communicate: Combating Misinformation with More Realistic NLP

Argumentation: From Theory to Practice &amp

Back

Regular Papers

Generating Contrastive Snippets for Argument Search

Explainable Logic-Based Argumentation

Admissibility in Strength-Based Argumentation: Complexity and Algorithms

A Generalized Notion of Consistency with Applications to Formal Argumentation

Argument Schemes for Factor Ascription

Serialisable Semantics for Abstract Argumentation

Abstract Argumentation with Conditional Preferences

A Ranking Semantics for Abstract Argumentation Based on Serialisability

NEXAS: A Visual Tool for Navigating and Exploring Argumentation Solution Spaces

Non-Admissibility in Abstract Argumentation. New Loop Semantics, Overview, Complexity Analysis

Treewidth for Argumentation Frameworks with Collective Attacks

Rule-PSAT: Relaxing Rule Constraints in Probabilistic Assumption-Based Argumentation

Composite Argumentation Systems with ML Components

Automated Reasoning with Epistemic Graphs Using SAT Solvers

Explaining Change in Quantitative Bipolar Argumentation

How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks?

Just a Matter of Perspective. Intertranslating Expressive Argumentation Formalisms

On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation

Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based Argumentation

Value-Based Practical Reasoning: Modal Logic + Argumentation

On the Complexity of Determining Defeat Relations Consistent with Abstract Argumentation Semantics.

Stability and Relevance in Incomplete Argumentation Frameworks

Arguing About the Existence of Conflicts

Formalising an Aspect of Argument Strength: Degrees of Attackability

Ordinal Conditional Functions for Abstract Argumentation

Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation

Reasoning With and About Norms in Logical Argumentation

Demo Papers

An Argumentative Explanation of Machine Learning Outcomes

PyArg for Solving and Explaining Argumentation in Python: Demonstration

Providing Explanations via the EQR Argument Scheme

EGNN: A Deep Reinforcement Learning Architecture for Enforcement Heuristics

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams

Annotating Very Large Arguments

CPrAA - A Checker for Probabilistic Abstract Argumentation

COGNICA: Cognitive Argumentation

probo2: A Benchmark Framework for Argumentation Solvers

Polemicist: A Dialogical Interface for Exploring Complex Debates

User-Centric Argument Mining with ArgueMapper and Arguebuf

Attractor - A Java Library for Gradual Bipolar Argumentation

Gorgias Cloud: On-line Explainable Argumentation

Interpretable Machine Learning with Gradual Argumentation Frameworks

The Skeptic Web Service: Utilising Argument Technologies for Reason-Checking

ACH-Nav: Argument Navigation Using Techniques for Intelligence Analysis

Subject Index

Author Index.

Notes:

Includes bibliographical references and indexes.

Description based on publisher supplied metadata and other sources.

Part of the metadata in this record was created by AI, based on the text of the resource.

ISBN:

1-64368-307-1

OCLC:

1347027288