research
∙
07/21/2023
Providing personalized Explanations: a Conversational Approach
The increasing applications of AI systems require personalized explanati...
share
research
∙
06/02/2023
The logic of temporal domination
In this short note, we are concerned with the fairness condition "A and ...
research
∙
09/02/2021
A logic of interactive proofs
We introduce the probabilistic two-agent justification logic IPJ, a logi...
research
∙
08/10/2021
Explicit non-normal modal logic
Faroldi argues that deontic modals are hyperintensional and thus traditi...
research
∙
05/28/2020
No-Go Theorems for Data Privacy
Controlled query evaluation (CQE) is an approach to guarantee data priva...
research
∙
09/21/2016