Hans P. van Ditmarsch

Publication Activity (10 Years)

Years Active: 2002-2009
Publications (10 Years): 0

Publications

Mike D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling
Avoiding bias in cards cryptography. Australas. J Comb. 44 (2009)
Hans P. van Ditmarsch, Tim French
Simulation and Information: Quantifying over Epistemic Events. KRAMAS (2008)
Tim French, Hans P. van Ditmarsch
Undecidability for arbitrary public announcement logic. Advances in Modal Logic (2008)
Thomas Ågotnes, Hans P. van Ditmarsch
Coalitions and announcements. AAMAS (2) (2008)
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18 (4) (2008)
Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis
Introspective Forgetting. Australasian Conference on Artificial Intelligence (2008)
Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
A Tableau Method for Public Announcement Logics. TABLEAUX (2007)
Hans P. van Ditmarsch
Comments to 'logics of public communications'. Synth. 158 (2) (2007)
M. D. Atkinson, Hans P. van Ditmarsch, Sigrid Roehling
Avoiding bias in cards cryptography CoRR (2007)
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan
Compositions of pattern restricted sets of permutations. Australas. J Comb. 37 (2007)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Dynamic Epistemic Logic and Knowledge Puzzles. ICCS (2007)
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan, C. W. Monteith
Cyclically closed pattern classes of permutations. Australas. J Comb. 38 (2007)
Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions. Formal Models of Belief Change in Rational Agents (2007)
Hans P. van Ditmarsch, Andreas Herzig
Foreword. J. Appl. Non Class. Logics 17 (2) (2007)
Hans P. van Ditmarsch, María Manzano
Editorial "Tools for Teaching Logic". Log. J. IGPL 15 (4) (2007)
Hans P. van Ditmarsch, Willem Adrian Labuschagne
My beliefs about your beliefs: a case study in theory of mind and epistemic logic. Synth. 155 (2) (2007)
Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK (2007)
Hans P. van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions. AAAI (2007)
Hans P. van Ditmarsch, Barteld P. Kooi
Semantic results for ontic and epistemic change CoRR (2006)
Hans P. van Ditmarsch, Barteld P. Kooi
The Secret of My Success. Synth. 153 (2) (2006)
Hans P. van Ditmarsch, Barteld P. Kooi
The Secret of My Success. Synth. 151 (2) (2006)
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
Model Checking Russian Cards. Electron. Notes Theor. Comput. Sci. 149 (2) (2006)
Hans P. van Ditmarsch
The Logic of Pit. Synth. 149 (2) (2006)
Hans P. van Ditmarsch
Prolegomena to Dynamic Logic for Belief Revision. Synth. 147 (2) (2005)
Hans P. van Ditmarsch
Belief change and dynamic logic. Belief Change in Rational Agents (2005)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Dynamic epistemic logic with assignment. AAMAS (2005)
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley
Safe communication for card players by combinatorial designs for two-step protocols. Australas. J Comb. 33 (2005)
Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
Model Checking Sum and Product. Australian Conference on Artificial Intelligence (2005)
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Chris C. Handley, Derek A. Holton, D. J. McCaughan, Hans P. van Ditmarsch
Sorting Classes. Electron. J. Comb. 12 (2005)
Hans P. van Ditmarsch
The case of the hidden hand. J. Appl. Non Class. Logics 15 (4) (2005)
Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton, D. J. McCaughan
Permuting machines and priority queues. Theor. Comput. Sci. 349 (3) (2005)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Public Announcements and Belief Expansion. Advances in Modal Logic (2004)
Hans P. van Ditmarsch
Some Game Theory of Pit. PRICAI (2004)
Michael H. Albert, Robert E. L. Aldred, Mike D. Atkinson, Hans P. van Ditmarsch, Chris C. Handley, Derek A. Holton
Restricted permutations and queue jumping. Discret. Math. 287 (1-3) (2004)
Michael H. Albert, Robert E. L. Aldred, Michael D. Atkinson, Hans P. van Ditmarsch, B. D. Handley, Chris C. Handley, Jaroslav Opatrny
Longest subsequences in permutations. Australas. J Comb. 28 (2003)
Hans P. van Ditmarsch
The Russian Cards Problem. Stud Logica 75 (1) (2003)
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi
Concurrent dynamic epistemic logic for MAS. AAMAS (2003)
Hans P. van Ditmarsch
Descriptions of Game Actions. J. Log. Lang. Inf. 11 (3) (2002)