Reasoning about Theories with a Finite Model.

Published in: ÖGAI (1987)

Keyphrases

computational model
statistical model
probabilistic model
high level
cost function
theoretical framework
conceptual model
formal model
information retrieval
genetic algorithm
decision making
similarity measure
management system
theoretical analysis
sensitivity analysis