Generating Minimal Herbrand Models Step by Step.

Heribert Schütz

Published in: TABLEAUX (1999)

Keyphrases

experimental data
logic programs
computer vision
prior knowledge
data sets
probabilistic model
model selection
mathematical models
generation process
machine learning
artificial intelligence
multiscale
statistical models
bayesian framework
classification models