Corpus ID: 54114922

Automated Planning: Theory & Practice

  title={Automated Planning: Theory \& Practice},
  author={Dana S. Nau and Malik Ghallab and Paolo Traverso},

Topics from this paper

Supporting the Formalization of Use Cases in Social Robotics
The implementation of use cases in Social Autonomous Robotics is a complex and time consuming task to be developed by domain experts and engineers, involving a large knowledge acquisition process. ToExpand
Improving the efficiency of thePre-Optimization Plan Techniques
This thesis focuses on an important sub-area of post-planning optimisation; that is, on identifying and removing redundant actions from solution plans by extending the existing Action Elimination and Greedy Action Eliminations algorithms by introducing two approaches to improve their efficiency. Expand
A comparison of modeling approaches for planning in Cyber Physical Production Systems
Criteria to compare among languages when used for planning in CPPS is suggested and is applied on Prolog, Timed Automata, and PDDL. Expand
HyperTensioN A three-stage compiler for planning
Hierarchical Task Networks (HTN) planners generate plans using a decomposition process with extra domain knowledge to guide search towards a planning task. While many HTN domain descriptions are madeExpand
Semantic Attachments for HTN Planning
This work formalizes Semantic Attachments for HTN planning using semi coroutines, allowing such procedurally defined predicates to link the planning process to custom unifications outside of the planner, such as numerical results from a robotics simulator. Expand
Combining Assembly Planning and Geometric Task Planning
A joint solution for structure assembly planning, symbolic task planning and geometric planning is presented and analyzed in the construction of structures with a team of aerial robots equipped with on-board manipulators in places where the access is difficult. Expand
Printed in the United Kingdom A Review of Learning Planning Action Models
Automated planning has been a continuous field of study since the 1960s, since the notion of accomplishing a task using an ordered set of actions resonates with almost every known activity domain.Expand
A Survey on Model-Based Mission Planning and Execution for Autonomous Spacecraft
Operational concepts for mission planning and execution in recent European space projects as well as the implementation of in-flight adaptive mission operations via on-board control procedures are analyzed. Expand
A Framework for Robot Programming in Cobotic Environments: First User Experiments
This work introduces a framework that combines two disciplines, Programming by Demonstration and Automated Planning, to allow users without any programming knowledge to program a robot. Expand
Automated Planning for Ubiquitous Computing
A generic framework is derived that consists of aspects important to planning for ubiquitous computing, and the main purpose is to facilitate the understanding of those aspects, and classify the literature according to them. Expand