@inproceedings {icaps16-136,
    track    = {​Main Track},
    title    = {Generalized Planning with Procedural Domain Control Knowledge},
    url      = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12990},
    author   = {Javier Segovia and  Sergio Jimenez and  Anders Jonsson},
    abstract = {Generalized planning is the task of generating a single solution that is valid for a set of planning problems. In this paper we show how to represent and compute generalized plans using procedural Domain Control Knowledge (DCK). We define a <\it divide and conquer> approach that first generates the procedural DCK solving a set of planning problems representative of certain subtasks and then compile it as callable procedures of the overall generalized planning problem. Our procedure calling mechanism allows arbitrary nested and recursive procedure calls and is implemented in PDDL so that off-the-shelf planners can compute and exploit procedural DCK. Experiments show that an off-the-shelf classical planner, using procedural DCK as callable procedures, can compute generalized plans in a wide range of domains including non-trivial ones, such as sorting variable-size lists or DFS traversal of binary trees with variable size.},
    keywords = {Classical planning,HTN and knowledge-based planning}
}

{"_id":"GuPajxkqHj4f9hxqz","bibbaseid":"segovia-jimenez-jonsson-generalizedplanningwithproceduraldomaincontrolknowledge","downloads":1,"creationDate":"2016-03-09T03:08:50.001Z","title":"Generalized Planning with Procedural Domain Control Knowledge","author_short":["Segovia, J.","Jimenez, S.","Jonsson, A."],"year":null,"bibtype":"inproceedings","biburl":"icaps16.icaps-conference.org/papers.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","track":"​Main Track","title":"Generalized Planning with Procedural Domain Control Knowledge","url":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12990","author":[{"firstnames":["Javier"],"propositions":[],"lastnames":["Segovia"],"suffixes":[]},{"firstnames":["Sergio"],"propositions":[],"lastnames":["Jimenez"],"suffixes":[]},{"firstnames":["Anders"],"propositions":[],"lastnames":["Jonsson"],"suffixes":[]}],"abstract":"Generalized planning is the task of generating a single solution that is valid for a set of planning problems. In this paper we show how to represent and compute generalized plans using procedural Domain Control Knowledge (DCK). We define a <ıt divide and conquer> approach that first generates the procedural DCK solving a set of planning problems representative of certain subtasks and then compile it as callable procedures of the overall generalized planning problem. Our procedure calling mechanism allows arbitrary nested and recursive procedure calls and is implemented in PDDL so that off-the-shelf planners can compute and exploit procedural DCK. Experiments show that an off-the-shelf classical planner, using procedural DCK as callable procedures, can compute generalized plans in a wide range of domains including non-trivial ones, such as sorting variable-size lists or DFS traversal of binary trees with variable size.","keywords":"Classical planning,HTN and knowledge-based planning","bibtex":"@inproceedings {icaps16-136,\r\n track = {​Main Track},\r\n title = {Generalized Planning with Procedural Domain Control Knowledge},\r\n url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12990},\r\n author = {Javier Segovia and Sergio Jimenez and Anders Jonsson},\r\n abstract = {Generalized planning is the task of generating a single solution that is valid for a set of planning problems. In this paper we show how to represent and compute generalized plans using procedural Domain Control Knowledge (DCK). We define a <\\it divide and conquer> approach that first generates the procedural DCK solving a set of planning problems representative of certain subtasks and then compile it as callable procedures of the overall generalized planning problem. Our procedure calling mechanism allows arbitrary nested and recursive procedure calls and is implemented in PDDL so that off-the-shelf planners can compute and exploit procedural DCK. Experiments show that an off-the-shelf classical planner, using procedural DCK as callable procedures, can compute generalized plans in a wide range of domains including non-trivial ones, such as sorting variable-size lists or DFS traversal of binary trees with variable size.},\r\n keywords = {Classical planning,HTN and knowledge-based planning}\r\n}\r\n\r\n","author_short":["Segovia, J.","Jimenez, S.","Jonsson, A."],"key":"icaps16-136","id":"icaps16-136","bibbaseid":"segovia-jimenez-jonsson-generalizedplanningwithproceduraldomaincontrolknowledge","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS16/paper/view/12990"},"keyword":["Classical planning","HTN and knowledge-based planning"],"metadata":{"authorlinks":{}},"downloads":1,"html":""},"search_terms":["generalized","planning","procedural","domain","control","knowledge","segovia","jimenez","jonsson"],"keywords":["classical planning","htn and knowledge-based planning"],"authorIDs":[],"dataSources":["iMkx859KiXcegwsin","EZtZjCTnxcdTTyeij"]}