Javier Segovia-Aguas

40 papers A* 11A 2B 3Journal 22Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Distances for Markov chains from sample streams. CoRR Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas
2024	A*	`conf`	Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently. NeurIPS Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas
2024	J	`jnl`	Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently. CoRR Sergio Calo, Anders Jonsson, Gergely Neu, Ludovic Schwartz, Javier Segovia-Aguas
2024	J	`jnl`	Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects. Artif. Intell. Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2024	J	`jnl`	Parallel Strategies for Best-First Generalized Planning. CoRR Alejandro Fernández-Alburquerque, Javier Segovia-Aguas
2024	J	`jnl`	The 2023 International Planning Competition. AI Mag. 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
2023	J	`jnl`	Generalized Planning as Heuristic Search: A new planning search-space that leverages pointers over objects. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2023	A	`conf`	Synthesis of Procedural Models for Deterministic Transition Systems. ECAI Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez Celorrio
2023	J	`jnl`	Synthesis of Procedural Models for Deterministic Transition Systems. CoRR Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Sergio Jiménez
2022	A*	`conf`	Computing Programs for Generalized Planning as Heuristic Search (Extended Abstract). IJCAI Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2022	J	`jnl`	Computing Programs for Generalized Planning as Heuristic Search. CoRR Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
2022	J	`jnl`	Representation and Synthesis of C++ Programs for Generalized Planning. CoRR Javier Segovia-Aguas, Yolanda E-Martín, Sergio Jiménez
2022	B	`conf`	Scaling-Up Generalized Planning as Heuristic Search with Landmarks. SOCS Javier Segovia-Aguas, Sergio Jiménez Celorrio, Laura Sebastiá, Anders Jonsson
2022	J	`jnl`	Scaling-up Generalized Planning as Heuristic Search with Landmarks. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson, Laura Sebastiá
2021	A*	`conf`	Approximate Novelty Search. ICAPS Anubhav Singh, Nir Lipovetzky, Miquel Ramírez, Javier Segovia-Aguas
2021	J	`jnl`	Approximate Novelty Search. CoRR Anubhav Singh, Nir Lipovetzky, Miquel Ramírez, Javier Segovia-Aguas
2021	B	`conf`	Automatic Learning of Cognitive Exercises for Socially Assistive Robotics. RO-MAN Alejandro Suárez-Hernández, Antonio Andriella, Aleksandar Taranovic, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà
2021	A*	`conf`	Generalized Planning as Heuristic Search. ICAPS Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
2021	J	`jnl`	Generalized Planning as Heuristic Search. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2021	A*	`conf`	Online Action Recognition. AAAI Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà
2020	A*	`conf`	Generalized Planning with Positive and Negative Examples. AAAI Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
2020	A	`conf`	Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case. IROS Alejandro Suárez-Hernández, Thierry Gaugry, Javier Segovia-Aguas, Antonin Bernardin, Carme Torras, Maud Marchal, Guillem Alenyà
2020	J	`jnl`	Leveraging Multiple Environments for Learning and Decision Making: a Dismantling Use Case. CoRR Alejandro Suárez-Hernández, Thierry Gaugry, Javier Segovia-Aguas, Antonin Bernardin, Carme Torras, Maud Marchal, Guillem Alenyà
2020	J	`jnl`	Online Action Recognition. CoRR Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà
2020	J	`jnl`	STRIPS Action Discovery. CoRR Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà
2020	J	`jnl`	The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. AI Mag. 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
2019	J	`jnl`	A review of generalized planning. Knowl. Eng. Rev. Sergio Jiménez Celorrio, Javier Segovia-Aguas, Anders Jonsson
2019	J	`jnl`	Computing programs for generalized planning using a classical planner. Artif. Intell. Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2019	J	`jnl`	Generalized Planning With Procedural Domain Control Knowledge. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2019	J	`jnl`	Generalized Planning with Positive and Negative Examples. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2019	J	`jnl`	Hierarchical Finite State Controllers for Generalized Planning. CoRR Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2019	B	`conf`	Natural Teaching of Robot-Assisted Rearranging Exercises for Cognitive Training. ICSR Antonio Andriella, Alejandro Suárez-Hernández, Javier Segovia-Aguas, Carme Torras, Guillem Alenyà
2018	J	`jnl`	Computing Hierarchical Finite State Controllers With Classical Planning. J. Artif. Intell. Res. Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
2018	—	`—`	Program synthesis for generalized planning. Javier Segovia-Aguas
2017	A*	`conf`	Generating Context-Free Grammars using Classical Planning. IJCAI Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2017	A*	`conf`	Unsupervised Classification of Planning Instances. ICAPS Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2016	A*	`conf`	Automatic Generation of High-Level State Features for Generalized Planning. IJCAI Damir Lotinac, Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2016	A*	`conf`	Generalized Planning with Procedural Domain Control Knowledge. ICAPS Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2016	A*	`conf`	Hierarchical Finite State Controllers for Generalized Planning. IJCAI Javier Segovia-Aguas, Sergio Jiménez Celorrio, Anders Jonsson
2016	—	`conf`	Planning with Partially Specified Behaviors. CCIA Javier Segovia-Aguas, Jonathan Ferrer-Mestres, Anders Jonsson