Javier Segovia-Aguas

7 papers · 2016–2024 · 3 conferences · across top CS/AI conferences

Achievements

🐝 Cross-Pollinator (12) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (3) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 📈 Trend Setter

Conferences

IJCAI (4) AAAI (2) NIPS (1)

Top co-authors

Anders Jonsson (6) Sergio Jiménez (4) Damir Lotinac (1) Carme Torras (1) Sergio Calo (1) Gergely Neu (1) Sergio Jiménez Celorrio (1) Guillem Alenyà (1) Alejandro Suárez-Hernández (1) Ludovic Schwartz (1)

Keywords

generalized planning (2) automated planning (2) program synthesis (1) grammar inference (1) heuristic search (1) best-first search (1) markov chain (1) grammar induction (1) sinkhorn algorithm (1) entropy regularization (1) bisimulation metric (1) formal language (1) linear program (1) classical planning (1) negative example (1) weighted partial maxsat (1) context-free grammar (1) plan synthesis (1) open-world recognition (1) planning compilation (1)

Papers

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

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

Online Action Recognition AAAI 2021

Generalized Planning with Positive and Negative Examples AAAI 2020

Generating Context-Free Grammars using Classical Planning IJCAI 2017

Automatic Generation of High-Level State Features for Generalized Planning IJCAI 2016

Hierarchical Finite State Controllers for Generalized Planning IJCAI 2016