A Supplement to Herbrand.

Burton Dreben John Denton

Published in: J. Symb. Log. (1966)

Keyphrases

logic programs
logic programming
first order logic
statistical relational learning
horn clauses
domain knowledge
artificial intelligence
object oriented
database design
reasoning tasks