Keyphrases
- theorem prover
- natural deduction
- proof search
- inference rules
- first order logic
- theorem proving
- cut elimination
- high level
- inductive learning
- higher order logic
- machine learning
- inductive inference
- smart grid
- concept learning
- inductive logic programming
- smart environments
- formal methods
- version space
- concept formation
- program synthesis
- search algorithm
- case study
- artificial intelligence
- learning algorithm