Ranking-based Semantics for Incomplete Argumentation Frameworks

On Combining Abstract Argumentation Frameworks with Knowledge Bases

The Knowledge-based Argumentation Framework (KAF), an extension of AF with a Knowledge Base expressed in DL - Lite, is discussed, which includes concept and role instances describing the topology of an AF, besides additional knowledge on the domain.

When Incompleteness Does Not Matter: The Case of Incomplete Abstract Argumentation Framework (Under the Possible Perspective)

Incomplete Abstract Argumentation Frameworks (iAAFs) extend Abstract Argumentation Frameworks (AAFs) by allowing arguments and attacks to be specified as uncertain, enabling a compact representation of alternative argumentation scenarios. Despite extensive work on reasoning with iAAFs, their expressive power relative...

Evidential-Based Higher-Order Set Argumentation Framework

Evidential argumentation extends Dung's abstract argumentation by requiring arguments and interactions to be backed by chains of evidence rooted in prima-facie elements. However, existing formalisms lack a unified treatment of evidential support, higher-order relations (attacks and supports targeting arbitrary elements...

Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results

This paper explores how reasoning over DL terminologies can be captured in argumentative terms, by establishing a translation into Assumption-Based Argumentation (ABA), a rule-based formalism comprising defeasible assumptions, where argumentation semantics are used to retrieve sets of jointly acceptable assumptions.

On Logical Encodings for Argumentation-Based Reasoning (Abstract)

A Versatile Framework for Formula-Based Enforcement and Synthesis in Abstract Argumentation

This work proposes formula-based enforcement, a generic framework that strictly generalizes existing approaches, by additionally covering cases they cannot handle, including semantic change, under central argumentation semantics.