Research Catalog
Automated planning : theory and practice
- Title
- Automated planning : theory and practice / Ghallab Malik, Dana Nau, Paolo Traverso.
- Author
- Ghallab, Malik
- Publication
- Amsterdam ; Boston : Elsevier/Morgan Kaufmann, c2004.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Use in library | TS183.3 .M35 2004 | Off-site |
Details
- Additional Authors
- Description
- xxviii, 635 p. : ill.; 25 cm.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. 573-607) and index.
- Contents
- Ch. 1. Introduction and overview -- Ch. 2. Representations for classical planning -- Ch. 3. Complexity of classical planning -- Ch. 4. State-space planning -- Ch. 5. Plan-space planning -- Ch. 6. Planning-graph techniques -- Ch. 7. Propositional satisfiability techniques -- Ch. 8. Constraint satisfaction techniques -- Ch. 9. Heuristics in planning -- Ch.10. Control rules in planning -- Ch. 11. Hierarchical task network planning -- Ch. 12. Control strategies in deductive planning -- Ch. 13. Time for planning -- Ch. 14. Temporal planning -- Ch. 15. Planning and resource scheduling -- Ch. 16. Planning based on Markov decision processes -- Ch. 17. Planning based on model checking -- Ch. 18. Uncertainty with Neoclassical techniques -- Ch. 19. Space applications -- Ch. 20. Planning in robotics -- Ch. 21. Planning for manufacturability analysis -- Ch. 22. Emergency evacuation planning -- Ch. 23. Planning in the game of bridge -- Ch. 24. Other approaches to planning -- App. A. Search procedures and computational complexity -- App. B. First-order logic -- App. C. Model checking.
- ISBN
- 1558608567
- LCCN
- 2003064381
- OCLC
- ocm54544203
- SCSB-5055460
- Owning Institutions
- Columbia University Libraries