P. Maurice Dekker

I am a PhD candidate in theoretical computer science in Amsterdam. My work focuses on the intersection of multi-agent path finding (MAPF) with epistemic planning. Besides that I like computer chess, chess variants, mathematics, and reading.

Biography

• High school (2010-2016): Gemeentelijk Gymnasium Hilversum
• Bachelor of art (2016-2020): Composition at the Amsterdamse Hogeschool voor de Kunsten
• Bachelor of science (2016-2020): Mathematics at the University of Amsterdam
  • Thesis supervisors: Nick Bezhanishvili and Tommaso Moraschini
• Master of science (2020-2023): Logic at the University of Amsterdam
  • Thesis supervisor: Nick Bezhanishvili
• Doctor of science (2024-): Theoretical computer science at the University of Amsterdam
  • Thesis supervisors: Gregor Behnke and Malvin Gattinger

Publications

• Maurice Dekker and Gregor Behnke 2025. "Hardness of Chosen Length Planning Games and Regular Fixed Methods FOND HTN Planning". In Proceedings of the 35th International Conference on Automated Planning and Scheduling, pp. 45-53.
• Pascal Bachor, Maurice Dekker and Gregor Behnke 2025. "Is This Plan Necessarily Redundant? On the Computational Complexity of Unobserved Domain Learning". In Proceedings of the 35th International Conference on Automated Planning and Scheduling, pp. 11-20.
• Maurice Dekker and Gregor Behnke 2024. "Barely Decidable Fragments of Planning". In Proceedings of the 27th European Conference on Artificial Intelligence, pp. 4198-4206.
  • Erratum found by Pascal Lauer.
  • Preceded by: Maurice Dekker and Gregor Behnke 2024. "Barely Decidable Fragments of HTN Planning". In Proceedings of the 7th ICAPS Workshop on Hierarchical Planning, pp. 19-26.
• Maurice Dekker, Johannes Kloibhofer, Johannes Marti and Yde Venema 2023. "Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata". In Proceedings of the 32th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp. 242-259.
• Maurice Dekker 2023. "KD45 with Propositional Quantifiers". In Logic and Logical Philosophy, vol. 33, no. 1, pp. 27-54.
• Maurice Dekker 2023. "Polyhedral semantics of modal logic". Master thesis. Institute for Logic, Language and Computation, University of Amsterdam.

Links

• Professional:
  • My page on the website of the ILLC
  • My page on Theory.Amsterdam
  • My page on Google Scholar
  • My page on dblp.org
  • My page on orcid.org
  • My profile on GitHub
  • My page on LinkedIn
• Other:
  • A chess variant with dice
  • My profile on lichess.org
  • My profile on Twitch
  • Top Chess Engine Championship
  • Au-some
  • My channel on YouTube
  • My favorite book

Contact

• Work stuff: p.m.dekker [at] uva.nl
• Other stuff: pmauricedekker [at] gmail.com

Planning Game