Javier Segovia-Aguas


Postdoctoral Researcher


Universitat Pompeu Fabra
AI & ML Group
email: javier/dot/segovia/at/upf/dot/edu


Short Bio

I am a postdoctoral researcher in the Artificial Intelligence and Machine Learning (AI&ML) research group at Universitat Pompeu Fabra (UPF). In my research career, I have published more than 20 articles and served as a Program Committee Member and Reviewer in top-tier AI conferences and journals, and received several awards, for example, the EurAI "Artificial Intelligence Dissertation Award", awarded for the best European dissertation in Artificial Intelligence (AI) in 2018. My main research interests are in automated planning and machine learning, where solutions to complex sequential-decision problems are in the form of programs or policies, and extending these ideas to learning high-level models from raw data, and computing hierarchical and provably general solutions. This research may has an impact in other fields such as robotics, software engineering, cybersecurity, and even computational biology.

Recognition of Achievements


Awards
  • IJCAI-ECAI 2022 Sister Conferences Best Papers
    Paper: Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract)
  • IJCAI-ECAI 2022 Distinguished Program Committee Member
    Top 3% PC members of the conference
  • EurAI Artificial Intelligence Dissertation Award 2018
    Thesis: Program Synthesis for Generalized Planning
  • IJCAI 2016 Distinguished Paper Award
    Paper: Hierarchical Finite State Controllers for Generalized Planning
Fellowships
  • Ramón y Cajal 2022 (2nd reserve)
    Competitive fellowship awarded by the Spanish government
  • Juan de la Cierva - Formación 2019
    Competitive fellowship awarded by the Spanish government

Community Service


Organizer
  • Organizer of ICAPS-24 workshop on the International Planning Competition
  • Organizer of the 2023 International Planning Competition - Learning Track
  • Chair of IJCAI-21 workshop on Generalization in Planning
  • Chair of AAAI-20 workshop on Generalization in Planning
Journal Reviewer
  • Artificial Intelligence Journal (AIJ)
  • Machine Learning Journal (MLJ)
  • Journal of Artificial Intelligence Research (JAIR)
  • Mechatronics
Conference Senior Program Committee
  • IJCAI (2021)
Conference Program Committee
  • AAAI (2020-24)
  • IJCAI (2020-24)
  • ICAPS (2019-24)
  • ICRA (2020)
  • RO-MAN (2020)
