On Decidable and Computable Models of Theories.

Alexander Gavruskin Bakhadyr Khoussainov

Published in: CiE (2013)

Keyphrases

computational models
model selection
real time
database
information systems
prior knowledge
complex systems
mathematical models
relational databases
data model
machine learning algorithms
theoretical framework
formal models