A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing.

Michael Gabbay Murdoch James Gabbay

Published in: LPAR (Dakar) (2010)

Keyphrases

statistical models
modal logic
decision trees
parameter estimation
machine learning algorithms
statistical model
experimental data
model checking
potential functions
bayesian networks
prior knowledge
least squares
temporal logic
mathematical models
gaussian model