Herbrand's theorem and term induction.

Matthias Baaz Georg Moser

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

Keyphrases

logic programs
machine learning
logic programming
inductive learning
first order logic
regularization term
real time
inductive logic programming
statistical relational learning
learning algorithm
term weighting
horn clauses
concept formation
constructive induction
functional programs