Login / Signup

Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach.

Federico CeruttiPaul E. DunneMassimiliano GiacominMauro Vallati
Published in: TAFA (2013)
Keyphrases
  • abstract argumentation
  • argumentation frameworks
  • theorem proving
  • search algorithm
  • orders of magnitude
  • sat solvers
  • objective function
  • special case
  • preference relations