Iris van de Pol | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Ronald de Haan
14 publications
Jakub Szymanik
3 publications
Iris van Rooij
2 publications

research

∙ 05/24/2018

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Dynamic epistemic logic (DEL) is a logical framework for representing an...

0 Ronald de Haan, et al. ∙

research

∙ 06/24/2016

Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic

In this paper we introduce a computational-level model of theory of mind...

0 Iris van de Pol, et al. ∙