Teaching record of Hans van Ditmarsch

phd students / exam committees / postgraduate courses and tutorials / master students / undergraduate students projects / course development / undergraduate courses

Postgraduate

PhD students

Guillaume Aucher, Perspectives on belief and change, University of Otago & Université Paul Sabatier, supervised with Andreas Herzig, IRIT, July 2008
Tiago de Lima, Optimal Methods for Reasoning about Actions and Plans in Multi-Agent Systems, Université Paul Sabatier, supervised with Andreas Herzig, IRIT, October 2007.
Pablo Seban , Université Paul Sabatier; supervised with Philippe Balbiani, Who May Say What? Thoughts on Objectivity, Group Ability, and Permission in Dynamic Epistemic Logic, 20 June 2011.
Stefan Minica , Dynamic Logic of Questions; with Johan van Benthem (main supervisor), University of Amsterdam, and Jan van Eijck (co-supervisor), CWI / University of Utrecht, December 2011.
Ignácio Hernández Anton, Universidad de Sevilla. (ongoing)

Exam committees

The difference between external examiner and defence committee member is often vague, and varies between countries.

External examiner

David Friggens, MSc, Victoria University of Wellington, supervisor Rob Goldblatt, 2004
Floris Roelofsen, Master of Logic, University of Amsterdam, supervisor Johan van Benthem, 2005
Pietro Abate, PhD, Australian National University, supervisor Rajeev Goré, 2007
Swen Huebner, MSc, University of Otago, supervisor Willem Labuschagne, 2009
Penelope Economou, PhD, Oxford University, supervisor Alexandru Baltag, May 2010
Yanjing Wang, PhD, University of Amsterdam, supervisor Jan van Eijck, September 2010
Fernando Velazquez Quesada, PhD, University of Amsterdam, supervisor Johan van Benthem, February 2011
Emilio Gomez-Caminero, PhD, Universidad de Sevilla, supervisor Angel Nepomuceno, June 2011
Israel Fausto Martinez, PhD, Universidad de Sevilla, supervisor Carmen Hernandez, November 2011

Defence committee member

Barteld Kooi, PhD, University of Groningen, supervisors Gerard Renardel and Rineke Verbrugge, 2004
Noël Laverny, PhD, Université Paul Sabatier, supervisor Jérôme Lang, 2006
Wouter Teepe, PhD, University of Groningen, supervisor Rineke Verbrugge, 2007
Benoit Gaudou, PhD, Université Paul Sabatier, supervisor Andreas Herzig, 2008
Masabumi Furuhata, PhD, Université Paul Sabatier, supervisors Andreas Herzig (via Laurent Perrussel) and Dongmo Zhang, 2009
Francois Schwarzentruber, PhD, Université Paul Sabatier, supervisor Olivier Gasquet, 1 December 2010

Postgraduate courses and tutorials

Dynamic Epistemic Logic , ESSLLI 2010, Kopenhagen
Dynamic Epistemic Logic , NASSLLI 2010, Bloomington
Dynamic epistemic logic and belief revision , Indian School on Logic and its Applications, Hyderabad, January 2010
Dynamic epistemic logic , introductory course, ESSLLI 2008, Hamburg
Dynamic epistemic logic , advanced course, ESSLLI 2005, Edinburgh
Specifying knowledge and belief change in multi-agent systems , tutorial T12, AAMAS 2005, Utrecht
Specifying knowledge in multi-agent systems , PRICAI, August 2004, Auckland
Knowledge representation II , NICTA / ANU Logic and Automated Reasoning Summer School, December 2003, Canberra
Epistemic logic and multi-agent systems , introductory course, ESSLLI 2003, Vienna
Dynamic epistemic logic , advanced course, ESSLLI 2003, Vienna

Master students

Robbert van Dam, University of Groningen, Feasibility study of knowledge systems for use at IB Bank product group TSL (Kennistechnologie bij de produktgroep TSL, een heroverweging), supervised with Ben Spaanenburg, 1995.
Richard Doornbos, University of Groningen, An ITIL conform helpdesk support system (An ITIL-conform helpdesk ondersteunend systeem), supervised with Reinier van Oosten, Hanzehogeschool, 1998.
Jeroen Kruse, University of Groningen, Comparison of Knowledge Systems development tools (Ontwikkelomgevingen voor kennissystemen, een vergelijking), 1998.
Rens Kortmann, University of Groningen, Evolving phonotaxis in a robot cricket - an investigation in bio-robotics , supervised with John Hallam, Edinburgh University, 1998.
Guillaume Aucher, Master of Logic, University of Amsterdam, A combined system for update logic and belief revision , supervised with Johan van Benthem, University of Amsterdam, 2003.

