1 citations · 2 across the 5 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 1 cited
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…
cs.AI2022★ 1 cited
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…