Javier Segovia-Aguas

According to our database, Javier Segovia-Aguas authored at least 29 papers between 2016 and 2025.

Collaborative distances:

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

2025

Distances for Markov chains from sample streams.

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

CoRR, May, 2025

2024

Parallel Strategies for Best-First Generalized Planning.

Alejandro Fernández-Alburquerque, Javier Segovia-Aguas

CoRR, 2024

The 2023 International Planning Competition.

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

AI Mag., 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

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

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

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 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