Joan Espasa

Most-cited papers

The 2023 International Planning Competition
Ayal Taitler, R. Alford, Joan Espasa, Gregor Behnke +8 more
2024The AI Magazine36 citations Open access
Semantic Scholar
The RANTANPLAN planner: system description
Miquel Bofill, Joan Espasa, Mateu Villaret
2016Knowledge engineering review (Print)25 citations Open access
Semantic Scholar
A Framework for Generating Informative Benchmark Instances
Nguyen Dang, Ozgur Akgun, Joan Espasa, Ian Miguel +1 more
2022International Conference on Principles and Practice of Constraint Programming13 citations
Semantic Scholar
Scheduling B2B Meetings
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí +2 more
2014International Conference on Principles and Practice of Constraint Programming13 citations
Semantic Scholar
Relaxed Exists-Step Plans in Planning as SMT
Miquel Bofill, Joan Espasa, Mateu Villaret
2017International Joint Conference on Artificial Intelligence11 citations Open access
Semantic Scholar
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson +1 more
2021arXiv.org8 citations
Semantic Scholar
Effective Encodings of Constraint Programming Models to SMT
E. Davidson, Ozgur Akgun, Joan Espasa, Peter William Nightingale
2020International Conference on Principles and Practice of Constraint Programming8 citations Open access
Semantic Scholar
Towards Lifted Encodings for Numeric Planning in Essence Prime
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
20197 citations
Semantic Scholar
Cross-Paradigm Modelling: A Study of Puzznic
Joan Espasa, Ian P. Gent, Ian Miguel, Peter William Nightingale +2 more
2024IEEE International Conference on Tools with Artificial Intelligence6 citations Open access
Semantic Scholar
Plotting: a case study in lifted planning with constraints
Joan Espasa, Ian Miguel, Peter William Nightingale, András Z. Salamon +1 more
2024Constraints5 citations Open access
Semantic Scholar
Plotting: A Planning Problem with Complex Transitions
Joan Espasa, Ian Miguel, Mateu Villaret
2022International Conference on Principles and Practice of Constraint Programming5 citations
Semantic Scholar
Explaining Pen and Paper Puzzles with MUSes?
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson +2 more
2021SICSA XAI5 citations
Semantic Scholar
Efficient SMT Encodings for the Petrobras Domain
Miquel Bofill, Joan Espasa, Mateu Villaret
20145 citations
Semantic Scholar
An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints
Miquel Bofill, Joan Espasa, Miquel Palahand, Mateu Villaret
20124 citations
Semantic Scholar
Relaxing non-interference requirements in parallel plans
Miquel Bofill, Joan Espasa, Mateu Villaret
2019Logic Journal of the IGPL3 citations Open access
Semantic Scholar
A Semantic Notion of Interference for Planning Modulo Theories
Miquel Bofill, Joan Espasa, Mateu Villaret
2016International Conference on Automated Planning and Scheduling3 citations Open access
Semantic Scholar
Behaviour Planning: A Toolkit for Diverse Planning
M. F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2024arXiv.org2 citations
Semantic Scholar
A Good Snowman is Hard to Plan
Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Mart´ın +2 more
2023arXiv.org2 citations Open access
Semantic Scholar
Challenges in Modelling and Solving Plotting with PDDL
Joan Espasa, Ian Miguel, Peter William Nightingale, András Z. Salamon +1 more
2023arXiv.org2 citations Open access
Semantic Scholar
Exploring Lifted Planning Encodings in Essence Prime
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
2021International Conference of the Catalan Association for Artificial Intelligence2 citations Open access
Semantic Scholar
SMT techniques for planning problems
Joan Espasa
20182 citations
Semantic Scholar
Diverse Planning with Simulators via Linear Temporal Logic
M. F. Abdelwahed, Alice Toniolo, Joan Espasa, Ian P. Gent
2025arXiv.org1 citations
Semantic Scholar
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning
M. F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2023arXiv.org1 citations Open access
Semantic Scholar
Towards a Model of Puzznic
Joan Espasa, Ian P. Gent, Ian Miguel, Peter William Nightingale +2 more
2023arXiv.org1 citations Open access
Semantic Scholar
On Grid Graph Reachability and Puzzle Games
Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
2023arXiv.org1 citations Open access
Semantic Scholar
Towards Automatic Design of Factorio Blueprints
S. Patterson, Joan Espasa, Mun-See Chang, Ruth Hoffmann
2023arXiv.org1 citations Open access
Semantic Scholar
Exploring Instance Generation for Automated Planning
Ozgur Akgun, Dang Nguyen, Joan Espasa, Ian Miguel +2 more
2020arXiv.org1 citations
Semantic Scholar
Relaxed ∃-Step Plans in Planning as SMT
Miquel Bofill, Joan Espasa, Mateu Villaret
20171 citations
Semantic Scholar
From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
M. F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
2026arXiv.org0 citations
Semantic Scholar
Polyscene: Scenario Planning as Diversity Planning
M. F. Abdelwahed, Joan Espasa, Felipe Meneguzzi
20260 citations
Semantic Scholar
Compiling Expressive Planning with Data Types
Carla Davesa, Joan Espasa, Ian Miguel, Mateu Villaret
2026Proceedings of the ... International Conference on Automated Planning and Scheduling0 citations Open access
Semantic Scholar
Removing Planner Bias in Goal Recognition Through Multi-Plan Dataset Generation
M. F. Abdelwahed, F. Gusmão, Joan Espasa
2026arXiv.org0 citations
Semantic Scholar
A Spanning Tree-Based SAT Encoding for Reachability in Undirected Graphs
Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
2026IEEE International Symposium on Multiple-Valued Logic0 citations
Semantic Scholar
On-Demand Mutex Constraints for Numeric Planning as SMT
M. F. Abdelwahed, Miquel Bofill, Joan Espasa, Mateu Villaret
2026Proceedings of the ... International Conference on Automated Planning and Scheduling0 citations Open access
Semantic Scholar
APThreatHunter: An automated planning-based threat hunting framework
M. F. Abdelwahed, Ahmed Shafee, Joan Espasa
2025arXiv.org0 citations
Semantic Scholar
A Preliminary Case Study of Planning With Complex Transitions: Plotting
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
2021arXiv.org0 citations
Semantic Scholar
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson +3 more
20210 citations
Semantic Scholar
Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with Electrodialysis Reversal
M. Dalmau, H. Monclús, Joan Espasa, N. Atanasova +5 more
20160 citations
Semantic Scholar
Dissertation Abstract: SAT/SMT techniques for planning problems
Joan Espasa
20150 citations
Semantic Scholar
Plotting: A Planning Problem With Complex 1 Transitions 2
Joan Espasa, Ian Miguel, Mateu Villaret
0 citations
Semantic Scholar
Towards Understanding Differences Between 1 Modelling Pipelines: a Modelers Perspective 2
Csobán Balogh, Ruth Hoffmann, Joan Espasa
0 citations
Semantic Scholar
Undefinedness in Planning with Arrays 1
Carla Davesa, Joan Espasa, Ian Miguel, Mateu Villaret
0 citations
Semantic Scholar
Modelling Multi-dimensional Arrays in Unified 1 Planning 2
Carla Davesa, Joan Espasa, Ian Miguel, Mateu Villaret
0 citations
Semantic Scholar