Mining State-Based Models from Proof Corpora.

Thomas Gransden Neil Walkinshaw Rajeev Raman

Published in: CoRR (2014)

Keyphrases

database
statistical models
machine learning
information systems
bayesian networks
data structure
knowledge discovery
natural language processing
privacy preserving
complex systems
mathematical models