Using Proof Theory to Optimize Proof Search.
Natarajan ShankarPublished in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Keyphrases
- proof theory
- proof search
- automated reasoning
- theorem prover
- theorem proving
- cut elimination
- linear logic
- proof theoretic
- default reasoning
- inference rules
- search procedure
- decision procedures
- reasoning problems
- proof procedure
- sequent calculus
- first order logic
- reasoning tasks
- belief revision
- knowledge representation
- partial order
- natural deduction
- special case
- knowledge base