Two Techniques to Improve Finite Model Search.

Gilles Audemard Belaid Benhamou Laurent Henocque

Published in: CADE (2000)

Keyphrases

probabilistic model
statistical model
real time
search mechanism
high level
similarity measure
prior knowledge
search algorithm
autoregressive
neural network model
conceptual model
network structure
cost function
objective function
keywords
decision trees
social networks
machine learning
neural network