Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science. Lecture notes in artificial intelligence
1809 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Recent advances in AI planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, proceedings, Susanne Biundo, Maria Fox (eds.), New York, Springer, 2000, 1 volume, Lecture notes in computer science, 3-540-67866-2 • Recent Advances in AI Planning, Texte imprimé, 9783662186534 |
Sommario:
- 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.