Formalisms for Specifying Markovian Population Models.

Thomas A. Henzinger Barbara Jobstmann Verena Wolf

Published in: Int. J. Found. Comput. Sci. (2011)

Keyphrases

statistical models
databases
probabilistic model
reasoning tasks
data sets
model selection
logic programming
regression model
complex systems
experimental data
neural network model
nonmonotonic reasoning
modeling framework