First-order Expressivity for S5-models: Modal vs. Two-sorted Languages.

Holger Sturm Frank Wolter

Published in: J. Philos. Log. (2001)

Keyphrases

statistical models
metamodel
higher order
model selection
real time
data sets
neural network
information retrieval
decision trees
graphical models
machine learning algorithms
computational models
mathematical models