Model Companions for Finitely Generated Universal Horn Classes.

Published in: J. Symb. Log. (1984)

Keyphrases

prior knowledge
experimental data
statistical model
formal model
knowledge base
multiscale
cost function
computational model
case study
probabilistic model
management system
mathematical model
generation process