Exploring Theories with a Model-Finding Assistant.

Salman Saghafi Ryan Danas Daniel J. Dougherty

Published in: CADE (2015)

Keyphrases

probabilistic model
computational model
formal model
similarity measure
theoretical analysis
neural network
theoretical framework
mathematical model
statistical model
network model
hidden markov models
neural network model