General Models and Completeness of First-Order Modal µ-calculus.

Ryo Kashima Keishi Okamoto

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

Keyphrases

special case
real time
statistical models
accurate models
neural network
genetic algorithm
artificial intelligence
decision trees
probabilistic model
higher order
machine learning algorithms
experimental data