Capita Selecta Artificial Intelligence and Cognitive Science,
Semester II b of the year 2010-2011, together with Sujata Ghosh and Jakub Szymanik.
This year, the course was based on fourth edition of the book Games and Information: An Introduction to Game Theory by E. Rasmusen.

Multi-agent Systems. I teach this subject every year, in the past a few years together with Elske van der Vaart and later together with Barteld Kooi. We use the book Epistemic Logic for AI and Computer Science by John-Jules Meyer and Wiebe van der Hoek. 

The permanent page for the course is http://www.ai.rug.nl/mas/
Each year, particpants have access to current information about the course by logging in through Nestor.

Advanced Logic. I teach this subject every year, mainly to second and third year Bachelor students of Mathematics and Artificial Intelligence. We use the book Introduction to Non-Classical Logic: From Ifs to Is by Graham Priest.

Introduction to Logic. I teach this subject every year, mainly to first year Bachelor students of Mathematics and Artificial Intelligence. We use the book Language, Proof and Logic by Jon Barwise, John Etchemendy and colleagues.

Games, Action and Social Software. Introductory PhD Course at ESSLLI 2009 in Toulouse, taught together with Jan van Eijck.
Slides and other information for the course: http://homepages.cwi.nl/~jve/courses/esslli09/

We used the book Discourses on Social Software edited by Jan van Eijck and Rineke Verbrugge.