Hans P. van Ditmarsch Vis

*	2009
30	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Knowing More - From Global to Local Correspondence. IJCAI 2009: 955-960
29	EE	Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211
	2008
28	EE	Thomas Ågotnes, Hans P. van Ditmarsch: Coalitions and announcements. AAMAS (2) 2008: 673-680
27	EE	Tim French, Hans P. van Ditmarsch: Undecidability for arbitrary public announcement logic. Advances in Modal Logic 2008: 23-42
26	EE	Hans P. van Ditmarsch, Andreas Herzig, Jérôme Lang, Pierre Marquis: Introspective Forgetting. Australasian Conference on Artificial Intelligence 2008: 18-29
25	EE	Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008)
	2007
24		Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: Optimal Regression for Reasoning about Knowledge and Actions. AAAI 2007: 1070-
23	EE	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
22	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic Epistemic Logic and Knowledge Puzzles. ICCS 2007: 45-58
21	EE	Philippe Balbiani, Hans P. van Ditmarsch, Andreas Herzig, Tiago De Lima: A Tableau Method for Public Announcement Logics. TABLEAUX 2007: 43-59
20	EE	Philippe Balbiani, Alexandru Baltag, Hans P. van Ditmarsch, Andreas Herzig, T. Hoshi, Tiago De Lima: What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. TARK 2007: 42-51
19	EE	M. D. Atkinson, Hans P. van Ditmarsch, S. Roehling: Avoiding bias in cards cryptography CoRR abs/cs/0702097: (2007)
18	EE	Hans P. van Ditmarsch, Mara Manzano: Editorial "Tools for Teaching Logic". Logic Journal of the IGPL 15(4): 289-292 (2007)
17	EE	Hans P. van Ditmarsch, Willem Adrian Labuschagne: My beliefs about your beliefs: a case study in theory of mind and epistemic logic. Synthese 155(2): 191-209 (2007)
16	EE	Hans P. van Ditmarsch: Comments to 'logics of public communications'. Synthese 158(2): 181-187 (2007)
	2006
15	EE	Hans P. van Ditmarsch, Barteld P. Kooi: Semantic results for ontic and epistemic change CoRR abs/cs/0610093: (2006)
14	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006)
13	EE	Hans P. van Ditmarsch, Barteld P. Kooi: The Secret of My Success. Synthese 153(2): 339 (2006)
	2005
12	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Dynamic epistemic logic with assignment. AAMAS 2005: 141-148
11	EE	Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795
10	EE	Hans P. van Ditmarsch: Belief change and dynamic logic. Belief Change in Rational Agents 2005
9	EE	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. Electr. J. Comb. 12: (2005)
8		Hans P. van Ditmarsch: The case of the hidden hand. Journal of Applied Non-Classical Logics 15(4): 437-452 (2005)
7	EE	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): 309-317 (2005)
	2004
6	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Public Announcements and Belief Expansion. Advances in Modal Logic 2004: 335-346
5	EE	Hans P. van Ditmarsch: Some Game Theory of Pit. PRICAI 2004: 946-947
4	EE	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. Discrete Mathematics 287(1-3): 129-133 (2004)
	2003
3	EE	Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi: Concurrent dynamic epistemic logic for MAS. AAMAS 2003: 201-208
2	EE	Hans P. van Ditmarsch: The Russian Cards Problem. Studia Logica 75(1): 31-62 (2003)
	2002
1		Hans P. van Ditmarsch: Descriptions of Game Actions. Journal of Logic, Language and Information 11(3): 349-365 (2002)

Coauthor Index

1	Thomas Ågotnes	[28]
2	Michael H. Albert	[4] [9]
3	Robert E. L. Aldred	[4] [7] [9]
4	Mike D. Atkinson (M. D. Atkinson)	[4] [7] [9] [19]
5	Philippe Balbiani	[20] [21]
6	Alexandru Baltag	[20]
7	Mehdi Dastani	[29]
8	Tim French	[27]
9	Chris C. Handley	[4] [7] [9]
10	Andreas Herzig	[20] [21] [23] [24] [26] [29]
11	Wiebe van der Hoek	[3] [6] [12] [14] [22] [30]
12	Derek A. Holton	[4] [7] [9]
13	T. Hoshi	[20]
14	Barteld P. Kooi	[3] [6] [12] [13] [15] [22] [30]
15	Willem Adrian Labuschagne	[17]
16	Jérôme Lang	[26]
17	Tiago De Lima	[20] [21] [23] [24]
18	Emiliano Lorini	[29]
19	Mara Manzano	[18]
20	Pierre Marquis	[26]
21	D. J. McCaughan	[7] [9]
22	Ron van der Meyden	[14]
23	John-Jules Ch. Meyer	[29]
24	S. Roehling	[19]
25	Ji Ruan	[11] [14] [25]
26	Rineke Verbrugge (L. C. Verbrugge)	[11] [25]

Colors in the list of coauthors