English
Related papers

Related papers: An action language-based formalisation of an abstr…

200 papers

Realizability for knowledge representation formalisms studies the following question: given a semantics and a set of interpretations, is there a knowledge base whose semantics coincides exactly with the given interpretation set? We…

Artificial Intelligence · Computer Science 2016-04-01 Thomas Linsbichler , Jörg Pührer , Hannes Strass

In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we…

Logic in Computer Science · Computer Science 2013-12-17 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

In recent years, large language models (LLMs) have made significant advancements in developing human-like and engaging dialogue systems. However, in tasks such as consensus-building and persuasion, LLMs often struggle to resolve conflicts…

Artificial Intelligence · Computer Science 2025-11-14 Zhaoqun Li , Xiaotong Fang , Chen Chen , Mengze Li , Beishui Liao

Generating an abstract from a collection of documents is a desirable capability for many real-world applications. However, abstractive approaches to multi-document summarization have not been thoroughly investigated. This paper studies the…

Computation and Language · Computer Science 2018-06-15 Kexin Liao , Logan Lebanoff , Fei Liu

Drawing appropriate defeasible inferences has been proven to be one of the most pervasive puzzles of natural language processing and a recurrent problem in pragmatics. This paper provides a theoretical framework, called ``stratified…

cmp-lg · Computer Science 2008-02-03 Daniel Marcu , Graeme Hirst

Argument mining is to analyze argument structure and extract important argument information from unstructured text. An argument mining system can help people automatically gain causal and logical information behind the text. As…

Computation and Language · Computer Science 2023-09-19 Lang Cao

A semantic tableau method, called an argumentation tableau, that enables the derivation of arguments, is proposed. First, the derivation of arguments for standard propositional and predicate logic is addressed. Next, an extension that…

Artificial Intelligence · Computer Science 2022-09-13 Nico Roos

Online discussion platforms are a vital part of the public discourse in a deliberative democracy. However, how to interpret the outcomes of the discussions on these platforms is often unclear. In this paper, we propose a novel and…

Computer Science and Game Theory · Computer Science 2024-02-09 Michael Bernreiter , Jan Maly , Oliviero Nardi , Stefan Woltran

We advance the state-of-the-art in unsupervised abstractive dialogue summarization by utilizing multi-sentence compression graphs. Starting from well-founded assumptions about word graphs, we present simple but reliable path-reranking and…

Computation and Language · Computer Science 2022-05-27 Seongmin Park , Jihwa Lee

The connections among natural language processing and argumentation theory are becoming stronger in the latest years, with a growing amount of works going in this direction, in different scenarios and applying heterogeneous techniques. In…

Artificial Intelligence · Computer Science 2014-05-06 Elena Cabrio , Serena Villata

In this article, we present a novel approach for parsing argumentation structures. We identify argument components using sequence labeling at the token level and apply a new joint model for detecting argumentation structures. The proposed…

Computation and Language · Computer Science 2016-07-25 Christian Stab , Iryna Gurevych

Dialogue summarization aims to condense the original dialogue into a shorter version covering salient information, which is a crucial way to reduce dialogue data overload. Recently, the promising achievements in both dialogue systems and…

Computation and Language · Computer Science 2022-04-29 Xiachong Feng , Xiaocheng Feng , Bing Qin

Recursive reasoning systems alternate between acquiring new evidence and refining an accumulated understanding. Two design choices are typically left implicit: how to represent the evolving reasoning state, and when to stop iterating. This…

Artificial Intelligence · Computer Science 2026-05-11 Debashis Guha , Amritendu Mukherjee , Sanjay Kukreja , Tarun Kumar

Argumentation has proved a useful tool in defining formal semantics for assumption-based reasoning by viewing a proof as a process in which proponents and opponents attack each others arguments by undercuts (attack to an argument's premise)…

Logic in Computer Science · Computer Science 2007-05-23 Ralf Schweimeier , Michael Schroeder

Argumentation is based on the exchange and valuation of interacting arguments, followed by the selection of the most acceptable of them (for example, in order to take a decision, to make a choice). Starting from the framework proposed by…

Artificial Intelligence · Computer Science 2011-07-04 C. Cayrol , M. C. Lagasquie-Schiex

Argument graphs provide an abstract representation of an argumentative situation. A bipolar argument graph is a directed graph where each node denotes an argument, and each arc denotes the influence of one argument on another. Here we…

Artificial Intelligence · Computer Science 2023-08-09 Anthony Hunter

Formal logic has often been seen as uniquely placed to analyze mathematical argumentation. While formal logic is certainly necessary for a complete understanding of mathematical practice, it is not sufficient. Important aspects of…

History and Overview · Mathematics 2024-05-06 Andrew Aberdein , Zoe Ashton

The search for a standardized optimum way to communicate using natural language dialog has involved a lot of research. However, due to the diversity of communication domains, we think that this is extremely difficult to achieve and…

Other Computer Science · Computer Science 2007-05-23 Paul Fodor

Long document summarization poses a significant challenge in natural language processing due to input lengths that exceed the capacity of most state-of-the-art pre-trained language models. This study proposes a hierarchical framework that…

Computation and Language · Computer Science 2024-10-10 Yuan-Jhe Yin , Bo-Yu Chen , Berlin Chen

From daily discussions to marketing ads to political statements, information manipulation is rife. It is increasingly more important that we have the right set of tools to defend ourselves from manipulative rhetoric, or fallacies. Suitable…

Artificial Intelligence · Computer Science 2023-10-26 Ryuta Arisaka , Ryoma Nakai , Yusuke Kawamoto , Takayuki Ito
‹ Prev 1 4 5 6 7 8 10 Next ›