6 papers
The AR Fairness Metamodel: A Structured Framework for Fairness Measures
Julian Alfredo Mendez, Timotheus Kampik
This paper presents the AR fairness metamodel, a framework designed to represent, analyze, and compare different fairness scenarios. The metamodel considers key elements, such as a…
Composable Verification Pipelines for Multi-Agent Systems
Julian Alfredo Mendez, Andreas Brännström
Existing approaches for reasoning about action and change provide expressive semantics for modeling dynamic systems, in most cases built on top of logic programming systems. We int…
Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
Arunavo Ganguly, Julian Alfredo Mendez, Timotheus Kampik
We introduce notions of safety, liveness, and fairness, as commonly used in temporal reasoning and distributed systems, to quantitative (bipolar) argumentation dialogues where repe…
Specification, Application, and Operationalization of a Metamodel of Fairness
Julian Alfredo Mendez, Timotheus Kampik
This paper presents the AR fairness metamodel, aimed at formally representing, analyzing, and comparing fairness scenarios. The metamodel provides an abstract representation of fai…
Can Proof Assistants Verify Multi-Agent Systems?
Julian Alfredo Mendez, Timotheus Kampik
This paper presents the Soda language for verifying multi-agent systems. Soda is a high-level functional and object-oriented language that supports the compilation of its code not…
ACROCPoLis: A Descriptive Framework for Making Sense of Fairness
Andrea Aler Tubella, Dimitri Coelho Mollo, Adam Dahlgren Lindström +8
Fairness is central to the ethical and responsible development and use of AI systems, with a large number of frameworks and formal notions of algorithmic fairness being available.…