Comparing Computational Representations of Herbrand Models.

Robert Matzinger

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

computational models
probabilistic model
markov random field
statistical models
probability models
database
genetic algorithm
three dimensional
image sequences
information extraction
first order logic
distributed representations