research
∙
02/26/2023
Q-Cogni: An Integrated Causal Reinforcement Learning Framework
We present Q-Cogni, an algorithmically integrated causal reinforcement l...
share
research
∙
06/02/2022
Satisfiability of Quantified Boolean Announcements
Dynamic epistemic logics consider formal representations of agents' know...
research
∙
08/30/2021
Aleatoric Description Logic for Probailistic Reasoning (Long Version)
Description logics are a powerful tool for describing ontological knowle...
research
∙
06/22/2021
No Finite Model Property for Logics of Quantified Announcements
Quantification over public announcements shifts the perspective from rea...
research
∙
12/31/2018
A modal aleatoric calculus for probabilistic reasoning: extended version
We consider multi-agent systems where agents actions and beliefs are det...
research
∙
03/05/2018
Positive Announcements
Arbitrary public announcement logic (APAL) reasons about how the knowled...
research
∙
12/14/2017
Quantifying over boolean announcements
Various extensions of public announcement logic have been proposed with ...
research
∙
02/16/2012
