Using temporal logics to express search control knowledge for planning
Top Cited Papers
Open Access
- 2 August 2000
- journal article
- Published by Elsevier
- Vol. 116 (1-2) , 123-191
- https://doi.org/10.1016/s0004-3702(99)00071-5
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Computational model theory: an overviewLogic Journal of the IGPL, 1998
- Fast planning through planning graph analysisArtificial Intelligence, 1997
- Integrating planning and learning: the PRODIGY architectureJournal of Experimental & Theoretical Artificial Intelligence, 1995
- Safety, liveness and fairness in temporal logicFormal Aspects of Computing, 1994
- Automatically generating abstractions for planningArtificial Intelligence, 1994
- Partial-order planning: Evaluating possible efficiency gainsArtificial Intelligence, 1994
- Acquiring search-control knowledge via static analysisArtificial Intelligence, 1993
- On the complexity of blocks-world planningArtificial Intelligence, 1992
- SOAR: An architecture for general intelligenceArtificial Intelligence, 1987
- Planning in a hierarchy of abstraction spacesArtificial Intelligence, 1974