Keyphrases
- proof search
- invited talk
- theorem prover
- theorem proving
- linear logic
- inference rules
- proof planning
- search procedure
- sequent calculus
- knowledge discovery and data mining
- cut elimination
- proof procedure
- selected papers
- decision procedures
- neural network
- natural deduction
- automated reasoning
- knowledge base
- fixed point
- knowledge discovery