Advanced SAT Techniques for Abstract Argumentation.

Johannes Peter Wallner Georg Weissenbacher Stefan Woltran

Published in: CLIMA (2013)

Keyphrases

abstract argumentation
sat solvers
argumentation frameworks
phase transition
satisfiability problem
sat solving
search algorithm
search strategies
machine learning
learning algorithm
objective function
multi agent
propositional satisfiability
boolean satisfiability