Mining State-Based Models from Proof Corpora.

Thomas Gransden Neil Walkinshaw Rajeev Raman

Published in: CICM (2014)

Keyphrases

text mining
databases
statistical model
pattern mining
artificial intelligence
data analysis
probabilistic model
graphical models
association rule mining
statistical models
data mining methods
historical data
theorem prover