Concurrence for well-formed CAFs: Naive Semantics

12/20/2021
by   Rafael Kiesel, et al.
0

In the area of claim-based reasoning in abstract argumentation, a claim-based semantics is said to be concurrent in a given framework if all its variants yield the same extensions. In this note, we show that the concurrence problem with respect to naive semantics is coNP-hard for well-formed CAFs. This solves a problem that has been left open in Dvorák et al. (2021).

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset