56 citations · 56 across the 2 of their papers we have counts for
3 papers
A Simple Doxastic Deontic Logic for Norm-Guided Decision Making
Thorsten Engesser, Agata Ciabattoni
Making decisions despite conflicting norms and incomplete or unreliable information is a fundamental challenge for autonomous systems. We introduce a simple doxastic deontic logic…
Symbolic Computation of Sequential Equilibria
Moritz Graf, Thorsten Engesser, Bernhard Nebel
The sequential equilibrium is a standard solution concept for extensive-form games with imperfect information that includes an explicit representation of the players' beliefs. An a…
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination
Thorsten Engesser, Thomas Bolander, Robert Mattmüller +1
Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to…