activity
20162026
most citedPrioritized Norms in Formal Argumentation

15 citations · 46 across the 15 of their papers we have counts for

collaborators

15 papers

cs.LO2026

Beyond But-for Test: Counterfactual Explanation in Abstract Argumentation via Actual Causality (Extended Version)

Siyi Liu, Muyun Shao, Beishui Liao

Counterfactual explanation in abstract argumentation calls for an answer to the what-if query: would the topic argument still be accepted if the status of certain other arguments w…

cs.AI2026

Subargument Argumentation Frameworks: Separating Direct Conflict from Structural Dependency

Beishui Liao

Dung's abstract argumentation frameworks model acceptability solely in terms of an attack relation, thereby conflating two conceptually distinct aspects of argumentative reasoning:…

cs.AI2024

Enhancing Conflict Resolution in Language Models via Abstract Argumentation

Zhaoqun Li, Xiaotong Fang, Chen Chen +2

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-buildin…

cs.AI2023

Defense semantics of argumentation: revisit

Beishui Liao, Leendert van der Torre

In this paper we introduce a novel semantics, called defense semantics, for Dung's abstract argumentation frameworks in terms of a notion of (partial) defence, which is a triple en…

cs.MA2023★ 1 cited

What Do You Care About: Inferring Values from Emotions

Jieting Luo, Mehdi Dastani, Thomas Studer +1

Observers can glean information from others' emotional expressions through the act of drawing inferences from another individual's emotional expressions. It is important for social…

cs.AI2022★ 1 cited

A Concept and Argumentation based Interpretable Model in High Risk Domains

Haixiao Chi, Dawei Wang, Gaojie Cui +2

Interpretability has become an essential topic for artificial intelligence in some high-risk domains such as healthcare, bank and security. For commonly-used tabular data, traditio…

cs.AI2022

Value-based Practical Reasoning: Modal Logic + Argumentation

Jieting Luo, Beishui Liao, Dov Gabbay

Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multip…

cs.CL2022★ 1 cited

BTPK-based interpretable method for NER tasks based on Talmudic Public Announcement Logic

Yulin Chen, Beishui Liao, Bruno Bentzen +4

As one of the basic tasks in natural language processing (NLP), named entity recognition (NER) is an important basic tool for downstream tasks of NLP, such as information extractio…

cs.AI2021

A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems

Jieting Luo, Beishui Liao, John-Jules Meyer

Self-organization is a process where a stable pattern is formed by the cooperative behavior between parts of an initially disordered system without external control or influence. I…

cs.AI2019★ 5 cited

A Bayesian Approach to Direct and Inverse Abstract Argumentation Problems

Hiroyuki Kido, Beishui Liao

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 in…

cs.AI2018★ 3 cited

Representation, Justification and Explanation in a Value Driven Agent: An Argumentation-Based Approach

Beishui Liao, Michael Anderson, Susan Leigh Anderson

Ethical and explainable artificial intelligence is an interdisciplinary research area involving computer science, philosophy, logic, the social sciences, etc. For an ethical autono…

cs.AI2018★ 13 cited

The Jiminy Advisor: Moral Agreements Among Stakeholders Based on Norms and Argumentation

Beishui Liao, Pere Pardo, Marija Slavkovik +1

An autonomous system is constructed by a manufacturer, operates in a society subject to norms and laws, and interacts with end users. All of these actors are stakeholders affected…

cs.AI2017★ 15 cited

Prioritized Norms in Formal Argumentation

Beishui Liao, Nir Oren, Leendert van der Torre +1

To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represen…

cs.AI2017

Defense semantics of argumentation: encoding reasons for accepting arguments

Beishui Liao, Leendert van der Torre

In this paper we show how the defense relation among abstract arguments can be used to encode the reasons for accepting arguments. After introducing a novel notion of defenses and…

cs.AI2016★ 7 cited

Formulating Semantics of Probabilistic Argumentation by Characterizing Subgraphs: Theory and Empirical Results

Beishui Liao, Kang Xu, Huaxin Huang

In existing literature, while approximate approaches based on Monte-Carlo simulation technique have been proposed to compute the semantics of probabilistic argumentation, how to im…