Quantifier Inference Rules for SMT proofs.
David DéharbePascal FontaineBruno Woltzenlogel PaleoPublished in: PxTP (2011)
Keyphrases
- inference rules
- theorem proving
- theorem prover
- natural deduction
- sequent calculus
- cut elimination
- proof search
- first order logic
- modal logic
- statistical machine translation
- logic programming language
- truth values
- horn clauses
- conditional probabilities
- logical framework
- data sets
- binary relations
- probability theory
- natural language
- lower bound
- decision trees
- learning algorithm
- expert systems
- supervised learning