---
title: "Optimal Status Enforcement in Abstract Argumentation"
authors:
  - "Andreas Niskanen"
  - "Johannes Peter Wallner"
  - "Matti Järvisalo"
doi: ""
url: "https://ijcai.org/proceedings/2016/176"
pdf: "https://ijcai.org/proceedings/2016/0176.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "1216-1221"
track: ""
keywords:
---

# Optimal Status Enforcement in Abstract Argumentation

Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 1216-1221.

## Abstract

We present complexity results and algorithms for optimal status enforcement in abstract argumentation. Status enforcement is the task of adjusting a given argumentation framework (AF) to support given positive and negative argument statuses, i.e., to accept and reject specific arguments. We study optimal status enforcement as the problem of finding a structurally closest AF supporting given argument statuses. We establish complexity results for optimal status enforcement under several central AF semantics, develop constraint-based algorithms for NP and second-level complete variants of the problem, and empirically evaluate the procedures.