Iris van de Pol

According to our database, Iris van de Pol authored at least 6 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

Ronald de Haan, Iris van de Pol

FLAP, 2021

Quantifiers satisfying semantic universals are simpler.

Iris van de Pol, Paul Lodder, Leendert van Maanen, Shane Steinert-Threlkeld, Jakub Szymanik

Proceedings of the 43rd Annual Meeting of the Cognitive Science Society, 2021

2019

Complexity and learnability in the explanation of semantic universals of quantifiers.

Iris van de Pol, Shane Steinert-Threlkeld, Jakub Szymanik

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, 2019

2018

Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic.

Iris van de Pol, Iris van Rooij, Jakub Szymanik

J. Log. Lang. Inf., 2018

Predicting Cognitive Difficulty of the Deductive Mastermind Game with Dynamic Epistemic Logic Models.

Bonan Zhao, Iris van de Pol, Maartje E. J. Raijmakers, Jakub Szymanik

Proceedings of the 40th Annual Meeting of the Cognitive Science Society, 2018

2015

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

Iris van de Pol, Iris van Rooij, Jakub Szymanik

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015