Only two letters: The correspondence between Herbrand and Gödel.

Published in: Bull. Symb. Log. (2005)

Keyphrases

logic programs
logic programming
first order logic
statistical relational learning
decision trees
pairwise
point correspondences
social bookmarking
data sets
machine learning
genetic algorithm
multiscale
medical images
function symbols