Solving Existentially Quantified Horn Clauses.

Tewodros A. Beyene Corneliu Popeea Andrey Rybalchenko

Published in: CAV (2013)

Keyphrases

horn clauses
existentially quantified
logic programs
first order logic
inductive logic programming
inference rules
logic programming
background knowledge
database queries
predicate invention
universally quantified
natural language
answer sets
machine learning
higher order
database
databases