A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation.

Jean-Guy Mailly

Published in: CLAR (2023)

Keyphrases

abstract argumentation
argumentation frameworks
preferred semantics
theorem proving
argumentation semantics
preference relations
special case
decision problems
argumentation theory
machine learning
cooperative
formal model
logical structure
fixed parameter tractable