Inference Rights for Controlling Search in Generating Theorem Provers.
Dirk FuchsPublished in: EPIA (1997)
Keyphrases
- theorem prover
- search algorithm
- proof search
- automated reasoning
- search space
- theorem proving
- automated theorem proving
- computer algebra
- first order logic
- search strategy
- search strategies
- training data
- probabilistic inference
- machine learning
- graphical models
- search procedure
- probabilistic reasoning
- higher order
- knowledge representation
- knowledge base