Sledovat
Joan Espasa Arxer
Joan Espasa Arxer
E-mailová adresa ověřena na: st-andrews.ac.uk - Domovská stránka
Název
Citace
Citace
Rok
The RANTANPLAN planner: system description
M Bofill, J Espasa, M Villaret
The Knowledge Engineering Review 31 (5), 452-464, 2016
212016
Scheduling B2B meetings
M Bofill, J Espasa, M Garcia, M Palahí, J Suy, M Villaret
Principles and Practice of Constraint Programming: 20th International …, 2014
182014
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
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
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
Relaxed∃-Step Plans in Planning as SMT
M Bofill, J Espasa, M Villaret
Proceedings of the 26th International Joint Conference on Artificial …, 2017
6*2017
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
52021
A Framework for Generating Informative Benchmark Instances
N Dang, Ö Akgün, J Espasa, I Miguel, P Nightingale
arXiv preprint arXiv:2205.14753, 2022
32022
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
Plotting: a planning problem with complex transitions
J Espasa Arxer, IJ Miguel, M Villaret
28th International Conference on Principles and Practice of Constraint …, 2022
22022
Relaxing non-interference requirements in parallel plans
M Bofill, J Espasa, M Villaret
Logic Journal of the IGPL 29 (1), 45-71, 2021
22021
SMT techniques for planning problems
J Espasa Arxer
Universitat de Girona, 2018
22018
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
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
12021
Exploring Instance Generation for Automated Planning
Ö Akgün, N Dang, J Espasa, I Miguel, A Salamon, C Stone
The 19th workshop on Constraint Modelling and Reformulation, 2020
12020
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, ...
12016
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
2023
Towards a Model of Puzznic
J Espasa, IP Gent, I Miguel, P Nightingale, AZ Salamon, M Villaret
arXiv preprint arXiv:2310.01503, 2023
2023
On Grid Graph Reachability and Puzzle Games
M Bofill, C Borralleras, J Espasa, M Villaret
arXiv preprint arXiv:2310.01378, 2023
2023
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20