1 citations · 1 across the 3 of their papers we have counts for
3 papers
A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
Gaia Belardinelli, Thomas Bolander, Sebastian Watzl
In this work, we present the first general logic of attention. Attention is a powerful cognitive ability that allows agents to focus on potentially complex information, such as log…
Depth-Bounded Epistemic Planning
Thomas Bolander, Alessandro Burigana, Marco Montali
We propose a novel algorithm for epistemic planning based on dynamic epistemic logic (DEL). The novelty is that we limit the depth of reasoning of the planning agent to an upper bo…
Better Bounded Bisimulation Contractions (Preprint)
Thomas Bolander, Alessandro Burigana
Bisimulations are standard in modal logic and, more generally, in the theory of state-transition systems. The quotient structure of a Kripke model with respect to the bisimulation…