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