|
Backstrom C. and Nebel B.1995Complexity results for sas+ planning. Computational Intelligence11(4), 625–656. |
|
Blythe J., Kim J., Ramachandran S., Gil Y.2001 An integrated environment for knowledge acquisition. Proceedings of the Interenational Conference on User Interfaces. ACM Press. |
|
Edelkamp S. and Mehler T.2005 Knowledge acquisition and knowledge engineering in the ModPlan workbench. InProceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, California, USA. |
|
Fikes RE., and Nilsson NJ.1971STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence2, 189–208. |
|
Fox M., and Long D.1997The automatic inference of state invariants in TIM. JAIR9, 367–421. |
|
Fox M., and Long D.2001 PDDL2.1: an extension to PDDL for expressing temporal planning domains. In Technical Report, Dept of Computer Science, University of Durham. |
|
Garagnani M.2004 A framework for planning with hybrid models. In Proceedings of the 14th International Conference on Automated Planning and Scheduling Workshop on Connecting Planning Theory with Practice. |
|
Gennari JH., Musen MA., Fergerson RW., Grosso WE., Crubezy M., Eriksson H., Noy NF. and Tu SW.2003The evolution of protege: an environment for knowledge-based systems development. International Journal of Human-Computer Studies58, 89–123. |
|
Gerevini A. and Serina I.2002 LPG: a planner based on local search for planning graphs. In The Sixth International Conference on Artificial Intelligence Planning Systems. AAAI. |
|
Ghallab M., Howe A., Knoblock C., McDermott D., Ram A., Veloso M., Weld D., and Wilkins D.1998 Pddl — the planning domain definition language. Technical Report CVC TR-98-003/DCS TR-1165, Yale Center for Computational Vision and Control. |
|
Ghallab M., Nau D. and Traverso P.2004Automated Planning: Theory and Practice. CA, USA: Morgan Kaufmann ISBN 1-55860-856-7. |
|
Hoffmann J.2000 A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. In Proceedings of the 14th Workshop on Planning and Configuration—New Results in Planning, Scheduling and Design. |
|
Manzano M.1993 Introduction to many sorted logic. In Meinke K. and Tucker J., (ed.), Many Sorted Logic and Its Applications. New York, NY, USA: Wiley pp. 3–81. |
|
McCluskey TL. and Kitchin DE.1998 A tool-supported approach to engineering HTN planning models. In Proceedings of 10th IEEE International Conference on Tools with Artificial Intelligence. IEEE Press. |
|
McCluskey TL. and Porteous JM.1997Engineering and compiling planning domain models to promote validity and efficiency. Artificial Intelligence95, 1–65. |
|
McCluskey TL. and Simpson RM.2005The use of an integrated tool to support teaching and learning in artificial intelligence. Journal of Innovations in Teaching And Learning in Information and Computer Sciences: Special Issue on Teaching Artificial Intelligence and Intelligent Agents: Challenges and Perspectives4(3). |
|
McCluskey TL., Kitchin DE., and Porteous JM.1996 Object-centred planning: lifting classical planning from the literal level to the object level. In Proceedings of 8th IEEE International Conference on Tools with Artificial Intelligence. IEEE Press. |
|
McCluskey TL., Richardson NE. and Simpson RM.2002 An interactive method for inducing operator descriptions. In The 6th International Conference on Artificial Intelligence Planning and Scheduling. AAAI. |
|
McCluskey TL., Liu D. and Simpson RM.2003 GIPO II: HTN planning in a tool-supported knowledge engineering environment. In The 13th International Conference on Automated Planning and Scheduling. AAAI. |
|
Nau D., Cao Y., Lotem A. and Munoz-Avila H.1999 SHOP: simple hierarchical ordered planner. In Proceedings of the 16th International Joint Conference on Artificial Intelligence. CA, USA: Morgan Kaufmann. |
|
Nebel B.2000On the compilability and expressive power of propositional planning formalisms. Journal of Artificial Intelligence Research12, 271–315. |
|
Simpson RM., McCluskey TL., Liu D. and Kitchin DE.2000 Knowledge representation in planning: A PDDL to OCLh translation. In Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems. London: Springer Verlag. |
|
Tate A., Drabble B. and Kirby R.1994 O-Plan2: an open architecture for command, planning and control. In Fox M. and Zweben M., (ed). Intelligent Scheduling. Palo Alto, CA, USA: Morgan Kaufmann. |
|
Tate A., Dalton J., Levine J.,Polyak S. and Wickler G.2005 O-plan - open planning architecture. www.aiai.ed.ac.uk/oplan. |
|
Vacquero TS., Tonidanel F. and Silva JR.2005 The itSIMPLE tool for modelling planning domains. In Proceedings of the First International Competition on Knowledge Engineering for AI Planning, Monterey, California, USA. |
|
Wilkins D.1999 Using the SIPE-2 planning system: a manual for SIPE-2, version5.0. SRI International, Artificial Intelligence Center. |
|
Wilkins D.2000 SIPE-2: System for interactive planning and execution. www.ai.sri.com/sipe. |