A Unifying View of Some Linear Herbrand Procedures.

Donald W. Loveland

Published in: J. ACM (1972)

Keyphrases

logic programs
logic programming
data sets
first order logic
closed form
piecewise linear
databases
artificial intelligence
social networks
database systems
multiscale
special case
statistical relational learning