Dr Joan Espasa Arxer

Dr Joan Espasa Arxer

Lecturer

Researcher profile

Phone
+44 (0)1334 46 3270
Email
jea20@st-andrews.ac.uk

 

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

  • Carla Davesa Sureda
  • Mustafa Abdelwahed

Selected publications

  • Open access

    Plotting: a case study in lifted planning with constraints

    Espasa, J., Miguel, I. J., Nightingale, P., Salamon, A. Z. & Villaret, M., 13 Sept 2024, (E-pub ahead of print) In: Constraints. First online, 40 p.

    Research output: Contribution to journalArticlepeer-review

  • Open access

    The 2023 International Planning Competition

    Taitler, A., Alford, R., Espasa, J., Behnke, G., Fišer, D., Gimelfarb, M., Pommerening, F., Sanner, S., Scala, E., Schreiber, D., Segovia‐Aguas, J. & Seipp, J., 18 Jun 2024, In: AI Magazine. 45, 2, p. 280-296 17 p.

    Research output: Contribution to journalArticlepeer-review

  • Towards High-Level Modelling in Automated Planning

    Sureda, C. D., Arxer, J. E., Miguel, I. & Auselle, M. V., 2 Sept 2024, In: ArXiv e-prints.

    Research output: Contribution to journalArticlepeer-review

  • Towards Understanding Differences Between Modelling Pipelines: a Modelers Perspective

    Balogh, C., Hoffmann, R. & Espasa Arxer, J., 2 Sept 2024.

    Research output: Contribution to conferencePaperpeer-review

  • 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 conferencePaperpeer-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 conferencePaperpeer-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 conferencePaperpeer-review

  • Towards Automatic Design of Factorio Blueprints

    Patterson, S., Espasa Arxer, J., Chang, M. S. & Hoffmann, R., 27 Aug 2023.

    Research output: Contribution to conferencePaperpeer-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 proceedingConference 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 proceedingConference contribution

 

See more publications