Sabotage modal logic was proposed in 2003 as a format for analysing games that modify
graphs they are played on. We investigate some model-theoretic and proof-theoretic aspects …

Dung's argumentation frameworks have been applied for over twenty years to the analysis of
argument justification. This representation focuses on arguments and the attacks among …

The intuitive notion of evidence has both semantic and syntactic features. In this paper, we
develop an evidence logic for epistemic agents faced with possibly contradictory evidence …

We address dynamics in abstract argumentation using a logical theory where an agent's
belief state consists of an argumentation framework (AF, for short) and a constraint that …

Graph aggregation is the process of computing a single output graph that constitutes a good
compromise between several input graphs, each provided by a different source. One needs …

Two of the authors (van Benthem and Pacuit) recently introduced evidence logic as a way to
model epistemic agents faced with possibly contradictory evidence from different sources …

This chapter gives an overview of the history of formal argumentation in terms of a distinction
between argumentation-based inference and argumentation-based dialogue. Systems for …

In 1995, in his seminal paper introducing the abstract argumentation framework, Dung has
also established the first relationship between this framework and a logical framework (in …

Dynamics and uncertainty are essential features of real-life argumentation, and many recent
studies have focused on integrating both aspects into Dung's well-known abstract …

Abstract properties satisfied for finite structures do not necessarily carry over to infinite
structures. Two of the most basic properties are existence and uniqueness of something. In …