Bisimulations between generalized Veltman models and Veltman models.

Published in: Math. Log. Q. (2008)

Keyphrases

probabilistic model
complex systems
mathematical models
learning algorithm
social networks
data structure
autoregressive
data sets
information retrieval
artificial intelligence
case study
prior knowledge
experimental data
random fields
modeling framework