Teaching
- CS4402 - Constraint Programming
- CS4303 - Videogames
I also supervise projects at a variety of levels across our school.
Research areas
I am a Lecturer in the AI group. My main research focus lies in Automated Planning, which is a central discipline of Artificial Intelligence. This area studies decision-making in a given environment to reach or optimise a goal. These problems are ubiquitous in industry and science, where they appear in logistics, chemistry or even network security, just to name a few. More concretely, my published work mainly lies in the intersection of Automated Planning, Constraint Satisfaction, Reformulation and applications of logic in computer science.
PhD supervision
- Mustafa Abdelwahed
- Carla Davesa Sureda
Selected publications
-
Open access
A good snowman is hard to plan
Bofill, M., Borralleras, C., Espasa Arxer, J., Martín, G. & Patow, G., 9 Jul 2023. 9 p.Research output: Contribution to conference › Paper › peer-review
-
Open access
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning
Abdelwahed, M., Espasa Arxer, J., Toniolo, A. & Gent, I. P., 10 Jul 2023.Research output: Contribution to conference › Paper › peer-review
-
Open access
Challenges in Modelling and Solving Plotting with PDDL
Espasa Arxer, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 9 Jul 2023.Research output: Contribution to conference › Paper › peer-review
-
Open access
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Plotting: a planning problem with complex transitions
Espasa Arxer, J., Miguel, I. J. & Villaret, M., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A preliminary Case Study of Planning With Complex Transitions: Plotting
Espasa Arxer, J., Miguel, I. J., Coll, J. & Villaret, M., 25 Oct 2021.Research output: Contribution to conference › Paper › peer-review
-
Open access
Exploring lifted planning encodings in Essence Prime
Espasa, J., Coll, J., Miguel, I. & Villaret, M., 14 Oct 2021, Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence. Villaret, M., Alsinet, T., Fernández, C. & Valls, A. (eds.). IOS Press, p. 66-75 (Frontiers in Artificial Intelligence and Applications; vol. 339).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Towards generic explanations for pen and paper puzzles with MUSes
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Open access
Using small MUSes to explain how to solve pen and paper puzzles
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C. & Lynch, A. M., 30 Apr 2021.Research output: Working paper › Preprint
-
Open access
Effective encodings of constraint programming models to SMT
Davidson, E., Akgun, O., Espasa Arxer, J. & Nightingale, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Simonis, H. (ed.). Springer, p. 143-159 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 12333 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution