Refining Numerical Terms in Horn Clauses.

Marco Botta Attilio Giordana Roberto Piola

Published in: AI*IA (1997)

Keyphrases

horn clauses
first order logic
data sets
data mining
inference rules
conceptual clustering
feature selection
high level
inductive logic programming
function symbols
lattice theory