Utilizing Automatically Inferred Invariants in Graph Construction and Search

Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems, AIPS 2000

Volumn , Issue , 2000, Pages 102-111

  Fox, Maria ^a   Long, Derek ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRUCTION PERFORMANCE; GRAPH CONSTRUCTION; GRAPH SEARCH; GRAPHPLAN; MUTEXES; PERFORMANCE; PLANNING DOMAINS; PRE-PROCESSING; SIMPLE++;

ARTIFICIAL INTELLIGENCE;

EID: 27444445850     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Blum. A., and Fürst. M. 1995. Fast. Planning through Plan-graph Analysis. In IJCAI.
2. Fox, M., and Long, D. 1998. Thn automatic inference of state invariants in TITM. JAIR. 9.
3. Gorevini, A., and Schubert, L. 1996a. Accelerating Partial Order Planners: Some Techniques for Effective Search Control and Pruning. JAIR 5:95-137.
4. Gerevini. A., and Schubert, L. 1996b. Computing Parameter Domains as an Aid to Planning. In AIPS-96.
5. Gerevini, A., and Schubert. L. 1998. Inferring state constraints for domain-independent planning. In Proceedings of AAAT-98, Madison. WI.
6. Kambhampati, S. 1999. Improving Graphplan's search with E B L and DDB techniques. In Proceedings of I.JCAI-99.
7. Kelleher, G.. and Cohn, A. 1992. Automatically Syn¬ thesising Domain Constraints from Operator Descriptions. In Proceedings ECAI92.
8. Long, D., and Fox, M. 1999. The efficient implementation of the plan-graph in STAN. JAIR 10.
9. Morris, P., and Feldman, R. 1989. Automatically Derived Heuristics for Planning Search. In Proceedings of the 2nd Irish Conference on Artificial Intelligence and Cognitive Science, School of Computer Applications, Dublin City University.
10. Smith, D., and Weld, D. 1999. Temporal Graphplan with mutual exclusion reasoning. In Proceedings of IJCAI-99.