We present Q-Cogni, an algorithmically integrated causal reinforcement
l...
Dynamic epistemic logics consider formal representations of agents'
know...
Description logics are a powerful tool for describing ontological knowle...
Quantification over public announcements shifts the perspective from
rea...
We consider multi-agent systems where agents actions and beliefs are
det...
Arbitrary public announcement logic (APAL) reasons about how the knowled...
Various extensions of public announcement logic have been proposed with
...
In this paper we present refinement modal logic. A refinement is like a...