Revisiting SAT Techniques for Abstract Argumentation.
Jonas KleinMatthias ThimmPublished in: COMMA (2020)
Keyphrases
- abstract argumentation
- sat solvers
- sat problem
- satisfiability problem
- phase transition
- theorem proving
- max sat
- sat solving
- boolean satisfiability
- argumentation frameworks
- propositional satisfiability
- stochastic local search algorithms
- search algorithm
- cooperative
- stochastic local search
- search strategies
- abstract argumentation frameworks
- argumentation theory
- preferred semantics
- orders of magnitude
- special case
- machine learning