Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach.

Alexander Bolotov Montserrat Hermo Paqui Lucio

Published in: TIME (2018)

Keyphrases

tree structure
description logics
b tree
resource allocation
artificial intelligence
data structure
query processing
tree construction
tree models
neural network
decision trees
search algorithm
evolutionary algorithm
multi dimensional
game theory
binary tree