A note on first-order spectra with binary relations.

Eryk Kopczynski Tony Tan

Published in: CoRR (2017)

Keyphrases

binary relations
first order logic
inference rules
transitive closure
graph theoretic
expressive power
semantic network
concept lattice
formal concept analysis
databases
data mining
genetic programming
partial order
preference relations