Tree dimension in verification of constrained Horn clauses.

Bishoksan Kafle John P. Gallagher Pierre Ganty

Published in: Theory Pract. Log. Program. (2018)

Keyphrases

horn clauses
inference rules
inductive logic programming
tree structure
conceptual clustering
first order logic
logic programs
database queries
lattice theory
model checking
data sets
feature selection
databases
index structure
general purpose
feature space
decision trees
function symbols