Keyphrases
- theorem proving
- consequence finding
- inference rules
- first order logic
- inductive learning
- machine learning
- high resolution
- knowledge representation
- theorem prover
- inductive logic programming
- equational theories
- low resolution
- decision procedures
- formal proofs
- multiresolution
- artificial intelligence
- inductive inference
- proof search
- web services
- computer vision
- information retrieval
- sampling rate
- inductive reasoning
- formal proof
- real world