Argumentation frameworks as constraint satisfaction problems.
Leila AmgoudCaroline DevredPublished in: Ann. Math. Artif. Intell. (2013)
Keyphrases
- constraint satisfaction problems
- argumentation frameworks
- constraint satisfaction
- computational problems
- argumentation semantics
- constraint propagation
- constraint programming
- abstract argumentation frameworks
- np complete
- search space
- abstract argumentation
- non binary
- constraint solving
- combinatorial problems
- np hard
- decision problems
- practical reasoning
- preference relations
- arc consistency
- sat problem
- soft constraints
- constraint networks
- forward checking
- solving constraint satisfaction problems
- objective function
- nonmonotonic reasoning
- scheduling problem