Deciding the existence of uniform interpolants over transitive models.

Giovanna D'Agostino Giacomo Lenzi

Published in: Arch. Math. Log. (2011)

Keyphrases

data sets
databases
statistical models
feature selection
reinforcement learning
prior knowledge
probabilistic model
model selection
data mining
e learning
complex systems
statistical model
computational models
accurate models