A Labeling Based Backtracking Solver for Abstract Argumentation.
Lukas KinderMatthias ThimmBart VerheijPublished in: SAFA@COMMA (2022)
Keyphrases
- abstract argumentation
- tree search
- clause learning
- active learning
- backtracking search
- theorem proving
- constraint satisfaction
- argumentation frameworks
- search tree
- search algorithm
- dependency directed backtracking
- constraint satisfaction problems
- search space
- sat solvers
- image segmentation
- constraint propagation
- preference relations
- bayesian networks
- abstract argumentation frameworks
- data mining