Publications of Hans van Ditmarsch
This is a selection of all my publications
2011
- Hans van Ditmarsch and Tim French, On the dynamics of awareness and certainty. In: D. Wang and M. Reynolds, Proceedings of 24th Australasian Joint Conference on Artificial Intelligence (AI 11), LNAI 7106, pages 727-738, Springer, 2011.
- Hans van Ditmarsch and Fernando Soler-Toscano, Three Steps. In: J. Leite, P. Torroni, T. Agotnes, G. Boella, and L. van der Torre (editors), Computational Logic in Multi-Agent Systems (Proceedings of CLIMA XII), LNCS 6814, pages 41-57, Springer, 2011.
- Hans van Ditmarsch, David Fernandez Duque, and Wiebe van der Hoek, On the definability of simulability and bisimilarity by finite epistemic models. In: J. Leite, P. Torroni, T. Agotnes, G. Boella, and L. van der Torre (editors), Computational Logic in Multi-Agent Systems (Proceedings of CLIMA XII), LNCS 6814, pages 74-87, Springer, 2011.
- Hans van Ditmarsch, Tiago de Lima and Emiliano Lorini, Intention change via local assignments. In: M. Dastani and A. El Fallah Seghrouchni and J. Hübner and J. Leite (editors), Languages, Methodologies, and Development Tools for Multi-Agent Systems - Third International Workshop, LADS 2010. Revised Selected Papers, Springer, LNAI 6822, pages 136-151, 2011.
- Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang, Hidden protocols. In: K.R. Apt (editor): Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), pages 65-74, ACM, 2011.
- Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi, Reasoning about Local Properties in Modal Logic. In: K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors), Proceedings of 10th Int. Conf. on Autonomous Agents and Multiagent
Systems (AAMAS 2011), pages 711-718, 2011.
- Hans van Ditmarsch and Tim French, Becoming aware of propositional variables . In: M. Banerjee and A. Seth (editors): ICLA 2011, LNAI 6521, pages 204-218, Springer, 2011.
- Thomas Agotnes and Hans van Ditmarsch, What will they say? - Public announcement games . Knowledge, Rationality & Action (Synthese) 179(supplement-1): 57-85, 2011.
- Hans van Ditmarsch and Andreas Herzig and Tiago de Lima, From Situation Calculus to Dynamic Epistemic Logic. Journal of Logic and Computation 21(2): 179-204, 2011. Published online in 2010.
2010
- Hans van Ditmarsch, Jan van Eijck, and William Wu, Verifying one hundred prisoners and a lightbulb , Journal of Applied Non-classical logics 20(3): 173-191, 2010.
- Hans van Ditmarsch, Tim French, and Sophie Pinchinat Future Event Logic - axioms and complexity . In: L. Beklemishev, V. Goranko and V. Shehtman, Advances in Modal Logic, Volume 8, pages 77-99. College Publications, 2010.
- Hans van Ditmarsch, Jan van Eijck, and William Wu, One hundred prisoners and a lightbulb - logic and computation . In: F. Lin and U. Sattler and M. Truszczynski (editors), Proceedings of KR (Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference), AAAI Press, 2010.
- P. Balbiani, H.P. van Ditmarsch, A. Herzig, T. de Lima, Tableaux for public announcement logic , Journal of Logic and Computation 20(1): 55-76, 2010. Special issue TABLEAUX 2007. Published online in 2008.
- Thomas Agotnes, Philippe Balbiani, Hans van Ditmarsch, and Pablo Seban, Group announcement logic . Journal of Applied Logic 8: 62-81, 2010. Published online in July 2009.
2009
- Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig and John-Jules Ch. Meyer, Intentions and Assignments . In: Xiangdong He, John F. Horty and Eric Pacuit (editors), Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China. LNCS 5834, pages 198-211, Springer, 2009.
- Hans van Ditmarsch and Tim French, Awareness and forgetting of facts and agents . In: P. Boldi and G. Vizzari and G. Pasi and R. Baeza-Yates, Proceedings of WI-IAT Workshops 2009, pages 478-483, IEEE Press, 2009. (Workshop WLIAMAS.)
- Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Knowing more - from global to local correspondence . In: C. Boutilier (editor), Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California, USA, pages 955-960, 2009.
- H.P. van Ditmarsch and T. French, Simulation and information. In: J. Broersen and J.-J. Meyer, Knowledge Representation for Agents and Multi-Agent Systems (Proceedings of KRAMAS 2008, Sydney, Australia) , pages 51-65. LNAI 5605, Springer, 2009.
- Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie , Academic Service, Sdu Uitgevers, Den Haag, NL, 2009.
- H. van Ditmarsch, A. Herzig, J. Lang, and P. Marquis, Introspective forgetting . Synthese (Knowledge, Rationality & Action) 169(2):405-423, 2009.
- Mike Atkinson, Hans van Ditmarsch, and Sigrid Roehling, Avoiding bias in cards cryptography , Australasian Journal of Combinatorics 44:3-17, 2009.
2008
- A. Baltag, H.P. van Ditmarsch, L.S. Moss, Epistemic logic and Information Update . In: P. Adriaans & J.F.A.K. van Benthem, Handbook on the Philosophy of Information , pages 361-456, Elsevier Science Publishers, 2008.
- H. van Ditmarsch, A. Herzig, J. Lang, and P. Marquis, Introspective forgetting . In: W.R. Wobcke and M. Zhang (editors), AI 2008: Advances in Artificial Intelligence, pages 18-29. LNAI 5360, Springer, 2008.
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, 'Knowable' as 'known after an announcement' . Review of Symbolic Logic, volume 1, number 3, pages 305-334, 2008.
- T. French and H.P. van Ditmarsch, Undecidability for Arbitrary Public Announcement Logic. In: C. Areces and R. Goldblatt (editors), Proceedings of the seventh conference 'Advances in Modal Logic', pages 23-42. College Publications, London, 2008.
- Thomas Agotnes and Hans van Ditmarsch, Coalitions and Announcements . In: L. Padgham and D.C. Parkes and J. Müller and S. Parsons (editors), Proceedings of the Seventh International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008), pages 673-680, IFAAMAS, 2008.
- Hans van Ditmarsch and Barteld Kooi, Semantic Results for Ontic and Epistemic Change . In: G. Bonanno, W. van der Hoek, and M. Wooldridge (editors), Logic and the Foundations of Game and Decision Theory (LOFT 7), pages 87-117. Texts in Logic and Games, Amsterdam University Press, 2008.
- Hans van Ditmarsch, Logical fragments in Ibn Khaldun's Muqaddimah . In: S. Rahman, T. Street, H. Tahiri (editors), The Unity of Science in the Arabic Tradition, pages 281-294. Logic, Epistemology, and the Unity of Science, Volume 11, Springer, 2008.
2007
- H.P. van Ditmarsch, J. Ruan, L.C. Verbrugge, Sum and Product in Dynamic Epistemic Logic . Journal of Logic and Computation 18(4): 563-588, 2007.
- Hans van Ditmarsch, Andreas Herzig, Tiago de Lima, Optimal regression for reasoning about knowledge and actions . In: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, pages 1070-1075. AAAI Press, 2007.
- P. Balbiani, H.P. van Ditmarsch, A. Herzig, T. de Lima, A tableau method for public announcement logics . In: N. Olivetti, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), LNAI 4548, pages 43-59. Springer, 2007.
- P. Balbiani, A. Baltag, H.P. van Ditmarsch, A. Herzig, T. Hoshi, T. de Lima, What can we achieve by arbitrary announcements? - A dynamic take on Fitch's knowability . In: D. Samet, Proceedings of TARK 2007, pages 42-51. Presses Universitaires de Louvain, 2007
- H.P. van Ditmarsch, W. van der Hoek & B.P. Kooi, Dynamic Epistemic Logic . Synthese Library volume 337. Springer, 2007.
- M. H. Albert, R. E. L. Aldred, M. D. Atkinson, H. P. van Ditmarsch, C. C. Handley, D. A. Holton, D. J. McCaughan, C.W. Monteith Cyclically closed pattern classes of permutations . Australasian Journal of Combinatorics 38:87-100, 2007.
- H.P. van Ditmarsch, W.A. Labuschagne, My beliefs about your beliefs - a case study in theory of mind and epistemic logic . Synthese (Knowledge, Rationality & Action) 155:191-209, 2007.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, D.J. McCaughan, Compositions of pattern restricted sets of permutations . Australasian Journal of Combinatorics 37: 43-56, 2007.
2006
- H.P van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan, Model Checking Russian Cards . Electronic Notes in Theoretical Computer Science 149:105-123, 2006.
- H.P. van Ditmarsch, The Logic of Pit , Synthese (Knowledge, Rationality & Action) 149(2): 343-374, 2006.
- H.P. van Ditmarsch, B.P. Kooi, The secret of my success , Synthese 151:201-232, 2006.
2005
- H.P. van Ditmarsch, The case of the hidden hand . Journal of Applied Non-Classical Logics 15(4): 437-452, 2005.
- R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D.A. Holton, D.M.C. McCaughan, Permuting machines and priority queues . Theoretical Computer Science 349:309-317, 2005.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, D. A. Holton, D.J. McCaughan, Sorting classes . The Electronic Journal of Combinatorics, volume 12(1), 2005.
- Hans van Ditmarsch, Prolegomena to Dynamic Logic for Belief Revision , Knowledge, Rationality & Action (Synthese) 147:229-275 (KRA pages 41-87), 2005.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Playing cards with Hintikka . Australasian Journal of Logic 3:108-134, 2005.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Dynamic Epistemic Logic with Assignment . In: F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh, and M. Wooldridge, Proceedings of AAMAS 2005 (Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems), pages 141-148, 2005. ACM Inc New York.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Public Announcements and Belief Expansion . In: R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing, Advances in Modal Logic, volume 5, pages 335-346, 2005. King's College Publications, London.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, C.C. Handley, Safe communication for card players by combinatorial designs for two-step protocols , Australasian Journal of Combinatorics, 33:33-46, 2005.
2004
2003
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Concurrent Dynamic Epistemic Logic . In: V.F. Hendricks, K.F. Jørgensen,
S.A. Pedersen (eds.), Knowledge Contributors , 105-143. Synthese Library Series, volume 322. Kluwer Academic Publishers, 2003.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Concurrent Dynamic Epistemic Logic for MAS . In: J.S. Rosenschein, T. Sandholm, M. Wooldridge, and M. Yokoo, Proceedings of The Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), 201-208. ACM Press, New York, 2003.
- J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatica), 3rd revised edition. Pearson Education Benelux, Amsterdam, 2003.
- H.P. van Ditmarsch, The Russian Cards Problem . Studia Logica, 75:31-62, 2003.
- M.H. Albert, R.E.L. Aldred, M.D. Atkinson, H.P. van Ditmarsch, B.D. Handley, C.C. Handley, J. Opatrny, Longest subsequences in permutations . The Australasian Journal of Combinatorics, 28:225-238, 2003.
- H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi. Descriptions of game states. In: G. Mints, R. Muskens. Games, Logic, and Constructive Sets. CSLI Lecture Notes Number 161, 43-58. CSLI Publications, Stanford, 2003.
2002
- H.P. van Ditmarsch, The description of game actions in Cluedo . In: L.A. Petrosian, V.V. Mazalov (eds.), Game theory and Applications, 8:1-28. Nova Science Publishers, Hauppauge, NY, 2002.
- H.P. van Ditmarsch, Descriptions of game actions . In: Journal of Logic, Language and Information (JoLLI), 11:349-365, 2002.
- H.P. van Ditmarsch, Knowledge games . In: Bulletin of Economic Research, 53(4):249-273, 2002
2000
before 2000
- J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatici), Addison-Wesley, Amsterdam 1991.
Revised 11 January 2012