English
Related papers

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

200 papers

Abstract Meaning Representations (AMR) are a broad-coverage semantic formalism which represents sentence meaning as a directed acyclic graph. To train most AMR parsers, one needs to segment the graph into subgraphs and align each such…

Computation and Language · Computer Science 2022-10-26 Chunchuan Lyu , Shay B. Cohen , Ivan Titov

The paper develops a formal theory of the degree of justification of arguments, which relies solely on the structure of an argumentation framework, and which can be successfully interfaced with approaches to instantiated argumentation. The…

Artificial Intelligence · Computer Science 2018-11-09 Davide Grossi , Sanjay Modgil

This paper presents a survey of Abstract Meaning Representation (AMR), a semantic representation framework that captures the meaning of sentences through a graph-based structure. AMR represents sentences as rooted, directed acyclic graphs,…

Computation and Language · Computer Science 2025-05-07 Behrooz Mansouri

Neural abstractive summarization models have led to promising results in summarizing relatively short documents. We propose the first model for abstractive summarization of single, longer-form documents (e.g., research papers). Our approach…

Computation and Language · Computer Science 2018-05-23 Arman Cohan , Franck Dernoncourt , Doo Soon Kim , Trung Bui , Seokhwan Kim , Walter Chang , Nazli Goharian

We show that an interesting class of feed-forward neural networks can be understood as quantitative argumentation frameworks. This connection creates a bridge between research in Formal Argumentation and Machine Learning. We generalize the…

Neural and Evolutionary Computing · Computer Science 2020-12-11 Nico Potyka

In this paper we discuss contrastive explanations for formal argumentation - the question why a certain argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted under various extension-based semantics. The…

Artificial Intelligence · Computer Science 2022-01-26 AnneMarie Borg , Floris Bex

The paper presents an extension of temporal epistemic logic with operators that quantify over strategies. The language also provides a natural way to represent what agents would know were they to be aware of the strategies being used by…

Logic in Computer Science · Computer Science 2014-04-04 Xiaowei Huang , Ron van der Meyden

How to effectively utilize the dialogue history is a crucial problem in multi-turn dialogue generation. Previous works usually employ various neural network architectures (e.g., recurrent neural networks, attention mechanisms, and…

Computation and Language · Computer Science 2020-08-14 Changying Hao , Liang Pang , Yanyan Lan , Fei Sun , Jiafeng Guo , Xueqi Cheng

Complex conversation settings such as persuasion involve communicating changes in attitude or behavior, so users' perspectives need to be addressed, even when not directly related to the topic. In this work, we contribute a novel modular…

Computation and Language · Computer Science 2022-09-26 Maximillian Chen , Weiyan Shi , Feifan Yan , Ryan Hou , Jingwen Zhang , Saurav Sahay , Zhou Yu

After Dung's founding work in Abstract Argumentation Frameworks there has been a growing interest in extending the Dung's semantics in order to describe more complex or real life situations. Several of these approaches take the direction of…

Artificial Intelligence · Computer Science 2018-10-02 Theofrastos Mantadelis , Stefano Bistarelli

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

Through a series of examples, we illustrate some important drawbacks that the action logic framework suffers from in its ability to represent the dynamics of information updates. We argue that these problems stem from the fact that the…

Logic in Computer Science · Computer Science 2017-07-28 Will Nalls , Adam Bjorndahl

This work introduces a framework for quantifying the information content of logical propositions through the use of implication hypergraphs. We posit that a proposition's informativeness is primarily determined by its relationships with…

Logic · Mathematics 2025-11-14 Vibhu Dalal

Existing multi-expert LLM systems gather diverse perspectives but combine them through simple aggregation, obscuring which arguments drove the final decision. We introduce ARGORA, a framework that organizes multi-expert discussions into…

Artificial Intelligence · Computer Science 2026-01-30 Youngjin Jin , Hanna Kim , Kwanwoo Kim , Chanhee Lee , Seungwon Shin

We propose a new approach for extracting argument structure from natural language texts that contain an underlying argument. Our approach comprises of two phases: Score Assignment and Structure Prediction. The Score Assignment phase trains…

Computation and Language · Computer Science 2016-12-19 Arkanath Pathak , Pawan Goyal , Plaban Bhowmick

For argumentation mining, there are several sub-tasks such as argumentation component type classification, relation classification. Existing research tends to solve such sub-tasks separately, but ignore the close relation between them. In…

Computation and Language · Computer Science 2017-01-20 Zhongyu Wei , Chen Li , Yang Liu

In this paper, we compose a new task for deep argumentative structure analysis that goes beyond shallow discourse structure analysis. The idea is that argumentative relations can reasonably be represented with a small set of predefined…

Computation and Language · Computer Science 2017-12-08 Paul Reisert , Naoya Inoue , Naoaki Okazaki , Kentaro Inui

Each language has its own complex systems of word, phrase, and sentence construction, the guiding principles of which are often summarized in grammar descriptions for the consumption of linguists or language learners. However, manual…

Computation and Language · Computer Science 2022-03-29 Aditi Chaudhary , Zaid Sheikh , David R Mortensen , Antonios Anastasopoulos , Graham Neubig

Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria used to settle the acceptance of arguments are called…

Artificial Intelligence · Computer Science 2020-12-14 Atefeh Keshavarzi Zafarghandi , Rineke Verbrugge , Bart Verheij

In this thesis we use quasiorders on words to offer a new perspective on two well-studied problems from Formal Language Theory: deciding language inclusion and manipulating the finite automata representations of regular languages. First, we…

Formal Languages and Automata Theory · Computer Science 2020-08-21 Pedro Valero