Biundo / Fox Recent Advances in AI Planning

5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings
2000
ISBN: 978-3-540-44657-6
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 380 Seiten, eBook

Reihe: Lecture Notes in Artificial Intelligence

Zielgruppe

Research

Autoren/Hrsg.

Biundo, Susanne

Fox, Maria

Inhaltsverzeichnis

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.