Follow
Joan Espasa Arxer
Title
Cited by
Cited by
Year
The RANTANPLAN planner: system description
M Bofill, J Espasa, M Villaret
The Knowledge Engineering Review 31 (5), 452-464, 2016
222016
Scheduling B2B meetings
M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret
Principles and Practice of Constraint Programming: 20th International …, 2014
172014
Effective encodings of constraint programming models to SMT
E Davidson, Ö Akgün, J Espasa, P Nightingale
Principles and Practice of Constraint Programming: 26th International …, 2020
102020
Relaxed∃-Step Plans in Planning as SMT
M Bofill, J Espasa, M Villaret
Proceedings of the 26th International Joint Conference on Artificial …, 2017
9*2017
A semantic notion of interference for planning modulo theories
M Bofill, J Espasa, M Villaret
Proceedings of the International Conference on Automated Planning and …, 2016
82016
Using small muses to explain how to solve pen and paper puzzles
J Espasa, IP Gent, R Hoffmann, C Jefferson, AM Lynch, A Salamon, ...
arXiv preprint arXiv:2104.15040, 2021
72021
Towards Lifted Encodings for Numeric Planning in Essence Prime
J Espasa, J Coll, I Miguel, M Villaret
CP 2019 Workshop on Constraint Modelling and Reformulation, 2019
72019
Efficient SMT Encodings for the Petrobras Domain
M Bofill, J Espasa, M Villaret
Proceedings of the 13th International Workshop on Constraint Modelling and …, 2014
72014
A Framework for Generating Informative Benchmark Instances
N Dang, Ö Akgün, J Espasa, I Miguel, P Nightingale
arXiv preprint arXiv:2205.14753, 2022
62022
The 2023 International Planning Competition
A Taitler, R Alford, J Espasa, G Behnke, D Fišer, M Gimelfarb, ...
AI Magazine, 2024
32024
Plotting: a planning problem with complex transitions
J Espasa Arxer, IJ Miguel, M Villaret
28th International Conference on Principles and Practice of Constraint …, 2022
32022
Relaxing non-interference requirements in parallel plans
M Bofill, J Espasa, M Villaret
Logic Journal of the IGPL 29 (1), 45-71, 2021
32021
An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints
M Bofill, J Espasa, M Palahı, M Villaret
XII Spanish Conference on Programming and Computer Languages (PROLE 2012 …, 2012
32012
Towards generic explanations for pen and paper puzzles with MUSes
J Espasa Arxer, IP Gent, R Hoffmann, C Jefferson, MJ McIlree, AM Lynch
Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021, 2021
22021
SMT techniques for planning problems
J Espasa Arxer
Universitat de Girona, 2018
22018
Fuzzy vs neural network models for environmental decision support system implementation aiming to standardise the multiparametric decision in a Drinking Water Plant with …
M Dalmau, H Monclús, J Espasa, N Atanasova, M Poch, P Emiliano, ...
22016
Bridging the Gap between Structural and Semantic Similarity in Diverse Planning
MF Abdelwahed, J Espasa, A Toniolo, IP Gent
arXiv preprint arXiv:2310.01520, 2023
12023
Towards Automatic Design of Factorio Blueprints
S Patterson, J Espasa, MS Chang, R Hoffmann
arXiv preprint arXiv:2310.01505, 2023
12023
A Good Snowman is Hard to Plan
M Bofill, C Borralleras, JE Arxer, GM Teixidor, GA Patow, M Villaret
ICAPS Workshop on Knowledge Engineering for Planning and Scheduling (KEPS …, 2023
12023
Exploring lifted planning encodings in Essence Prime
J Espasa, J Coll, I Miguel, M Villaret
Artificial Intelligence Research and Development, 66-75, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20