Login / Signup

Problem Solving by Searching for Models with a Theorem Prover.

Shie-Jue LeeDavid A. Plaisted
Published in: Artif. Intell. (1994)
Keyphrases
  • theorem prover
  • statistical models
  • artificial intelligence
  • probabilistic model
  • model selection
  • machine learning
  • higher order
  • inference rules
  • automated theorem proving
  • computer algebra
  • term rewriting