Gorgias-C: Extending Argumentation with Constraint Solving.
Victor NoëlAntonis C. KakasPublished in: LPNMR (2009)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- defeasible reasoning
- argumentation semantics
- argumentation systems
- constraint programming
- search space
- finite domain
- constraint solvers
- knowledge base
- legal reasoning
- linear programming
- upper bound
- np hard
- data model
- lower bound
- image sequences