Decidability of Scott's Model as an Ordered Q-Vectorspace.

Miklós Erdélyi-Szabó

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

Keyphrases

formal model
probabilistic model
computational model
high level
databases
theoretical framework
statistical model
information systems
database systems
objective function
cost function
description logics
em algorithm
parameter estimation
conceptual model
simulation model