Tree dimension in verification of constrained Horn clauses.

Bishoksan Kafle John P. Gallagher Pierre Ganty

Published in: CoRR (2018)

Keyphrases

horn clauses
conceptual clustering
first order logic
inference rules
logic programs
inductive logic programming
tree structure
lattice theory
model checking
database queries
information extraction
knn
r tree
domain knowledge
search engine
machine learning
data sets
database