Keyphrases
- proof search
- theorem prover
- theorem proving
- linear logic
- inference rules
- proof planning
- search procedure
- sequent calculus
- proof procedure
- cut elimination
- automated reasoning
- natural deduction
- neural network
- desirable properties
- semantic network
- tabu search
- propositional logic
- simulated annealing
- programming language
- bayesian networks