ML4PG: proof-mining in Coq

Jónathan Heras Ekaterina Komendantskaya

Published in: CoRR (2013)

Keyphrases

theorem prover
maximum likelihood
knowledge discovery
data mining
pattern mining
mining algorithm
web mining
text mining
learning algorithm
feature selection
interesting patterns
theorem proving
data mining techniques
data mining tools
databases
web logs
knn
relational databases
bayesian networks
neural network