AI systems are not intrinsically neutral and biases trickle in any type ...
The extensive deployment of probabilistic algorithms has radically chang...
In this paper we present the probabilistic typed natural deduction calcu...
In recent years probabilistic model checking has become an important are...