Keyphrases
- machine learning
- inductive learning
- knowledge representation
- concept learning
- game playing
- theorem prover
- linear logic
- term rewriting systems
- learning environment
- theorem proving
- deductive reasoning
- interactive theorem proving
- geometry theorem proving
- recursive programs
- proof planning
- rule learning
- inductive inference
- inductive logic programming
- search space
- information systems
- computer vision
- artificial intelligence