Keyphrases
- modal logic
- geometric structure
- sound and complete axiomatization
- geometric reasoning
- asynchronous circuits
- classical logic
- probabilistic logic
- multi valued
- automated reasoning
- high order
- logic programming
- data model
- geometric constraints
- real time
- geometric features
- expert systems
- geometric information
- multiscale
- logical framework
- bayesian networks
- defeasible logic
- image processing
- dynamic logic
- computer vision
- data sets