Keyphrases
- proof search
- theorem prover
- theorem proving
- linear logic
- inference rules
- proof planning
- search procedure
- sequent calculus
- automated reasoning
- proof procedure
- first order logic
- cut elimination
- natural deduction
- optimal solution
- artificial intelligence
- simulated annealing
- propositional logic
- probabilistic model
- expert systems