Login / Signup
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report.
Federico Cerutti
Ilias Tachmazidis
Mauro Vallati
Sotiris Batsakis
Massimiliano Giacomin
Grigoris Antoniou
Published in:
CoRR (2014)
Keyphrases
</>
hard problems
technical report
abstract argumentation
phase transition
theorem proving
hyper heuristics
evolutionary algorithm
neural network
artificial intelligence
constraint satisfaction
search methods
argumentation frameworks