Javier Segovia-Aguas
7 papers · 2016–2024 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Bronze
🐣
Hot Topic Early Bird
📈
Trend Setter
Venues
Top co-authors
Research topics
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
NeurIPS 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