Defeasible Constraint Solving.
Francisco MenezesPedro BarahonaPublished in: Over-Constrained Systems (1995)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- defeasible logic
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- defeasible reasoning
- default logic
- constraint programming
- deontic logic
- practical reasoning
- update semantics
- argumentation frameworks
- finite domain
- legal reasoning
- search space
- constraint solvers