One Binary Horn Clause is Enough.

Philippe Devienne Patrick Lebègue Jean-Christophe Routier Jörg Würtz

Published in: STACS (1994)

Keyphrases

horn clauses
inference rules
inductive logic programming
first order logic
logic programs
database queries
decision trees
domain knowledge
background knowledge
object oriented
database
high dimensional
data structure
bayesian networks
data mining
data sets
real time