1 citations · 3 across the 3 of their papers we have counts for
3 papers
Representation and Synthesis of C++ Programs for Generalized Planning
Javier Segovia-Aguas, Yolanda E-Martín, Sergio Jiménez
The paper introduces a novel representation for Generalized Planning (GP) problems, and their solutions, as C++ programs. Our C++ representation allows to formally proving the term…
Computing Programs for Generalized Planning as Heuristic Search
Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson
Although heuristic search is one of the most successful approaches to classical planning, this planning paradigm does not apply straightforwardly to Generalized Planning (GP). This…
Learning STRIPS Action Models with Classical Planning
Diego Aineto, Sergio Jiménez, Eva Onaindia
This paper presents a novel approach for learning STRIPS action models from examples that compiles this inductive learning task into a classical planning task. Interestingly, the c…