Keyphrases
- theorem prover
- natural deduction
- proof search
- inference rules
- theorem proving
- first order logic
- inductive learning
- higher order logic
- explanation based learning
- information overload
- user centric
- inductive logic programming
- knowledge representation
- rule induction
- program synthesis
- database
- social networking
- information systems
- genetic algorithm
- subgroup discovery
- concept formation
- machine learning
- neural network
- cut elimination