Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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…
cs.AI2025
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…