Herbrand analyses.

Published in: Arch. Math. Log. (1991)

Keyphrases

logic programs
logic programming
horn clauses
database
data sets
artificial intelligence
image segmentation
relational databases
first order logic
inductive logic programming
comparative analysis
statistical relational learning
function symbols