Keyphrases
- linear logic
- constraint satisfaction problems
- fixed point
- constraint satisfaction
- logic programming
- decomposition methods
- constraint propagation
- proof theoretic
- sequent calculus
- logical framework
- proof search
- desirable properties
- constraint programming
- arc consistency
- tree decomposition
- intuitionistic logic
- cut elimination
- constraint solving
- multiple agents
- machine learning
- higher order
- image segmentation