Keyphrases
- theorem proving
- theorem prover
- geometry theorem proving
- proof planning
- probabilistic model
- imperative programs
- image processing
- data mining
- cooperative
- evolutionary algorithm
- hidden markov models
- real time
- knowledge representation
- image segmentation
- multimedia
- linear logic
- provably correct
- mathematical proofs
- databases