Normalization of Linear Horn Clauses.

Thomas Martin Gawlitza Helmut Seidl Kumar Neeraj Verma

Published in: SBMF (2010)

Keyphrases

horn clauses
inference rules
logic programs
conceptual clustering
first order logic
inductive logic programming
machine learning
database queries
decision trees
relational databases
logic programming
normalization method
lattice theory