Support + Belief = Decision Trust
Agata Ciabattoni
Professor of Non-Classical Logics in Computer Science
Agata Ciabattoni is a full professor of non-classical logics in computer science. She is an expert in proof theory for non-classical logics and their applications in various fields. Among other things, she has been investigating proof theory for deontic logic, its applications in AI, connections to legal reasoning, and formalisation of the deontic reasoning of the Mı̄māmsā school of Indian philosophy.
Dominik Pichler
PhD Student
I am a PhD student in the Theory and Logic group at TU Wien, supervised by Agata Ciabattoni and co-supervised by Xavier Parent. I am affiliated with the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien). In my research, I am investigating the semantics and proof theory of non-classical logics with an application focus on artificial intelligence and philosophy.
Mirko Tagliaferri
PostDoc Researcher
I obtained my PhD at the University of Urbino in 2019, and then proceeded to work here as a postdoctoral fellow for five years. Since July 2025, I have had a one-year postdoctoral position at TU Wien. My work explores how formal frameworks, e.g., modal logic, can be applied as tools to understand better the decision-making process of human and AI agents. I am also an expert in computational trust models and their application to security, and I believe that trust can improve collaborations between artificial systems.