Undergraduate

Undergraduate students (projects)

Feng Chen, University of Otago; Model checking of knowledge , 2005.
Takahiro Ito, University of Otago; Game theory of Pit , 2004.
Matthew Jenkin, University of Otago; Logical dynamics of the Memory game , 2002.
Jan Misker, Freek Stulp; University of Groningen; Wumpus world , 1998.
Berco Beute, Arjen van Staalduinen, Theo de Vries, Michiel Dirriwachter; University of Groningen; Cluedo , 1998.

Course development

Items 1-8 resulted from employment at the Open University of the Netherlands (1989-1994).

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.

H.P. van Ditmarsch, J. Ketting, J.S. Lodder, Logic (Logica), Open University, Heerlen 1991.

H.J. Sint, H.P. van Ditmarsch, A. Hiemstra, Knowledge-based systems (Kennissystemen), Open University, Heerlen 1992.

F.J. Wester, H.P. van Ditmarsch, H. Koppelman, Logic programming (Logisch programmeren), Open University, Heerlen 1993.

H.P. van Ditmarsch, W. van der Hoek, C. Jonker, J. Ketting, J.S. Lodder, M. de Rijke, Logic and Computer Science (Logica en informatica), Open University, Heerlen 1993.

J.F.A.K. van Benthem, H. P. van Ditmarsch, J. Ketting, W.P.M. Meyer-Viol, Logic for computer science (Logica voor informatici), 2nd edition, Addison-Wesley, Amsterdam 1994.

H.J. Sint, H.P. van Ditmarsch, A. Hiemstra, W. Jansweijer, H. Trimp, Knowledge-based systems 2 (Kennissystemen 2), Open University, Heerlen 1994.

G. Zwaneveld, H.P. van Ditmarsch, H.J. Pootjes, project Machine learning (Specialisatieproject Machinaal leren), Open University, Heerlen 1996.

E.M. van de Vrie et al., Introduction to Knowledge Systems (Materials additional to: Mark Stefik, Knowledge systems ), BOK project 1999.

W. van der Hoek et al., Logic for Artificial Intelligence (Materials additional to: J.-Ch. Meyer & W. van der Hoek, Epistemic Logic for AI and Computer Science ), BOK project 1999.

H.P. van Ditmarsch, Course notes Logic programming (Materials additional to: L. Sterling & E. Shapiro, The Art of Prolog ), BOK project 1999.

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 informatici), 3rd edition, Pearson Education, Amsterdam 2003.

H.P. van Ditmarsch & W. van der Hoek & B.P. Kooi, Dynamic Epistemic Logic , Synthese Library Volume 337, Springer, 2007.

Johan van Benthem, Hans van Ditmarsch, and Jan van Eijck, Logica in Actie (in Dutch), Academic Service 2009
Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, and Jan Jaspars, Logic in Action , 2009-2011

Undergraduate courses given

The overview includes master level courses.

Courses given (legend below table)
course name program univ. material # students co-teachers acad.year

