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

  • 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

 

See more publications