Argumentation Extensions Enumeration as a Constraint Satisfaction Problem: a Performance Overview.
Mauro VallatiFederico CeruttiMassimiliano GiacominPublished in: DARe@ECAI (2014)
Keyphrases
- constraint satisfaction problems
- search space
- argumentation semantics
- constraint satisfaction
- constraint propagation
- argumentation frameworks
- constraint programming
- np complete
- constraint solving
- arc consistency
- product configuration
- heuristic search
- non binary
- hard constraints
- np hard
- reasoning problems
- pseudo boolean optimization
- global constraints
- soft constraints
- constraint networks
- constraint solver
- finite domain
- partial constraint satisfaction
- decomposition methods
- tractable subclasses
- search tree