Model Evolution-Based Theorem Proving.

Peter Baumgartner

Published in: IEEE Intell. Syst. (2014)

Keyphrases

theorem proving
probabilistic model
data mining
probability distribution
bayesian networks
first order logic
formal model