Keyphrases
- set intersection
- cut elimination
- sequent calculus
- natural deduction
- artificial intelligence
- multiscale
- constraint networks
- linear time temporal logic
- databases
- theorem proving
- horn clauses
- consistency checking
- theorem prover
- information systems
- proof search
- computer vision
- maintaining consistency
- learning algorithm
- neural network