A Comparative Test on the Enumeration of Extensions in Abstract Argumentation.

Stefano Bistarelli Fabio Rossi Francesco Santini

Published in: Fundam. Informaticae (2015)

Keyphrases

abstract argumentation
argumentation frameworks
dynamic programming
statistical tests
reinforcement learning
theorem proving
data mining
computational complexity
lower bound
expert systems
search space
multi dimensional
test data
preferred semantics