Joan Espasa Arxer

According to our database, Joan Espasa Arxer authored at least 31 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation.

Mustafa F. Abdelwahed, Felipe Meneguzzi Kin Max Piamolini Gusmao, Joan Espasa

CoRR, February, 2026

From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning.

Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent

CoRR, January, 2026

A Spanning Tree-Based SAT Encoding for Reachability in Undirected Graphs.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret

Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

2025

APThreatHunter: An automated planning-based threat hunting framework.

Mustafa F. Abdelwahed, Ahmed Shafee, Joan Espasa

CoRR, October, 2025

Diverse Planning with Simulators via Linear Temporal Logic.

Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa, Ian P. Gent

CoRR, October, 2025

Conditional Effects in Numeric Planning Reloaded.

Luigi Bonassi, Joan Espasa Arxer, Francesco Percassi, Enrico Scala

Proceedings of the ECAI 2025 - 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy, 2025

2024

Plotting: a case study in lifted planning with constraints.

Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

Constraints An Int. J., June, 2024

Towards High-Level Modelling in Automated Planning.

Carla Davesa Sureda, Joan Espasa Arxer, Ian Miguel, Mateu Villaret

CoRR, 2024

Behaviour Planning: A Toolkit for Diverse Planning.

Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent

CoRR, 2024

The 2023 International Planning Competition.

Ayal Taitler, Ron Alford, Joan Espasa, Gregor Behnke, Daniel Fiser, Michael Gimelfarb, Florian Pommerening, Scott Sanner, Enrico Scala, Dominik Schreiber, Javier Segovia-Aguas, Jendrik Seipp

AI Mag., 2024

Cross-Paradigm Modelling: A Study of Puzznic.

Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

Proceedings of the 36th IEEE International Conference on Tools with Artificial Intelligence, 2024

2023

Bridging the Gap between Structural and Semantic Similarity in Diverse Planning.

Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent

CoRR, 2023

Towards Automatic Design of Factorio Blueprints.

Sean Patterson, Joan Espasa, Mun See Chang, Ruth Hoffmann

CoRR, 2023

Towards a Model of Puzznic.

Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

CoRR, 2023

A Good Snowman is Hard to Plan.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret

CoRR, 2023

Challenges in Modelling and Solving Plotting with PDDL.

Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret

CoRR, 2023

On Grid Graph Reachability and Puzzle Games.

Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret

CoRR, 2023

2022

Plotting: A Planning Problem with Complex Transitions.

Joan Espasa, Ian Miguel, Mateu Villaret

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Framework for Generating Informative Benchmark Instances.

Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2021

Relaxing non-interference requirements in parallel plans.

Miquel Bofill, Joan Espasa, Mateu Villaret

Log. J. IGPL, 2021

A Preliminary Case Study of Planning With Complex Transitions: Plotting.

Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret

CoRR, 2021

Using Small MUSes to Explain How to Solve Pen and Paper Puzzles.

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch

CoRR, 2021

Explaining Pen and Paper Puzzles with MUSes?

Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch

Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021

Exploring Lifted Planning Encodings in Essence Prime.

Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret

Proceedings of the Artificial Intelligence Research and Development, 2021

2020

Exploring Instance Generation for Automated Planning.

Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone

CoRR, 2020

Effective Encodings of Constraint Programming Models to SMT.

Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale

Proceedings of the Principles and Practice of Constraint Programming, 2020

2018

SMT techniques for planning problems.

Joan Espasa

PhD thesis, 2018

2017

Relaxed Exists-Step Plans in Planning as SMT.

Miquel Bofill, Joan Espasa, Mateu Villaret

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

The RANTANPLAN planner: system description.

Miquel Bofill, Joan Espasa, Mateu Villaret

Knowl. Eng. Rev., 2016

A Semantic Notion of Interference for Planning Modulo Theories.

Miquel Bofill, Joan Espasa, Mateu Villaret

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2014

Scheduling B2B Meetings.

Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret

Proceedings of the Principles and Practice of Constraint Programming, 2014