Automating Induction for Solving Horn Clauses.

Hiroshi Unno Sho Torii Hiroki Sakamoto

Published in: CAV (2) (2017)

Keyphrases

horn clauses
inductive logic programming
first order logic
logic programs
inference rules
lattice theory
conceptual clustering
rule induction
semi supervised
logic programming
data sets
databases
machine learning
feature space
inductive learning