English
Related papers

Related papers: "Minimal defence": a refinement of the preferred s…

200 papers

Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal,…

Logic in Computer Science · Computer Science 2016-09-15 Davide Bresolin , Emilio Muñoz-Velasco , Guido Sciavicco

Argumentation is a type of discourse where speakers try to persuade their audience about the reasonableness of a claim by presenting supportive arguments. Most work in argument mining has focused on modeling arguments in monologues. We…

Computation and Language · Computer Science 2020-05-01 Tuhin Chakrabarty , Christopher Hidey , Smaranda Muresan , Kathy Mckeown , Alyssa Hwang

In the last years, there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI and other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to…

Artificial Intelligence · Computer Science 2007-05-23 Carlos Iván Chesñevar , Guillermo Ricardo Simari

In argumentative discourse, persuasion is often achieved by refuting or attacking others arguments. Attacking is not always straightforward and often comprise complex rhetorical moves such that arguers might agree with a logic of an…

Computation and Language · Computer Science 2022-04-05 Farjana Sultana Mim , Naoya Inoue , Shoichi Naito , Keshav Singh , Kentaro Inui

Some of the major limitations identified in the areas of argument mining, argument generation, and natural language argument analysis are related to the complexity of annotating argumentatively rich data, the limited size of these corpora,…

Computation and Language · Computer Science 2024-02-23 Ramon Ruiz-Dolz , Joaquin Taverner , John Lawrence , Chris Reed

In this paper, we present a learning-based approach to determining acceptance of arguments under several abstract argumentation semantics. More specifically, we propose an argumentation graph neural network (AGNN) that learns a…

Artificial Intelligence · Computer Science 2021-09-28 Dennis Craandijk , Floris Bex

We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a…

Logic in Computer Science · Computer Science 2007-05-23 Davy Van Nieuwenborgh , Dirk Vermeir

We address the issue of defining a semantics for deontic argumentation that supports weak permission. Some recent results show that grounded semantics do not support weak permission when there is a conflict between two obligations. We…

Artificial Intelligence · Computer Science 2026-05-14 Guido Governatori , Antonino Rotolo

Modern data systems increasingly operate under conditions of persistent legal, political, and analytic disagreement. In such settings, interoperability cannot rely on shared interpretation, negotiated semantics, or centralized authority.…

Logic in Computer Science · Computer Science 2026-01-23 Denise M. Case

We present a tractable, incremental framework for topological dialogue semantics based on finite, discrete semantic spaces. Building on the intuition that utterances correspond to open sets and their combinatorial relations form a…

Logic in Computer Science · Computer Science 2025-06-17 Andreu Ballus Santacana

This paper studies a fundamental mechanism of how to detect a conflict between arguments given sentiments regarding acceptability of the arguments. We introduce a concept of the inverse problem of the abstract argumentation to tackle the…

Artificial Intelligence · Computer Science 2021-01-28 Hiroyuki Kido , Beishui Liao

Over the recent twenty years, argumentation has received considerable attention in the fields of knowledge representation, reasoning, and multi-agent systems. However, argumentation in dynamic multi-agent systems encounters the problem of…

Artificial Intelligence · Computer Science 2022-11-30 Minal Suresh Patil

In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a…

Artificial Intelligence · Computer Science 2019-08-23 Marcos Cramer , Leendert van der Torre

This paper combines two studies: a topological semantics for epistemic notions and abstract argumentation theory. In our combined setting, we use a topological semantics to represent the structure of an agent's collection of evidence, and…

Artificial Intelligence · Computer Science 2017-07-28 Chenwei Shi , Sonja Smets , Fernando R. Velázquez-Quesada

Given a controversial target such as ``nuclear energy'', argument mining aims to identify the argumentative text from heterogeneous sources. Current approaches focus on exploring better ways of integrating the target-associated semantic…

Computation and Language · Computer Science 2023-07-25 Jiasheng Si , Yingjie Zhu , Xingyu Shi , Deyu Zhou , Yulan He

In this paper, we propose a fresh perspective on argumentation semantics, to view them as a relational database. It offers encapsulation of the underlying argumentation graph, and allows us to understand argumentation semantics under a…

Artificial Intelligence · Computer Science 2021-04-27 Ryuta Arisaka , Takayuki Ito

Distributed knowledge based applications in open domain rely on common sense information which is bound to be uncertain and incomplete. To draw the useful conclusions from ambiguous data, one must address uncertainties and conflicts…

Artificial Intelligence · Computer Science 2013-02-01 Benson Hin Kwong Ng , Kam-Fai Wong , Boon-Toh Low

We propose and investigate a simple ranking-measure-based extension semantics for abstract argumentation frameworks based on their generic instantiation by default knowledge bases and the ranking construction semantics for default…

Artificial Intelligence · Computer Science 2014-07-17 Emil Weydert

Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a…

Artificial Intelligence · Computer Science 2019-07-24 João Alcântara , Samy Sá , Juan Acosta-Guadarrama

In this work, we broaden the investigation of admissibility notions in the context of assumption-based argumentation (ABA). More specifically, we study two prominent alternatives to the standard notion of admissibility from abstract…

Artificial Intelligence · Computer Science 2025-08-18 Matti Berthold , Lydia Blümel , Anna Rapberger