Group Fairness Is Not Derivable From Justice: a Mathematical Proof.

Nicolò Cangiotti Michele Loi

Published in: CoRR (2022)

Keyphrases

mathematical proofs
mathematical knowledge
cooperative
theorem proving
group members
envy freeness
real world
data mining
computer vision
information systems
resource allocation
theorem prover
interactive theorem proving