Keyphrases
- inductive learning
- theorem proving
- inductive inference
- formal specification
- theorem prover
- machine learning
- formal proofs
- transformation rules
- concept learning
- image registration
- knowledge representation
- multiscale
- information systems
- specification language
- formal verification
- information retrieval
- provably correct
- real time
- automated theorem provers
- inductive concept learning