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