Dr Joan Espasa Arxer

Dr Joan Espasa Arxer

Lecturer

Researcher profile

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

Selected publications

  • 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

  • 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 conferencePaperpeer-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 proceedingConference 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 proceedingConference 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 paperPreprint

  • 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 proceedingConference contribution

  • Open access

    Relaxing non-interference requirements in parallel plans

    Bofill, M., Espasa, J. & Villaret, M., 1 Aug 2019, (E-pub ahead of print) In: Logic Journal of the IGPL. 29, 1, p. 45–71 27 p.

    Research output: Contribution to journalArticlepeer-review

  • Towards Lifted Encodings for Numeric Planning in Essence Prime

    Espasa Arxer, J., Miguel, I. J., Villaret, M. & Coll, J., 30 Sep 2019.

    Research output: Contribution to conferencePaperpeer-review

 

See more publications