Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions.

Qi Zhou William Harris

Published in: HCVS (2018)

Keyphrases

horn clauses
first order logic
conceptual clustering
constrained problems
inference rules
inductive logic programming
logic programs
pairwise
lattice theory
database queries
lagrange multipliers
background knowledge
decision trees
machine learning
boolean formula
data mining
data sets