This paper introduces a general approach for synthesizing procedural mod...
Planning as heuristic search is one of the most successful approaches to...
The paper introduces a novel representation for Generalized Planning (GP...
Although heuristic search is one of the most successful approaches to
cl...
Landmarks are one of the most effective search heuristics for classical
...
Although heuristic search is one of the most successful approaches to
cl...
We present our systems and findings on unsupervised lexical semantic cha...
Generalized planning aims at computing an algorithm-like structure
(gene...
Finite State Controllers (FSCs) are an effective way to represent sequen...
Generalized planning is the task of generating a single solution that is...
Yask is an online social collaborative network for practicing languages ...
This paper presents a novel approach for learning STRIPS action models f...
In this paper, we propose a recommender system that takes a user-selecte...
Current evaluation functions for heuristic planning are expensive to com...