Artificial intelligence (AI) is a key component in the field of antitrust, as it is utilized to analyze vast quantities of data with the aim of detecting indications of unjust business practices. This paper provides a comprehensive survey of the issue of algorithmic biases in computational...

We provide a respecification of an integer program characterization of Arrovian social welfare functions introduced by Sethuranam et al.(2003). By exploiting this respecification, we give a new and simpler proof of Theorem 2 in Kalai and Muller (1977).