Recent Advances in AI Planning

5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings

388 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540678663
• Sprache: Englisch
• Erscheinungsdatum: 26.07.2000
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Maria Fox, Susanne Biundo