Javier Segovia Aguas

According to our database, Javier Segovia Aguas authored at least 26 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently.

Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia Aguas

CoRR, 2024

Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Artif. Intell., 2024

2023

Synthesis of Procedural Models for Deterministic Transition Systems.

Javier Segovia Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez Celorrio

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Representation and Synthesis of C++ Programs for Generalized Planning.

Javier Segovia Aguas, Yolanda E-Martín, Sergio Jiménez

CoRR, 2022

Computing Programs for Generalized Planning as Heuristic Search.

Javier Segovia Aguas, Sergio Jiménez, Anders Jonsson

CoRR, 2022

Scaling-Up Generalized Planning as Heuristic Search with Landmarks.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Laura Sebastiá, Anders Jonsson

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract).

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Automatic Learning of Cognitive Exercises for Socially Assistive Robotics.

Alejandro Suárez-Hernández, Antonio Andriella, Aleksandar Taranovic, Javier Segovia Aguas, Carme Torras, Guillem Alenyà

Proceedings of the 30th IEEE International Conference on Robot & Human Interactive Communication, 2021

Approximate Novelty Search.

Anubhav Singh, Nir Lipovetzky, Miquel Ramírez, Javier Segovia Aguas

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Generalized Planning as Heuristic Search.

Javier Segovia Aguas, Sergio Jiménez, Anders Jonsson

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Online Action Recognition.

Alejandro Suárez-Hernández, Javier Segovia Aguas, Carme Torras, Guillem Alenyà

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

STRIPS Action Discovery.

Alejandro Suárez-Hernández, Javier Segovia Aguas, Carme Torras, Guillem Alenyà

CoRR, 2020

The Association for the Advancement of Artificial Intelligence 2020 Workshop Program.

Grace Bang, Guy Barash, Ryan Beal, Jacques Calì, Mauricio Castillo-Effen, Xin Cynthia Chen, Niyati Chhaya, Rachel Cummings, Rohan Dhoopar, Sebastijan Dumancic, Huáscar Espinoza, Eitan Farchi, Ferdinando Fioretto, Raquel Fuentetaja, Christopher William Geib, Odd Erik Gundersen, José Hernández-Orallo, Xiaowei Huang, Kokil Jaidka, Sarah Keren, Seokhwan Kim, Michel Galley, Xiaomo Liu, Tyler Lu, Zhiqiang Ma, Richard Mallah, John A. McDermid, Martin Michalowski, Reuth Mirsky, Seán Ó hÉigeartaigh, Deepak Ramachandran, Javier Segovia Aguas, Onn Shehory, Arash Shaban-Nejad, Vered Shwartz, Siddharth Srivastava, Kartik Talamadupula, Jian Tang, Pascal Van Hentenryck, Dell Zhang, Jian Zhang

AI Mag., 2020

Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case.

Alejandro Suárez-Hernández, Thierry Gaugry, Javier Segovia Aguas, Antonin Bernardin, Carme Torras, Maud Marchal, Guillem Alenyà

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

Generalized Planning with Positive and Negative Examples.

Javier Segovia Aguas, Sergio Jiménez, Anders Jonsson

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

A review of generalized planning.

Sergio Jiménez Celorrio, Javier Segovia Aguas, Anders Jonsson

Knowl. Eng. Rev., 2019

Computing programs for generalized planning using a classical planner.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Artif. Intell., 2019

Natural Teaching of Robot-Assisted Rearranging Exercises for Cognitive Training.

Antonio Andriella, Alejandro Suárez-Hernández, Javier Segovia Aguas, Carme Torras, Guillem Alenyà

Proceedings of the Social Robotics - 11th International Conference, 2019

2018

Program synthesis for generalized planning.

Javier Segovia Aguas

PhD thesis, 2018

Computing Hierarchical Finite State Controllers With Classical Planning.

Javier Segovia Aguas, Sergio Jiménez, Anders Jonsson

J. Artif. Intell. Res., 2018

2017

Generating Context-Free Grammars using Classical Planning.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Unsupervised Classification of Planning Instances.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

Automatic Generation of High-Level State Features for Generalized Planning.

Damir Lotinac, Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Hierarchical Finite State Controllers for Generalized Planning.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Planning with Partially Specified Behaviors.

Javier Segovia Aguas, Jonathan Ferrer-Mestres, Anders Jonsson

Proceedings of the Artificial Intelligence Research and Development, 2016

Generalized Planning with Procedural Domain Control Knowledge.

Javier Segovia Aguas, Sergio Jiménez Celorrio, Anders Jonsson

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016