|
852
|
Fast Planning Through Planning Graph Analysis
– Avrim L. Blum, Merrick L. Furst
- 1995
|
|
102
|
The automatic inference of state invariants in TIM
– Maria Fox, Derek Long
- 1998
|
|
1556
|
Strips: a new approach to the application of theorem proving
– R E Fikes, N J Nilsson
- 1971
|
|
14
|
A Tool-Supported Approach to Engineering HTN Planning Models
– T. L. Mccluskey, D. E. Kitchin
- 1998
|
|
16
|
The OCL Language Manual, Version 1.2
– D Liu, T L McCluskey
|
|
6
|
forthcoming,1999. Object-Centred Generative Planning
– D E Kitchin
|
|
27
|
The automatic inference of state invariants
– M Fox, D Long
- 1998
|
|
109
|
UMCP: A Sound and Complete Procedure for Hierarchical Task-Network Planning
– Kutluhan Erol, James Hendler, Dana S. Nau
|
|
294
|
O-Plan: the Open Planning Architecture
– Ken Currie, Austin Tate, South Bridge
- 1990
|
|
463
|
Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search
– Henry Kautz, Bart Selman
- 1996
|
|
463
|
The FF planning system: Fast plan generation through heuristic search
– Jörg Hoffmann, Bernhard Nebel
- 2001
|
|
357
|
Generating Project Networks
– A Tate
- 1987
|
|
3
|
OCL_h: a sound and supportive planning domain modelling language
– T. L. Mccluskey, P. Jarvis, D.E. Kitchin
- 1999
|
|
159
|
Extending planning graphs to an ADL subset
– Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos
- 1997
|
|
4
|
The OCL Language Manual
– D Liu
- 1999
|
|
9
|
Object Transition Sequences: A New Form of Abstraction for HTN Planners
– T. L. Mccluskey
- 2000
|
|
18
|
TF Method: An Initial Framework for Modelling and Analysing Planning Domains
– Austin Tate, Stephen T. Polyak, Peter Jarvis
- 1998
|
|
49
|
On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm
– Jana Koehler, Jörg Hoffmann
- 2000
|
|
156
|
Automatically Generating Abstractions for Planning
– Craig Knoblock
- 1994
|
