Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers.
Tomer LibalAlexander SteenPublished in: PAAR@IJCAR (2016)
Keyphrases
- theorem prover
- higher order
- higher order logic
- automated theorem proving
- automated reasoning
- computer algebra
- inference rules
- first order logic
- theorem proving
- term rewriting
- high resolution
- automated deduction
- markov random field
- natural images
- high order
- timed automata
- index structure
- pairwise
- inverted index
- training data
- knowledge base
- lambda calculus
- tabu search
- low resolution
- logic programs
- probability distribution
- natural language
- metadata