Origins of the Calculus of Binary Relations

Vaughan R. Pratt

Published in: LICS (1992)

Keyphrases

binary relations
cardinal directions
inference rules
graph theoretic
transitive closure
semantic network
formal concept analysis
cardinal direction relations
databases
preference relations
co occurrence
concept lattice
decision trees
decision rules
first order logic