Joan Espasa

According to our database, Joan Espasa authored at least 19 papers between 2014 and 2023.

Collaborative distances:

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

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

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