Logic CompSci UvA 1 60 Johan van Benthem 93-94
Logic CogSci RuG 6 70 - 94-95
Logic programming CogSci RuG 6 + 5 15 - 95-96
Applied logic CompSci RuG 6 + 5 25 - 94-95
Advanced logic CogSci RuG 6 + 5 15 Erik Krabbe 94-95
Cognitive Engineering CogSci RuG 7 15 - 94-95
Logic CogSci RuG 6 + 2 25 - 95-96
Knowledge Acquisition SWI, CogSci RuG reader + 3 30 Ellen Timminga 95-96
Logic programming CogSci RuG 6 + 5 25 - 95-96
Applied logic CompSci RuG 6 + 5 25 - 95-96
Advanced logic CogSci RuG 6 + 5 15 - 95-96
Machine learning CompSci, CogSci RuG reader + 8 15 Marc Lankhorst 95-96
Cognitive Engineering CogSci RuG 7 10 - 95-96
Logic AI, CompSci VU syllabus 110 - 95-96
Advanced logic CogSci RuG 6 + 5 20 - 96-97
Logic Programming CogSci RuG 6 + 5 20 - 96-97
Cognitive Engineering CogSci RuG 7 5 - 96-97
Artificial Intelligence SWI, CompLing, CogSci RuG AIMA 40 - 96-97
Advanced Logic CogSci RuG 6 + 2 + 5 40 Rineke Verbrugge 97-98
Artificial Intelligence SWI, CompLing, CogSci RuG AIMA 55 - 97-98
Logic programming CompSci, CompLing, CogSci RuG Art of Prolog 80 Gertjan van Noord 98-99
Advanced logic CogSci RuG 6 + 5 25 - 98-99
Logic and game theory CogSci, CompSci RuG Binmore 30 Gerard Renardel, Barteld Kooi 99-00
Automated theorem proving CompSci St Andrews Fitting 5 - 00-01
Intro. to Inf. Techn. CompSci, InfoSci Otago Beekman 860 many (Sem. 1) 02
Theory of computing CompSci Otago Sudkamp 45 Willem Labuschagne 02
Computational Linguistics CompSci Otago various 6 Ali Knott 02
Applied Logic CompSci Otago various 15 Willem Labuschagne, Richard O'Keefe 02
Intro. to Inf. Techn. CompSci, InfoSci Otago Beekman 540 many (Sem. 2) 02
Artificial Intelligence CompSci Otago Nilsson 45 Ali Knott, Simon McCallum 02
Intro. to Inf. Techn. CompSci, InfoSci Otago Beekman 740 many (Sem. 1) 03
Theory of computing CompSci Otago Sudkamp 40 Willem Labuschagne 03
Applied Logic CompSci Otago various 10 Willem Labuschagne 03
Comp. for professionals CompSci Otago various 150 Stewart Fleming, Scott King (Sem. 1) 03
Theory of computing CompSci Otago Sudkamp 30 Willem Labuschagne 04
Applied Logic CompSci Otago various 15 Willem Labuschagne 04
Artificial Intelligence CompSci Otago AIMA 75 Ali Knott 04
Applied Logic (462) CompSci Otago various 6 Willem Labuschagne 05
Artificial Intelligence (343) CompSci Otago AIMA 75 Ali Knott 05
Artificial Intelligence (451) CompSci Otago Binmore, other 25 Ali Knott 05
Applied Logic (462) CompSci Otago various 3 Willem Labuschagne 06
Artificial Intelligence (451) CompSci Otago Binmore, other 7 Ali Knott 06
Artificial Intelligence (343) CompSci Otago AIMA 40 Ali Knott 07
Distributed Information Systems (3515) CompSci Aberdeen various 50 Tim Norman 08-09
Foundations of Computing Science 2 CompSci Aberdeen Rees 50 Jim Hunter 08-09
Lógica Filosofía Sevilla - 5 Ignacio Hernandez 10-11

Legend to the table of given courses:

