Decidability and the finite model property.

Alasdair Urquhart

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

Keyphrases

experimental data
high level
expert systems
input data
probabilistic model
formal model
statistical model
computational model
theoretical analysis
probability distribution
multi agent
databases
database
hidden markov models
objective function
case study
conceptual model