Automated Planning: Theory and Practice (Hardcover)

1 Introduction and Overview

I Classical Planning 2 Representations for Classical Planning 3 Complexity of Classical Planning 4 State-Space Planning 5 Plan-Space Planning II Neoclassical Planning 6 Planning-Graph Techniques 7 Propositional Satisfiability Techniques 8 ?Constraint Satisfaction Techniques

III Heuristics and Control Strategies 9 Heuristics in Planning 10 Control Rules in Planning 11 Hierarchical Task Network Planning 12 Control Strategies in Deductive Planning IV Planning with Time and Resources 13 Time for Planning 14 Temporal Planning 15 Planning and Resource Scheduling

V Planning under Uncertainty 16 Planning based on Markov Decision Processes 17 Planning based on Model Checking 18 Uncertainty with Neo-Classical Techniques

VI Case Studies and Applications 19 Space Applications 20 Planning in Robotics 21 Planning for Manufacturability Analysis 22 Emergency Evacuation Planning 23 Planning in the Game of Bridge

VII Conclusion 24 Conclusion and Other Topics

VIII Appendices A Search Procedures and Computational Complexity B First Order Logic C Model Checking