A Mechanical Formalization of Several Fairness Notions.

David M. Goldschlag

Published in: VDM Europe (1) (1991)

Keyphrases

resource allocation
formal model
computational properties
information systems
knowledge representation
formal analysis
operational semantics
machine learning
quantum mechanics
real time
decision trees
case study
game theory
key properties
mechanical design