{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:08:01Z","timestamp":1743124081421,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233404"},{"type":"electronic","value":"9783540302025"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30202-5_30","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T19:38:52Z","timestamp":1267385932000},"page":"449-465","source":"Crossref","is-referenced-by-count":7,"title":["Knowledge Formulation for AI Planning"],"prefix":"10.1007","author":[{"given":"T. L.","family":"McCluskey","sequence":"first","affiliation":[]},{"given":"R. M.","family":"Simpson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"AIPS 1998 Planning Competition Committee. PDDL - The Planning Domain Definition Language. Technical Report CVC TR-98-003\/DCS TR-1165, Yale Center for Computational Vision and Control (1998)"},{"key":"30_CR2","unstructured":"Barish, G., Knoblock, C.A.: Speculative Execution for Information Gathering Plans. In: The Sixth International Conference on Artificial Intelligence Planning Systems (2002)"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Benjamins, R., Barros, L., Valente, A.: Constructing Planners through Problem- Solving Methods. In: Gaines, B., Musen, M. (eds.) Proceedings of the Tenth Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW 1996) (1996)","DOI":"10.1007\/3-540-61273-4_1"},{"key":"30_CR4","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1006\/ijhc.1997.0191","volume":"48","author":"V.R. Benjamins","year":"1998","unstructured":"Benjamins, V.R., Shadbolt, N.: Preface: Knowledge acquisition for planning. Int. J. Hum.-Comput. Stud.\u00a048, 409\u2013416 (1998)","journal-title":"Int. J. Hum.-Comput. Stud."},{"key":"30_CR5","unstructured":"Biundo, S., Barrajo, D., McCluskey, T.L.: Planning and Scheduling: A Technology for Improving Flexibility in e-Commerce and Electronic Work. In: Proceedings of e2002, The eBusiness and eWork Annual Conference, Prague The Czech Republic (2002)"},{"key":"30_CR6","unstructured":"Blythe, J., Deelman, E., Gil, Y., Kesselman, C., Agarwal, A., Mehta, G., Vahi, K.: The Role of Planning in Grid Computing. In: Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS 2003 (2003)"},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1613\/jair.544","volume":"9","author":"M. Fox","year":"1997","unstructured":"Fox, M., Long, D.: The Automatic Inference of State Invariants in TIM. JAIR\u00a09, 367\u2013421 (1997)","journal-title":"JAIR"},{"key":"30_CR8","unstructured":"Fox, M., Long, D.: PDDL2.1: An extension to PDDL for expressing temporal planning domains. In: Technical Report, Dept of Computer Science, University of Durham (2001)"},{"key":"30_CR9","unstructured":"Gil, Y., Blythe, J., Kim, J., Ramachandran, S.: Acquiring Procedural Knowledge in EXPECT. In: Proceedings of the AAAI 2000 Workshop on Representational Issues for Real-World Planning Systems (2000)"},{"key":"30_CR10","first-page":"3","volume-title":"New Directions in AI Planning","author":"J. Hertzberg","year":"1996","unstructured":"Hertzberg, J.: On Building a Planning Tool Box. In: Ghallab, M., Milani, A. (eds.) New Directions in AI Planning, pp. 3\u201318. IOS Press, Amsterdam (1996)"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"John, H., Gennari, M.A., Musen, R.W., Fergerson, W.E.: Grosso, Monica Crubzy, Henrik Eriksson, Natalya Fridman Noy, Samson W. Tu. The evolution of Protege: an environment for knowledge-based systems development. Int. J. Hum.-Comput. Stud.\u00a058 (2003)","DOI":"10.1016\/S1071-5819(02)00127-1"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Knoblock, C., Minton, S., Ambite, J.L., Muslea, M., Oh, J., Frank, M.: Mixed- Initiative, Multi-Source Information Assistants. In: Proceedings of WWW 2001 (2001)","DOI":"10.1145\/371920.372185"},{"key":"30_CR13","first-page":"196","volume-title":"Proc. of 5th Conference on Artificial Intelligence Planning Systems (AIPS)","author":"D. Long","year":"2000","unstructured":"Long, D., Fox, M.: Automatic synthesis and use of generic types in planning. In: Proc. of 5th Conference on Artificial Intelligence Planning Systems (AIPS), pp. 196\u2013205. AAAI Press, Menlo Park (2000)"},{"key":"30_CR14","unstructured":"Long, D., Fox, M.: Planning with generic types. Technical report, Invited talk at IJCAI 2001. Morgan-Kaufmann publication, San Francisco (2001)"},{"key":"30_CR15","unstructured":"McCluskey, T.L.: Object Transition Sequences: A New Form of Abstraction for HTN Planners. In: The Fifth International Conference on Artificial Intelligence Planning Systems (2000)"},{"key":"30_CR16","unstructured":"McCluskey, T.L., Aler, R., Borrajo, D., Garagnani, M., Haslum, P., Jarvis, P., Refanidis, I., Scholz, U.: Knowledge Engineering for Planning Roadmap (2003), http:\/\/scom.hud.ac.uk\/planet\/home"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"McCluskey, T.L., Kitchin, D.E.: A Tool-Supported Approach to Engineering HTN Planning Models. In: Proceedings of 10th IEEE International Conference on Tools with Artificial Intelligence (1998)","DOI":"10.1109\/TAI.1998.744854"},{"key":"30_CR18","unstructured":"McCluskey, T.L., Richardson, N.E., Simpson, R.M.: An Interactive Method for Inducing Operator Descriptions. In: The Sixth International Conference on Artificial Intelligence Planning Systems (2002)"},{"issue":"1-2","key":"30_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"Muscettola, N., Nayak, P.P., Pell, B., Williams, B.C.: Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence\u00a0103(1-2), 5\u201348 (1998)","journal-title":"Artificial Intelligence"},{"key":"30_CR20","unstructured":"Myers, K., Wilkins, D.: The Act-Editor User\u2019s Guide: A Manual for Version2.2. SRI International. Artificial Intelligence Center (1997)"},{"key":"30_CR21","unstructured":"Richardson, N.E.: an Operator Induction Tool supporting Knowledge Engineering in Planning. PhD thesis, School of Computing and Mathematics, University of Huddersfield (forthcoming 2004)"},{"key":"30_CR22","unstructured":"Simpson, R.M., McCluskey, T.L.: Plan Authoring with Continuous Effects. In: Proceedings of the 22nd UK Planning and Scheduling Workshop (PLANSIG 2003), Glasgow, Scotland (2003)"},{"key":"30_CR23","unstructured":"Simpson, R.M., McCluskey, T.L., Fox, M., Long, D.: Generic Types as Design Patterns for Planning Domain specifications. In: Proceedings of the AIPS 2002 Workshop on Knowledge Engineering Tools and Techniques for AI Planning (2002)"},{"key":"30_CR24","unstructured":"Tate, A., Polyak, S.T., Jarvis, P.: TF Method: An Initial Framework for Modelling and Analysing Planning Domains. Technical report, University of Edinburgh (1998)"}],"container-title":["Lecture Notes in Computer Science","Engineering Knowledge in the Age of the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30202-5_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T09:23:07Z","timestamp":1558862587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30202-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233404","9783540302025"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30202-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}