Clause-Diffusion; in this context we describe the associated notion of distributed fair- ness of a derivation and propose solutions to the problems involved ...

May 27, 2005 · 'On fairness in distributed automated deduction' published in 'STACS 93'

This article addresses the deduction problem of a formula from a countable theory in the first-order Gödel logic. We generalise the well-known ...

Abstract. We present a new approach to distributed automated deduction and in this context we propose solutions to the problem of distributed uniform ...

May 6, 2021 · Once decision-makers defined a justified distribution rule, we need to formalize fairness metrics that detect deviations between the world ...

We have observed that the uncontrolled application of subsumption in a distributed data base may violate the fairness and the monotonicity of distributed ...

In this paper, we investigate the possibility that beliefs about fairness and inequality interact with past experience of a labor market shock to amplify ...

Oct 12, 2023 · This article focuses on the conditions for horizontal fairness among individuals affected by automated decisions based on learning algorithms.

Aug 21, 2024 · There are three main types of fairness: weak, strong, and unconditional. Each type plays a specific role in modeling different aspects of ...

Mar 10, 2022 · Group fairness criteria are typically expressed as conditional independence statements among the relevant variables in the problem. There are ...