Keyphrases
- theorem prover
- natural deduction
- proof search
- theorem proving
- proof planning
- first order logic
- cut elimination
- inference rules
- inductive learning
- formal proof
- mathematical proofs
- signal processing
- rule induction
- formal proofs
- sequent calculus
- structured data
- machine learning
- computer algebra
- real world
- inductive logic programming
- functional programs
- feature selection
- mathematical knowledge
- genetic algorithm