Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation

Abstract

We present a common framework for dialectical proof procedures for computing credulous, grounded, ideal and sceptical preferred semantics of abstract argumentation. The framework is based on the notions of dispute derivation and base derivation. Dispute derivation is a dialectical notion first introduced for computing credulous semantics in assumption-based… (More)
DOI: 10.1093/logcom/exp032

Topics

13 Figures and Tables

Statistics

051015201520162017
Citations per Year

Citation Velocity: 8

Averaging 8 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics