Joan Espasa

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 21

Top Topics

Crossword Puzzles

Automated Planning

Benchmark Instances

Modulo Theories

Top Venues

Publications

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
The 2023 International Planning Competition. AI Mag. 45 (2) (2024)
Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
Behaviour Planning: A Toolkit for Diverse Planning. CoRR (2024)
Joan Espasa, Ian P. Gent, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Towards a Model of Puzznic. CoRR (2023)
Sean Patterson, Joan Espasa, Mun See Chang, Ruth Hoffmann
Towards Automatic Design of Factorio Blueprints. CoRR (2023)
Mustafa F. Abdelwahed, Joan Espasa, Alice Toniolo, Ian P. Gent
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning. CoRR (2023)
Joan Espasa, Ian Miguel, Peter Nightingale, András Z. Salamon, Mateu Villaret
Challenges in Modelling and Solving Plotting with PDDL. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Mateu Villaret
On Grid Graph Reachability and Puzzle Games. CoRR (2023)
Miquel Bofill, Cristina Borralleras, Joan Espasa, Gerard Martín, Gustavo Patow, Mateu Villaret
A Good Snowman is Hard to Plan. CoRR (2023)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CP (2022)
Nguyen Dang, Özgür Akgün, Joan Espasa, Ian Miguel, Peter Nightingale
A Framework for Generating Informative Benchmark Instances. CoRR (2022)
Joan Espasa, Ian Miguel, Mateu Villaret
Plotting: A Planning Problem with Complex Transitions. CP (2022)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxing non-interference requirements in parallel plans. Log. J. IGPL 29 (1) (2021)
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Alice M. Lynch
Using Small MUSes to Explain How to Solve Pen and Paper Puzzles. CoRR (2021)
Joan Espasa, Jordi Coll, Ian Miguel, Mateu Villaret
Exploring Lifted Planning Encodings in Essence Prime. CCIA (2021)
Jordi Coll, Joan Espasa, Ian Miguel, Mateu Villaret
A Preliminary Case Study of Planning With Complex Transitions: Plotting. CoRR (2021)
Joan Espasa, Ian P. Gent, Ruth Hoffmann, Christopher Jefferson, Matthew J. McIlree, Alice M. Lynch
Explaining Pen and Paper Puzzles with MUSes? SICSA XAI (2021)
Özgür Akgün, Nguyen Dang, Joan Espasa, Ian Miguel, András Z. Salamon, Christopher Stone
Exploring Instance Generation for Automated Planning. CoRR (2020)
Ewan Davidson, Özgür Akgün, Joan Espasa, Peter Nightingale
Effective Encodings of Constraint Programming Models to SMT. CP (2020)
Miquel Bofill, Joan Espasa, Mateu Villaret
Relaxed Exists-Step Plans in Planning as SMT. IJCAI (2017)
Miquel Bofill, Joan Espasa, Mateu Villaret
The RANTANPLAN planner: system description. Knowl. Eng. Rev. 31 (5) (2016)
Miquel Bofill, Joan Espasa, Mateu Villaret
A Semantic Notion of Interference for Planning Modulo Theories. ICAPS (2016)
Miquel Bofill, Joan Espasa, Marc Garcia, Miquel Palahí, Josep Suy, Mateu Villaret
Scheduling B2B Meetings. CP (2014)