Javier Segovia-Aguas
7 papers · 2016–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🐝 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
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