Finite and Circular Path Models for Branching Time Logics.

Michael Kaminski Michael L. Tiomkin

Published in: J. Log. Comput. (1990)

Keyphrases

statistical models
data mining
probabilistic model
machine learning
bayesian networks
graphical models
parameter estimation
machine learning algorithms
complex systems
statistical model
temporal reasoning
accurate models