Research output per year
Research output per year
Personal profile
Research overview
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.
Research interests
My main research interests are, including but not limited to:
- Classical and Numeric AI Planning
- Boolean Satisfiability (SAT)
- Satisfiability Modulo Theories (SMT)
- Planning as Satisfiability
- Constraint Programming
- Scheduling
- Automated reformulation of models
- Formal Languages and their expressivity
- Applications of Logic to Computer Science
Teaching activity
- CS4402 - Constraint Programming
- CS4303 - Videogames
I also supervise projects at a variety of levels across our school.
Profile Keywords
Automated Planning, Classical Planning, Numeric Planning, Scheduling, Boolean Satisfiability, Satisfiability Modulo Theories, SAT, SMT, Planning as SAT, Constraint Programming, CP, Automated reformulation
Fingerprint
Dive into the research topics where Joan Espasa Arxer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 -
Towards Automatic Design of Factorio Blueprints
Patterson, S., Espasa Arxer, J., Chang, M. S. & Hoffmann, R., 27 Aug 2023.Research output: Contribution to conference › Paper › peer-review
-
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 AccessFile3 Citations (Scopus)22 Downloads (Pure)
Datasets
-
CP2020-SRSMT
Akgun, O. (Creator) & Espasa Arxer, J. (Creator), GitHub, 2020
https://github.com/stacs-cp/CP2020-SRSMT
Dataset: Software
-
Plotting: a planning problem with complex transitions (code)
Espasa Arxer, J. (Creator), GitHub, 2022
https://github.com/stacs-cp/CP2022-Plotting
Dataset: Software
-
Plotting: a case study in lifted planning with constraints (dataset)
Espasa Arxer, J. (Creator) & Salamon, A. (Creator), GitHub, 2024
https://github.com/stacs-cp/Plotting-Journal
Dataset
-
A Framework for Generating Informative Benchmark Instances (code)
Dang, N. T. T. (Creator), Akgun, O. (Creator), Espasa Arxer, J. (Creator) & Miguel, I. J. (Creator), GitHub, 2022
https://github.com/stacs-cp/AutoIG
Dataset: Software
Activities
- 2 Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2024
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Halite, A. (Participant), Mann, A. (Participant), Dearle, A. (Participant), Banks, A. (Participant), Lin, A. (Participant), Boyce, A. (Participant), Manataki, A. (Participant), Singh, A. (Participant), Huang, A. (Participant), Eccles, B. J. (Participant), Claydon, B. (Participant), Varghese, B. (Participant), Clues, C. (Participant), Naughton, C. (Participant), Brown, C. M. (Participant), Myles, C. G. G. (Participant), Kennedy, D. (Participant), Morrison, D. (Participant), Saikumar, D. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Jenkins, E. (Participant), Spillane, E. (Participant), Leitner, F. (Participant), Haywood, G. T. (Participant), Rasheed, H. (Participant), Waller, J. (Participant), Herbert, J. (Participant), Espasa Arxer, J. (Participant), Williamson, J. (Participant), Loughney, J. (Participant), Zhang, J. (Participant), Wang, R. (Participant), Garriock, K. (Participant), Davies, K. (Participant), Clarke, L. (Participant), Laverty, L. (Participant), Andrei, M. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Martin, N. (Participant), Dewally, N. (Participant), Akgun, O. (Participant), Ng, P. (Participant), Connor, R. (Participant), Letham, R. (Participant), Kirkpatrick, R. (Participant), McQuistin, S. (Participant), Yuan, V. (Participant), Tronciu, V. (Participant), Law, Y. N. (Participant) & Zhang, Y. (Participant)
11 Apr 2024Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2023
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Boyd, K. M. (Member of organising committee), Miller, A. H. D. (Participant), Miguel, A. R. (Participant), Varghese, B. (Participant), Brown, C. M. (Participant), Jefferson, C. A. (Participant), Harris-Birtill, D. C. C. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Kirby, G. N. C. (Participant), Gent, I. P. (Participant), Jacques, J. T. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Terzic, K. (Participant), Fang, L. (Participant), Nederhof, M. J. (Participant), Young, M. (Participant), Dang, N. T. T. (Participant), Konovalov, O. (Participant), Akgun, O. (Participant), Connor, R. (Participant), Dearle, A. (Participant), Filgueira, R. (Participant), Zhu, X. (Participant), Bhatti, S. (Participant), Dobson, S. A. (Participant), Mann, P. S. (Participant), Sarkar, S. (Participant), Kelsey, T. (Participant) & Spink, T. (Participant)
11 Apr 2023Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event