Finding Shortest Proofs: An Application of Linked Inference Rules.
Robert VeroffPublished in: J. Autom. Reason. (2001)
Keyphrases
- inference rules
- theorem prover
- theorem proving
- natural deduction
- sequent calculus
- cut elimination
- proof search
- first order logic
- modal logic
- logical framework
- logic programming language
- truth values
- probabilistic knowledge
- horn clauses
- conditional probabilities
- artificial intelligence
- probability theory
- relational databases