Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach.

Federico Cerutti Paul E. Dunne Massimiliano Giacomin Mauro Vallati

Published in: CoRR (2013)

Keyphrases

abstract argumentation
argumentation frameworks
search algorithm
sat solvers
theorem proving
satisfiability problem
stochastic local search
preferred semantics
machine learning
learning algorithm
artificial intelligence
expert systems
first order logic
phase transition
preference relations
sat problem