Some Applications of Gentzen's Proof Theory in Automated Deduction.
Michael BeesonPublished in: ELP (1989)
Keyphrases
- automated deduction
- proof theory
- automated reasoning
- theorem proving
- theorem prover
- cut elimination
- default reasoning
- inference rules
- sequent calculus
- proof theoretic
- horn clauses
- natural deduction
- reasoning problems
- logic programming
- deductive databases
- first order logic
- nonmonotonic reasoning
- reasoning tasks
- description logics
- decision procedures
- relational databases
- artificial intelligence