3 papers
cs.AI2026
Whistleblowing and the machine -- towards a considered position
Marija Slavkovik, Liuwen Yu, Leon van der Torre +1
Artificial intelligent agents and autonomous systems are embedded in our environments. They are both a commercial product and a personal tool that generates a lot of data and can d…
cs.CY2026
Understanding Privacy by Formalizing It
Réka Markovich, Truls Pedersen, Marija Slavkovik
In most of the modern societies, there is a broad consensus regarding the need for promoting privacy and thus placing restrictions on technological-including AI-developments to pro…
cs.AI2021
Towards AI Logic for Social Reasoning
Huimin Dong, Réka Markovich, Leendert van der Torre
Artificial Intelligence (AI) logic formalizes the reasoning of intelligent agents. In this paper, we discuss how an argumentation-based AI logic could be used also to formalize imp…