Keyphrases
- constraint solving
- constraint propagation
- defeasible logic
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- defeasible reasoning
- default logic
- constraint programming
- deontic logic
- practical reasoning
- legal reasoning
- argumentation frameworks
- finite domain
- update semantics
- constraint solvers
- path planning
- nonmonotonic reasoning
- user defined
- search space
- optimal solution