Keyphrases
- theorem prover
- natural deduction
- proof search
- proof planning
- theorem proving
- inference rules
- higher order logic
- first order logic
- cut elimination
- sequent calculus
- mathematical proofs
- rule induction
- social networking
- machine learning
- explanation based learning
- concept formation
- inductive logic programming
- higher order
- information overload
- sequence prediction
- conditional logic
- highly efficient
- case study
- decision trees
- artificial intelligence