Automating Induction for Solving Horn Clauses.

Hiroshi Unno Sho Torii

Published in: CoRR (2016)

Keyphrases

horn clauses
inductive logic programming
inference rules
logic programs
first order logic
background knowledge
inductive learning
conceptual clustering
lattice theory
machine learning
domain knowledge
rule induction
data mining
database queries