Recent advances in AI planning : 5th European Conference on Planning, ECP&#039,99, Durham, UK, September 8-10, 1999 : proceedings

Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings
Author: Susanne Biundo, Maria Fox
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67866-3
DOI: 10.1007/10720246

Table of Contents:

• Planning as Model Checking
• Conformant Planning via Model Checking
• Strong Cyclic Planning Revisited
• Scaleability in Planning
• Exploiting Competitive Planner Performance
• A Parallel Algorithm for POMDP Solution
• Plan Merging & Plan Reuse as Satisfiability
• SAT-Based Procedures for Temporal Reasoning
• Numeric State Variables in Constraint-Based Planning
• Hierarchical Task Network Planning as Satisfiability
• Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length
• Action Constraints for Planning
• Least Commitment on Variable Binding in Presence of Incomplete Knowledge
• Scaling up Planning by Teasing Out Resource Scheduling
• Real-Time Scheduling for Multi-agent Call Center Automation
• Task Decomposition Support to Reactive Scheduling
• Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem
• Automata-Theoretic Approach to Planning for Temporally Extended Goals
• Integer Programs and Valid Inequalities for Planning Problems
• Deductive Synthesis of Recursive Plans in Linear Logic

Includes bibliographical references and index