Workshop Program Committee
  • NeurIPS 2023 workshop on Generalization in Planning (GenPlan '23)
  • IJCAI-ECAI 2022 workshop on Generalization in Planning (GenPlan '22)
  • IJCLR 2021 workshop on Approaches and Applications of Inductive Programming (AAIP '21)
  • AAAI - Student Abstracts (2019-21)

Publications

generated by bibbase.org
  2025 (1)
Distances for Markov chains from sample streams. Calo, S.; Jonsson, A.; Neu, G.; Schwartz, L.; and Segovia-Aguas, J. CoRR, abs/2505.18005. 2025.
Distances for Markov chains from sample streams [link]Paper   doi   link   bibtex  
  2024 (5)
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. Artif. Intell., 330: 104097. 2024.
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects [link]Paper   doi   link   bibtex  
The 2023 International Planning Competition. Taitler, A.; Alford, R.; Espasa, J.; Behnke, G.; Fiser, D.; Gimelfarb, M.; Pommerening, F.; Sanner, S.; Scala, E.; Schreiber, D.; Segovia-Aguas, J.; and Seipp, J. AI Mag., 45(2): 280–296. 2024.
The 2023 International Planning Competition [link]Paper   doi   link   bibtex   3 downloads  
Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently. Calo, S.; Jonsson, A.; Neu, G.; Schwartz, L.; and Segovia-Aguas, J. In Globersons, A.; Mackey, L.; Belgrave, D.; Fan, A.; Paquet, U.; Tomczak, J. M.; and Zhang, C., editor(s), Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, NeurIPS 2024, Vancouver, BC, Canada, December 10 - 15, 2024, 2024.
Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently [link]Paper   link   bibtex  
Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently. Calo, S.; Jonsson, A.; Neu, G.; Schwartz, L.; and Segovia-Aguas, J. CoRR, abs/2406.04056. 2024.
Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently [link]Paper   doi   link   bibtex  
Parallel Strategies for Best-First Generalized Planning. Fernández-Alburquerque, A.; and Segovia-Aguas, J. CoRR, abs/2407.21485. 2024.
Parallel Strategies for Best-First Generalized Planning [link]Paper   doi   link   bibtex  
  2023 (3)
Synthesis of Procedural Models for Deterministic Transition Systems. Segovia-Aguas, J.; Ferrer-Mestres, J.; and Celorrio, S. J. In Gal, K.; Nowé, A.; Nalepa, G. J.; Fairstein, R.; and Radulescu, R., editor(s), ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372, of Frontiers in Artificial Intelligence and Applications, pages 2081–2088, 2023. IOS Press
Synthesis of Procedural Models for Deterministic Transition Systems [link]Paper   doi   link   bibtex  
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. CoRR, abs/2301.11087. 2023.
Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects [link]Paper   doi   link   bibtex  
Synthesis of Procedural Models for Deterministic Transition Systems. Segovia-Aguas, J.; Ferrer-Mestres, J.; and Jiménez, S. CoRR, abs/2307.14368. 2023.
Synthesis of Procedural Models for Deterministic Transition Systems [link]Paper   doi   link   bibtex  
  2022 (5)
Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract). Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Raedt, L. D., editor(s), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pages 5334–5338, 2022. ijcai.org
Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract) [link]Paper   doi   link   bibtex  
Scaling-Up Generalized Planning as Heuristic Search with Landmarks. Segovia-Aguas, J.; Celorrio, S. J.; Sebastiá, L.; and Jonsson, A. In Chrpa, L.; and Saetti, A., editor(s), Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022, pages 171–179, 2022. AAAI Press
Scaling-Up Generalized Planning as Heuristic Search with Landmarks [link]Paper   doi   link   bibtex   1 download  
Scaling-up Generalized Planning as Heuristic Search with Landmarks. Segovia-Aguas, J.; Celorrio, S. J.; Jonsson, A.; and Sebastiá, L. CoRR, abs/2205.04850. 2022.
Scaling-up Generalized Planning as Heuristic Search with Landmarks [link]Paper   doi   link   bibtex  
Computing Programs for Generalized Planning as Heuristic Search. Segovia-Aguas, J.; Jiménez, S.; and Jonsson, A. CoRR, abs/2205.06259. 2022.
Computing Programs for Generalized Planning as Heuristic Search [link]Paper   doi   link   bibtex  
Representation and Synthesis of C++ Programs for Generalized Planning. Segovia-Aguas, J.; E-Martín, Y.; and Jiménez, S. CoRR, abs/2206.14480. 2022.
Representation and Synthesis of C++ Programs for Generalized Planning [link]Paper   doi   link   bibtex  
  2021 (6)
Online Action Recognition. Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; and Alenyà, G. In Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, pages 11981–11989, 2021. AAAI Press
Online Action Recognition [link]Paper   doi   link   bibtex   4 downloads  
Approximate Novelty Search. Singh, A.; Lipovetzky, N.; Ramírez, M.; and Segovia-Aguas, J. In Biundo, S.; Do, M.; Goldman, R.; Katz, M.; Yang, Q.; and Zhuo, H. H., editor(s), Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pages 349–357, 2021. AAAI Press
Approximate Novelty Search [link]Paper   link   bibtex  
Generalized Planning as Heuristic Search. Segovia-Aguas, J.; Jiménez, S.; and Jonsson, A. In Biundo, S.; Do, M.; Goldman, R.; Katz, M.; Yang, Q.; and Zhuo, H. H., editor(s), Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, ICAPS 2021, Guangzhou, China (virtual), August 2-13, 2021, pages 569–577, 2021. AAAI Press
Generalized Planning as Heuristic Search [link]Paper   link   bibtex   3 downloads  
Automatic Learning of Cognitive Exercises for Socially Assistive Robotics. Suárez-Hernández, A.; Andriella, A.; Taranovic, A.; Segovia-Aguas, J.; Torras, C.; and Alenyà, G. In 30th IEEE International Conference on Robot & Human Interactive Communication, RO-MAN 2021, Vancouver, BC, Canada, August 8-12, 2021, pages 139–146, 2021. IEEE
Automatic Learning of Cognitive Exercises for Socially Assistive Robotics [link]Paper   doi   link   bibtex  
Generalized Planning as Heuristic Search. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. CoRR, abs/2103.14434. 2021.
Generalized Planning as Heuristic Search [link]Paper   link   bibtex  
Approximate Novelty Search. Singh, A.; Lipovetzky, N.; Ramírez, M.; and Segovia-Aguas, J. CoRR, abs/2105.07691. 2021.
Approximate Novelty Search [link]Paper   link   bibtex  
  2020 (6)
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. Bang, G.; Barash, G.; Beal, R.; Calì, J.; Castillo-Effen, M.; Chen, X. C.; Chhaya, N.; Cummings, R.; Dhoopar, R.; Dumancic, S.; Espinoza, H.; Farchi, E.; Fioretto, F.; Fuentetaja, R.; Geib, C. W.; Gundersen, O. E.; Hernández-Orallo, J.; Huang, X.; Jaidka, K.; Keren, S.; Kim, S.; Galley, M.; Liu, X.; Lu, T.; Ma, Z.; Mallah, R.; McDermid, J. A.; Michalowski, M.; Mirsky, R.; hÉigeartaigh , S. Ó; Ramachandran, D.; Segovia-Aguas, J.; Shehory, O.; Shaban-Nejad, A.; Shwartz, V.; Srivastava, S.; Talamadupula, K.; Tang, J.; Hentenryck, P. V.; Zhang, D.; and Zhang, J. AI Mag., 41(4): 100–114. 2020.
The Association for the Advancement of Artificial Intelligence 2020 Workshop Program [link]Paper   doi   link   bibtex  
Generalized Planning with Positive and Negative Examples. Segovia-Aguas, J.; Jiménez, S.; and Jonsson, A. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, pages 9949–9956, 2020. AAAI Press
Generalized Planning with Positive and Negative Examples [link]Paper   doi   link   bibtex   6 downloads  
Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case. Suárez-Hernández, A.; Gaugry, T.; Segovia-Aguas, J.; Bernardin, A.; Torras, C.; Marchal, M.; and Alenyà, G. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021, pages 6902–6908, 2020. IEEE
Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case [link]Paper   doi   link   bibtex  
STRIPS Action Discovery. Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; and Alenyà, G. CoRR, abs/2001.11457. 2020.
STRIPS Action Discovery [link]Paper   link   bibtex   2 downloads  
Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case. Suárez-Hernández, A.; Gaugry, T.; Segovia-Aguas, J.; Bernardin, A.; Torras, C.; Marchal, M.; and Alenyà, G. CoRR, abs/2009.08837. 2020.
Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case [link]Paper   link   bibtex  
Online Action Recognition. Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; and Alenyà, G. CoRR, abs/2012.07464. 2020.
Online Action Recognition [link]Paper   link   bibtex  
  2019 (6)
Computing programs for generalized planning using a classical planner. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. Artif. Intell., 272: 52–85. 2019.
Computing programs for generalized planning using a classical planner [link]Paper   doi   link   bibtex  
A review of generalized planning. Celorrio, S. J.; Segovia-Aguas, J.; and Jonsson, A. Knowl. Eng. Rev., 34: e5. 2019.
A review of generalized planning [link]Paper   doi   link   bibtex  
Natural Teaching of Robot-Assisted Rearranging Exercises for Cognitive Training. Andriella, A.; Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; and Alenyà, G. In Salichs, M. A.; Ge, S. S.; Barakova, E. I.; Cabibihan, J.; Wagner, A. R.; González, Á. C.; and He, H., editor(s), Social Robotics - 11th International Conference, ICSR 2019, Madrid, Spain, November 26-29, 2019, Proceedings, volume 11876, of Lecture Notes in Computer Science, pages 611–621, 2019. Springer
Natural Teaching of Robot-Assisted Rearranging Exercises for Cognitive Training [link]Paper   doi   link   bibtex  
Generalized Planning With Procedural Domain Control Knowledge. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. CoRR, abs/1910.04999. 2019.
Generalized Planning With Procedural Domain Control Knowledge [link]Paper   link   bibtex  
Hierarchical Finite State Controllers for Generalized Planning. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. CoRR, abs/1911.02887. 2019.
Hierarchical Finite State Controllers for Generalized Planning [link]Paper   link   bibtex  
Generalized Planning with Positive and Negative Examples. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. CoRR, abs/1911.09365. 2019.
Generalized Planning with Positive and Negative Examples [link]Paper   link   bibtex  
  2018 (2)
Program synthesis for generalized planning. Segovia-Aguas, J. Ph.D. Thesis, Pompeu Fabra University, Spain, 2018.
Program synthesis for generalized planning [link]Paper   link   bibtex   9 downloads  
Computing Hierarchical Finite State Controllers With Classical Planning. Segovia-Aguas, J.; Jiménez, S.; and Jonsson, A. J. Artif. Intell. Res., 62: 755–797. 2018.
Computing Hierarchical Finite State Controllers With Classical Planning [link]Paper   doi   link   bibtex   2 downloads  
  2017 (2)
Unsupervised Classification of Planning Instances. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Barbulescu, L.; Frank, J.; Mausam; and Smith, S. F., editor(s), Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, ICAPS 2017, Pittsburgh, Pennsylvania, USA, June 18-23, 2017, pages 452–460, 2017. AAAI Press
Unsupervised Classification of Planning Instances [link]Paper   link   bibtex  
Generating Context-Free Grammars using Classical Planning. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Sierra, C., editor(s), Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 4391–4397, 2017. ijcai.org
Generating Context-Free Grammars using Classical Planning [link]Paper   doi   link   bibtex  
  2016 (4)
Generalized Planning with Procedural Domain Control Knowledge. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Coles, A. J.; Coles, A.; Edelkamp, S.; Magazzeni, D.; and Sanner, S., editor(s), Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016, pages 285–293, 2016. AAAI Press
Generalized Planning with Procedural Domain Control Knowledge [link]Paper   link   bibtex  
Planning with Partially Specified Behaviors. Segovia-Aguas, J.; Ferrer-Mestres, J.; and Jonsson, A. In Nebot, À.; Binefa, X.; and de Mántaras, R. L., editor(s), Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Catalonia, Spain, October 19-21, 2016, volume 288, of Frontiers in Artificial Intelligence and Applications, pages 263–272, 2016. IOS Press
Planning with Partially Specified Behaviors [link]Paper   doi   link   bibtex  
Automatic Generation of High-Level State Features for Generalized Planning. Lotinac, D.; Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3199–3205, 2016. IJCAI/AAAI Press
Automatic Generation of High-Level State Features for Generalized Planning [link]Paper   link   bibtex  
Hierarchical Finite State Controllers for Generalized Planning. Segovia-Aguas, J.; Celorrio, S. J.; and Jonsson, A. In Kambhampati, S., editor(s), Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pages 3235–3241, 2016. IJCAI/AAAI Press
Hierarchical Finite State Controllers for Generalized Planning [link]Paper   link   bibtex  
Flag Counter

© Javier Segovia-Aguas 2019