Keyphrases
- proof search
- theorem prover
- linear logic
- theorem proving
- proof planning
- inference rules
- search procedure
- sequent calculus
- proof procedure
- cut elimination
- first order logic
- bayesian networks
- intuitionistic logic
- fixed point
- decision procedures
- logical framework
- automated reasoning
- orders of magnitude
- simulated annealing
- neural network