A Decision Procedure for Sets, Binary Relations and Partial Functions.

Maximiliano Cristiá Gianfranco Rossi

Published in: CAV (1) (2016)

Keyphrases

binary relations
transitive closure
inference rules
graph theoretic
decision making
decision rules
semantic network
concept lattice
formal concept analysis
decision makers
partial order
knowledge discovery