Sign in
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