CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.

Jean-Marie Lagniez Emmanuel Lonca Jean-Guy Mailly

Published in: ICTAI (2015)

Keyphrases

abstract argumentation
theorem proving
preference relations
argumentation frameworks
data mining
constraint satisfaction
quantified boolean formulas
objective function
decision makers