van Ditmarsch, Hans

5 publications

JAIR 2024 Boolean Observation Games Hans van Ditmarsch, Sunil Simon

IJCAI 2016 Forgetting in Multi-Agent Modal Logics Liangda Fang, Yongmei Liu, Hans van Ditmarsch

IJCAI 2013 The Complexity of One-Agent Refinement Modal Logic Laura Bozzelli, Hans van Ditmarsch, Sophie Pinchinat

IJCAI 2009 Knowing More - From Global to Local Correspondence Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi

AAAI 2007 Optimal Regression for Reasoning About Knowledge and Actions Hans van Ditmarsch, Andreas Herzig, Tiago de Lima