5. ECP 1999:
Durham, UK
Susanne Biundo, Maria Fox (Eds.):
Recent Advances in AI Planning, 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999, Proceedings.
Lecture Notes in Computer Science 1809 Springer 2000, ISBN 3-540-67866-2 
- Fausto Giunchiglia, Paolo Traverso:
Planning as Model Checking.
1-20
- Alessandro Cimatti, Marco Roveri:
Conformant Planning via Model Checking.
21-34
- Marco Daniele, Paolo Traverso, Moshe Y. Vardi:
Strong Cyclic Planning Revisited.
35-48
- Vassilis Liatsos, Barry Richards:
Scaleability in Planning.
49-61
- Adele E. Howe, Eric Dahlman, Christoper Hansen, Michael Scheetz, Anneliese von Mayrhauser:
Exploiting Competitive Planner Performance.
62-72
- Larry D. Pyeatt, Adele E. Howe:
A Parallel Algorithm for POMDP Solution.
73-83
- Amol Dattatraya Mali:
Plan Merging & Plan Reuse as Satisfiability.
84-96
- Alessandro Armando, Claudio Castellini, Enrico Giunchiglia:
SAT-Based Procedures for Temporal Reasoning.
97-108
- Jussi Rintanen, Hartmut Jungholt:
Numeric State Variables in Constraint-Based Planning.
109-121
- Amol Dattatraya Mali:
Hierarchical Task Network Planning as Satisfiability.
122-134
- Stefan Edelkamp, Malte Helmert:
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length.
135-147
- Ulrich Scholz:
Action Constraints for Planning.
148-158
- Rosy Barruffi, Evelina Lamma, Paola Mello, Michela Milano:
Least Commitment on Variable Binding in Presence of Incomplete Knowledge.
159-171
- Biplav Srivastava, Subbarao Kambhampati:
Scaling up Planning by Teasing out Resource Scheduling.
172-186
- Yong Wang, Qiang Yang, Zhong Zhang:
Real-Time Scheduling for Multi-agent Call Center Automation.
187-199
- Brian Drabble:
Task Decomposition Support to Reactive Scheduling.
200-212
- Amedeo Cesta, Angelo Oddi, Stephen F. Smith:
Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem.
213-225
- Giuseppe De Giacomo, Moshe Y. Vardi:
Automata-Theoretic Approach to Planning for Temporally Extended Goals.
226-238
- Alexander Bockmayr, Yannis Dimopoulos:
Integer Programs and Valid Inequalities for Planning Problems.
239-251
- Stephen Cresswell, Alan Smaill, Julian Richardson:
Deductive Synthesis of Recursive Plans in Linear Logic.
252-264
- Sven Koenig, Yaxin Liu:
Sensor Planning with Non-linear Utility Functions.
265-277
- Olivier Despouys, François Felix Ingrand:
Propice-Plan: Toward a Unified Framework for Planning and Execution.
278-293
- Bernhard Nebel:
What Is the Expressive Power of Disjunctive Preconditions?
294-307
- Patrik Haslum, Peter Jonsson:
Some Results on the Complexity of Planning with Incomplete Information.
308-318
- Avrim Blum, John Langford:
Probabilistic Planning in the Graphplan Framework.
319-332
- Eric Parker:
Making Graphplan Goal-Directed.
333-346
- Ioannis Refanidis, Ioannis P. Vlahavas:
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables.
347-359
- Blai Bonet, Hector Geffner:
Planning as Heuristic Search: New Results.
360-372
Last update Sat May 25 02:47:11 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
