Trace Abstraction Refinement for Solving Horn Clauses.

Weifeng Wang Li Jiao

Published in: Comput. J. (2016)

Keyphrases

horn clauses
inference rules
logic programs
first order logic
conceptual clustering
database queries
lattice theory
inductive logic programming
function symbols
data sets
knowledge base
high level
graphical models