The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable.

Philippe Devienne Patrick Lebègue Jean-Christophe Routier

Published in: ILPS (1993)

Keyphrases

horn clauses
datalog programs
fixpoint
first order logic
logic programs
inference rules
sufficient conditions
database queries
np complete
machine learning
multi valued
inductive logic programming
data mining
expressive power
non binary
active learning
pairwise
natural language