Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. ProceedingsAuthor: Susanne Biundo, Maria Fox Published by Springer Berlin Heidelberg ISBN: 978-3-540-67866-3 DOI: 10.1007/10720246Table 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