About Me
I am a Postdoctoral researcher at Linköping University, Sweden, where I work on symbolic methods for automated planning in the Machine Reasoning Lab.
Short bio
I obtained a PhD in Computer Science at IRIT, France, in November 2024, under the supervision of Prof. Martin C. Cooper. My thesis focusd on theoretical and practical aspects of extracting knowledge from automated planning models, without actually solving the planning problem. Before pursuing a PhD, I studied computer science and applied mathematics at the Ecole Normale Supérieure de Rennes.
Publications
2024
Arnaud Lequen, Martin C. Cooper and Frédéric Maris.
Homomorphisms and Embeddings of STRIPS Planning Models.
Computational Intelligence 40. 2024.
paper | citationArnaud Lequen.
Learning Interpretable Classifiers for PDDL Planning.
In Proceedings of the 27th European Conference on Artificial Intelligence (ECAI 2024), pp. 4140–4147. 2024.
paper | slides | code | citation
2023
Thomas Bolander and Arnaud Lequen.
Parameterized Complexity of Dynamic Belief Updates: A Complete Map.
Journal of Logic and Computation 33, pp. 1270–1300. 2023.
paper | citation
2022
Martin C. Cooper, Arnaud Lequen and Frédéric Maris.
Isomorphisms Between STRIPS Problems and Sub-Problems.
In Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, pp. 13:1–13:16. 2022.
paper | slides | citation
2020
Thomas Bolander and Arnaud Lequen.
Parameterized Complexity of Dynamic Belief Updates.
In Proceedings of Dynamic Logic: New Trends and Applications (DaLí), Revised Selected Papers, pp. 87–102. 2020.
paper | slides | citation