Sets and Binary Relation Variables Viewed as Constrained Objects.

Published in: ICLP Workshop on Logic Programming with Sets (1993)

Keyphrases

binary relations
cardinal directions
transitive closure
inference rules
concept lattice
graph theoretic
formal concept analysis
random variables
equivalence relation
decision making