The Relationship between Craig Interpolation and Recursion-Free Horn Clauses

Philipp Rümmer Hossein Hojjat Viktor Kuncak

Published in: CoRR (2013)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
inductive logic programming
conceptual clustering
lattice theory
database queries
image interpolation
deductive databases
complex objects
logic programming
knowledge base
data mining
background knowledge
metadata
linear interpolation
function symbols