*Courses given (legend below table)*
course name	program	univ.	material	# students	co-teachers	acad.year
Logic	CompSci	UvA	1	60	Johan van Benthem	93-94
Logic	CogSci	RuG	6	70	-	94-95
Logic programming	CogSci	RuG	6 + 5	15	-	95-96
Applied logic	CompSci	RuG	6 + 5	25	-	94-95
Advanced logic	CogSci	RuG	6 + 5	15	Erik Krabbe	94-95
Cognitive Engineering	CogSci	RuG	7	15	-	94-95
Logic	CogSci	RuG	6 + 2	25	-	95-96
Knowledge Acquisition	SWI, CogSci	RuG	reader + 3	30	Ellen Timminga	95-96
Logic programming	CogSci	RuG	6 + 5	25	-	95-96
Applied logic	CompSci	RuG	6 + 5	25	-	95-96
Advanced logic	CogSci	RuG	6 + 5	15	-	95-96
Machine learning	CompSci, CogSci	RuG	reader + 8	15	Marc Lankhorst	95-96
Cognitive Engineering	CogSci	RuG	7	10	-	95-96
Logic	AI, CompSci	VU	syllabus	110	-	95-96
Advanced logic	CogSci	RuG	6 + 5	20	-	96-97
Logic Programming	CogSci	RuG	6 + 5	20	-	96-97
Cognitive Engineering	CogSci	RuG	7	5	-	96-97
Artificial Intelligence	SWI, CompLing, CogSci	RuG	AIMA	40	-	96-97
Advanced Logic	CogSci	RuG	6 + 2 + 5	40	Rineke Verbrugge	97-98
Artificial Intelligence	SWI, CompLing, CogSci	RuG	AIMA	55	-	97-98
Logic programming	CompSci, CompLing, CogSci	RuG	Art of Prolog	80	Gertjan van Noord	98-99
Advanced logic	CogSci	RuG	6 + 5	25	-	98-99
Logic and game theory	CogSci, CompSci	RuG	Binmore	30	Gerard Renardel, Barteld Kooi	99-00
Automated theorem proving	CompSci	St Andrews	Fitting	5	-	00-01
Intro. to Inf. Techn.	CompSci, InfoSci	Otago	Beekman	860	many	(Sem. 1) 02
Theory of computing	CompSci	Otago	Sudkamp	45	Willem Labuschagne	02
Computational Linguistics	CompSci	Otago	various	6	Ali Knott	02
Applied Logic	CompSci	Otago	various	15	Willem Labuschagne, Richard O'Keefe	02
Intro. to Inf. Techn.	CompSci, InfoSci	Otago	Beekman	540	many	(Sem. 2) 02
Artificial Intelligence	CompSci	Otago	Nilsson	45	Ali Knott, Simon McCallum	02
Intro. to Inf. Techn.	CompSci, InfoSci	Otago	Beekman	740	many	(Sem. 1) 03
Theory of computing	CompSci	Otago	Sudkamp	40	Willem Labuschagne	03
Applied Logic	CompSci	Otago	various	10	Willem Labuschagne	03
Comp. for professionals	CompSci	Otago	various	150	Stewart Fleming, Scott King	(Sem. 1) 03
Theory of computing	CompSci	Otago	Sudkamp	30	Willem Labuschagne	04
Applied Logic	CompSci	Otago	various	15	Willem Labuschagne	04
Artificial Intelligence	CompSci	Otago	AIMA	75	Ali Knott	04
Applied Logic (462)	CompSci	Otago	various	6	Willem Labuschagne	05
Artificial Intelligence (343)	CompSci	Otago	AIMA	75	Ali Knott	05
Artificial Intelligence (451)	CompSci	Otago	Binmore, other	25	Ali Knott	05
Applied Logic (462)	CompSci	Otago	various	3	Willem Labuschagne	06
Artificial Intelligence (451)	CompSci	Otago	Binmore, other	7	Ali Knott	06
Artificial Intelligence (343)	CompSci	Otago	AIMA	40	Ali Knott	07
Distributed Information Systems (3515)	CompSci	Aberdeen	various	50	Tim Norman	08-09
Foundations of Computing Science 2	CompSci	Aberdeen	Rees	50	Jim Hunter	08-09
Lógica	Filosofía	Sevilla	-	5	Ignacio Hernandez	10-11

The numbers in the column 'material' refer to the list of developed courses.
AIMA: S. Russell & P. Norvig, Artificial Intelligence; A Modern Approach
Art of Prolog: L. Sterling & E. Shapiro, The Art of Prolog
Binmore: K. Binmore, Fun and Games
Fitting: M. Fitting, First-order logic and automated theorem proving
Beekman: G. Beekman, Computer Confluence.
Sudkamp: T.A. Sudkamp, Languages and Machines.
Nilsson: Nils Nilsson, Artificial Intelligence: A New Synthesis.
CompSci : Computer Science
InfoSci : Information Sciences (Otago)
CogSci : Cognitive Science and Engineering (Technische Cognitiewetenschap)
CompLing : Computational Linguistics (Alpha-Informatica)
SWI : Social Sciences Informatics (SWI, Sociaal-wetenschappelijke Informatiekunde)
AI : Artificial Intelligence
RuG : University of Groningen
UvA : University of Amsterdam
VU : Free University of Amsterdam
St Andrews: University of St. Andrews
Otago: University of Otago
Aberdeen: University of Aberdeen
Rees: Essential Statistics (Fourth Edition), DG Rees, Chapman & Hall/CRC, 2001
Sevilla: Universidad de Sevilla

revised 12 Jan 2012