Keyphrases
- natural deduction
- theorem prover
- theorem proving
- cut elimination
- inference rules
- sequent calculus
- first order logic
- higher order logic
- proof search
- formal proof
- computer algebra
- neural network
- mathematical knowledge
- similarity measure
- machine learning
- inductive logic programming
- multiscale
- social networks
- artificial intelligence
- genetic algorithm
- databases
- real time