{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:46Z","timestamp":1725483886561},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437857"},{"type":"electronic","value":"9783540480501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-48050-1_58","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T04:09:49Z","timestamp":1179634189000},"page":"544-552","source":"Crossref","is-referenced-by-count":0,"title":["A Tool Supported Structured Method for Planning Domain Acquisition"],"prefix":"10.1007","author":[{"given":"R. M.","family":"Simpson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T. L.","family":"McCluskey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"58_CR1","doi-asserted-by":"crossref","unstructured":"David E. Wilkins. Can AI Planners Solve Practical Problems. Computational Intelligence Journal, 1990.","DOI":"10.1111\/j.1467-8640.1990.tb00297.x"},{"key":"58_CR2","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1613\/jair.544","volume":"9","author":"M. Fox","year":"1997","unstructured":"M. Fox and D. Long. The Automatic Inference of State Invariants in TIM. JAIR, 9:367\u2013421, 1997.","journal-title":"JAIR"},{"key":"58_CR3","doi-asserted-by":"crossref","unstructured":"J. Hoffmann. 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, 2000.","DOI":"10.1007\/3-540-39963-1_23"},{"key":"58_CR4","unstructured":"D. Liu and T. L. McCluskey. The OCL Language Manual, Version 1.2. Technical report, Department of Computing and Mathematical Sciences, University of Huddersfield, 2000."},{"key":"58_CR5","unstructured":"T. L. McCluskey, R. Aler, D. Borrajo, P. Haslum, P. Jarvis, and U. Scholz. Knowledge Engineering for Planning ROADMAP. http:\/\/scom.hud.ac.uk\/planet\/ , 2000."},{"key":"58_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(97)00034-9","volume":"95","author":"T. L. McCluskey","year":"1997","unstructured":"T. L. McCluskey and J. M. Porteous. Engineering and Compiling Planning Domain Models to Promote Validity and Efficiency. Artificial Intelligence, 95:1\u201365, 1997.","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"58_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N. Muscettola","year":"1998","unstructured":"N. Muscettola, P. P. Nayak, B. Pell, and B. C. Williams. Remote Agent: To Boldly Go Where No AI System Has Gone Before. Artificial Intelligence, 103(1-2):5\u201348, 1998.","journal-title":"Artificial Intelligence"},{"key":"58_CR8","unstructured":"S. Chien, R. Hill, X. Wang, T. Estlin, K. Fayyad and H. Mortenson. Why Real-World Planning is Difficult: A Tale of Two Applications. In M. Ghallab and A. Milani, editors, New Directions in AI Planning, pages 287\u2013298. IOS Press, 1996."},{"key":"58_CR9","doi-asserted-by":"crossref","unstructured":"R. M. Simpson, T. L. McCluskey, D. Liu, and D. E. Kitchin. Knowledge Representation in Planning: A PDDL to OCL h Translation. In Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, 2000.","DOI":"10.1007\/3-540-39963-1_64"},{"key":"58_CR10","unstructured":"R. M. Simpson, T. L. McCluskey, W Zhao, R. S. Aylett, and C. Doniat. GIPO: An Integrated Graphical Tool to support Knowledge Engineering in AI Planning. In Proceedings of the 6th European Conference on Planning, 2001."},{"key":"58_CR11","unstructured":"A. Tate, B. Drabble, and J. Dalton. O-Plan: a Knowledged-Based Planner and its Application to Logistics. AIAI, University of Edinburgh, 1996."}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48050-1_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T01:59:17Z","timestamp":1556416757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48050-1_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437857","9783540480501"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-48050-1_58","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}