Mathijs de Boer
former PhD Student
My email address @uni.lu is no longer valid, please contact me at msdeboer@gmail.com
Interdisciplinary Lab for Intelligent and Adaptive Systems (ILIAS)
Computer Science and Communications Research Unit (CSC)
Campus Kirchberg, University of Luxembourg (uni.lu)
Agenda
Private and work related events of significance are often listed here.
(You don't have access to the agenda. Learn more.)
Teaching
Teaching assistant Mathematics for Computer Science 2007, 2008, Intelligent Systems: Agents and Reasoning 2010, 2007, Selected Topics in Artificial Intelligence 2008, 2009, Discrete Mathematics 2 2009.
Research
At the University of Luxembourg I worked on logical dynamics of trust in multi-agent systems as a PhD student of Leon van der Torre. As a Master's student of Rineke Verbrugge and Barteld Kooi at the University of Groningen I worked on dynamic epistemic logic, tableau methods and automated theorem proving.
writing
- Mathijs S. de Boer, Dov M. Gabbay, Xavier Parent, and Marija Slavkovik. Two dimensional standard deontic logic. Synthese, 2011.
- Mathijs S. de Boer, Andreas Herzig, Tiago de Lima, and Emiliano Lorini. Tableaux for acceptance logic. In M. Baldoni, J. Bentahar, M. B. van Riemsdijk, and J. Lloyd, editors, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Revised, Selected and Invited Papers, LNAI 5948, pages 85–100. Springer-Verlag, 2010.
- Mathijs S. de Boer. KE Tableaux for Public Announcement Logic. In Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), pages 53–64, Durham, UK, 2007.
- Mathijs S. de Boer. Praktische bewijzen in public announcement logica (Practical proofs in public announcement logic). Master's thesis, Department of Artificial Intelligence, University of Groningen, 2006. In Dutch.
talks
- Mathijs S. de Boer and Emil Weydert. Elementary Trust Dynamics in Ranking Revision. At Dagstuhl Seminar Information processing, rational belief change and social interaction (09351), August 2009.
- Mathijs S. de Boer and Emil Weydert. Changing Attitudes about Attitude Change. At Logic of change, change of logic Prague International Colloquium. September 2008.
