Javier Segovia-Aguas
- Bisimulation Metrics are Optimal Transport Distances, and Can be Computed Efficiently
2024/06/06 by Sergio Calo, Anders Jonsson, Calo, Sergio +8 · 2 voices · 3 citations
Medicine · Neuroscience · #Algorithm #Bisimulation #Cardiac Arrhythmias and Treatments #Computer science #Distributed computing #EEG and Brain-Computer Interfaces #Neurological disorders and treatments #Theoretical computer science
- Generalized Planning With Procedural Domain Control Knowledge
2019/10/11 by Javier Segovia-Aguas, Javier Segovia‐Aguas, Segovia-Aguas, Javier +5 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI
- Generalized Planning as Heuristic Search
2021/03/26 by Javier Segovia‐Aguas, Javier Segovia-Aguas, Segovia-Aguas, Javier +5 · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.AI