|
Backstrom C. and Nebel B.1995Complexity results for sas+ planning. Computational Intelligence11(4), 625–656.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Fikes RE., and Nilsson NJ.1971STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence2, 189–208.
Google Scholar
|
|
Fox M., and Long D.1997The automatic inference of state invariants in TIM. JAIR9, 367–421.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Ghallab M., Nau D. and Traverso P.2004Automated Planning: Theory and Practice. CA, USA: Morgan Kaufmann ISBN 1-55860-856-7.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
McCluskey TL. and Porteous JM.1997Engineering and compiling planning domain models to promote validity and efficiency. Artificial Intelligence95, 1–65.
Google Scholar
|
|
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).
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Nebel B.2000On the compilability and expressive power of propositional planning formalisms. Journal of Artificial Intelligence Research12, 271–315.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Tate A., Dalton J., Levine J.,Polyak S. and Wickler G.2005 O-plan - open planning architecture. www.aiai.ed.ac.uk/oplan.
Google Scholar
|
|
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.
Google Scholar
|
|
Wilkins D.1999 Using the SIPE-2 planning system: a manual for SIPE-2, version5.0. SRI International, Artificial Intelligence Center.
Google Scholar
|
|
Wilkins D.2000 SIPE-2: System for interactive planning and execution. www.ai.sri.com/sipe.
Google Scholar
|
