research
∙
07/08/2023
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge
The TARK conference (Theoretical Aspects of Rationality and Knowledge) i...
share
research
∙
09/12/2022
Empirically grounded agent-based policy evaluation of the adoption of sustainable lighting under the European Ecodesign Directive
Twelve years ago, the European Union began with the gradual phase-out of...
research
∙
02/11/2021
Zero-one laws for provability logic: Axiomatizing validity in almost all models and almost all frames
It has been shown in the late 1960s that each formula of first-order log...
research
∙
12/10/2020
Strong Admissibility for Abstract Dialectical Frameworks
Abstract dialectical frameworks (ADFs) have been introduced as a formali...
research
∙
01/12/2020
Commonly Knowingly Whether
This paper introduces `commonly knowing whether', a non-standard version...
research
∙
07/27/2017