Coverage-Based Semi-distance between Horn Clauses.

Zdravko Markov Ivo Marinchev

Published in: AIMSA (2000)

Keyphrases

horn clauses
inference rules
first order logic
logic programs
conceptual clustering
inductive logic programming
distance measure
distance function
data mining
database queries
lattice theory
database
data sets
prior knowledge
knowledge representation