Recent Advances in AI Planning

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.- Sensor Planning with Non-linear Utility Functions.- Propice-Plan: Toward a Unified Framework for Planning and Execution.- What is the Expressive Power of Disjunctive Preconditions?.- Some Results on the Complexity of Planning with Incomplete Information.- Probabilistic Planning in the Graphplan Framework.- Making Graphplan Goal-Directed.- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables.- Planning as Heuristic Search: New Results.