Keyphrases
- description logics
- feature vectors
- logic programming
- multi valued
- global constraints
- derivation rules
- computational properties
- classical logic
- knowledge base
- geometric constraints
- modal logic
- constraint programming
- image features
- automated reasoning
- asynchronous circuits
- constraint language
- logical implication
- lower bound