Research output per year
Research output per year
Search results
-
2024
Towards high-level modelling in automated planning
Sureda, C. D., Arxer, J. E., Miguel, I. & Auselle, M. V., 2 Sept 2024, ModRef 2024 - the 23rd workshop on constraint modelling and reformulation (ModRef). 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
2022
A framework for generating informative benchmark instances
Dang, N., Akgun, O., Espasa Arxer, J., Miguel, I. J. & Nightingale, P., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18 p. 18. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Plotting: a planning problem with complex transitions
Espasa Arxer, J., Miguel, I. J. & Villaret, M., 23 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Solon, C. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 235).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2021
Exploring lifted planning encodings in Essence Prime
Espasa, J., Coll, J., Miguel, I. & Villaret, M., 14 Oct 2021, Artificial Intelligence Research and Development: Proceedings of the 23rd International Conference of the Catalan Association for Artificial Intelligence. Villaret, M., Alsinet, T., Fernández, C. & Valls, A. (eds.). IOS Press, p. 66-75 (Frontiers in Artificial Intelligence and Applications; vol. 339).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards generic explanations for pen and paper puzzles with MUSes
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C., McIlree, M. J. & Lynch, A. M., 2 Jul 2021, Proceedings of the SICSA eXplainable Artifical Intelligence Workshop 2021. Martin, K., Wiratunga, N. & Wijekoon, A. (eds.). p. 56-63 8 p. (CEUR Workshop Proceedings; vol. 2894).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2020
Effective encodings of constraint programming models to SMT
Davidson, E., Akgun, O., Espasa Arxer, J. & Nightingale, P., 2020, Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings. Simonis, H. (ed.). Springer, p. 143-159 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 12333 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile