Abstract Critical Pairs and Confluence of Arbitrary Binary Relations.

Rémy Haemmerlé François Fages

Published in: RTA (2007)

Keyphrases

binary relations
inference rules
transitive closure
graph theoretic
concept lattice
semantic network
nearest neighbor
databases
data mining
decision trees
multi agent
data streams
query language
data management
weighted majority voting