A Certified Decision Procedure for Tree Shares.

Xuan Bach Le Thanh-Toan Nguyen Wei-Ngan Chin Aquinas Hobor

Published in: ICFEM (2017)

Keyphrases

tree structure
decision making
decision makers
decision rules
binary tree
database
information systems
training data
decision model
tree search
pruning algorithm
tree construction
internal nodes