{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:14Z","timestamp":1725489374324},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410942"},{"type":"electronic","value":"9783540399636"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-39963-1_64","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:54:19Z","timestamp":1187250859000},"page":"610-618","source":"Crossref","is-referenced-by-count":2,"title":["Knowledge Representation in Planning: A PDDL to OCL h Translation"],"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"}]},{"given":"D.","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.E.","family":"Kitchin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,2]]},"reference":[{"key":"64_CR1","unstructured":"A. Tate (editor). Advanced Planning Technology: Technological Achievements of the ARPA\/Rome Laboratory Planning Initiative. IOS Press, 1996."},{"key":"64_CR2","unstructured":"Benjamins, Nunes de Barros, Shahar, Tate and Valente (eds). Workshop on Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice. Proceedings of AIPS, 1998."},{"key":"64_CR3","unstructured":"AIPS-98 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":"64_CR4","doi-asserted-by":"crossref","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, 2, 1971.","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"64_CR5","first-page":"367","volume":"9","author":"M. Fox","year":"1997","unstructured":"M. Fox and D. Long. The Automatic Inference of State Invariants in TIM. JAIR vol. 9, pages 367\u2013421, 1997.","journal-title":"The Automatic Inference of State Invariants in TIM. JAIR"},{"key":"64_CR6","unstructured":"D. Liu and T.L. McCluskey. The OCL Language Manual, Version 1.2. Technical report, Department of Computing Science, University of Huddersfield, 2000."},{"key":"64_CR7","unstructured":"T. L. McCluskey, P. Jarvis, and D. E. Kitchin. OCL\n                    h: a sound and supportive planning domain modelling language. Technical report, Department of Computer Science, The University of Huddersfield, 1999."},{"key":"64_CR8","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"},{"key":"64_CR9","unstructured":"T. L. McCluskey and R.M. Simpson. Adequacy of Planning Domain Descriptions. Technical Report, The University of Huddersfield, 2000."},{"issue":"1-2","key":"64_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"B. Pell","year":"1998","unstructured":"B. Pell N. Muscettola, P. P. Nayak 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":"64_CR11","doi-asserted-by":"crossref","unstructured":"N. J. Nilsson. Principles of Artificial Intelligence. Springer-Verlag, 1982.","DOI":"10.1007\/978-3-662-09438-9"},{"key":"64_CR12","unstructured":"PLANET. First Workshop of the PLANET Knowledge Acquistion Technical Coordination Unit. \n                      http:\/\/helios.hud.ac.uk\/planet\n                      \n                    , 1999."},{"key":"64_CR13","unstructured":"Planform. An Open Environment for Building Planners. \n                      http:\/\/helios.hud.ac.uk\/planform\n                      \n                    ."},{"volume-title":"Proceedings, 1st NASA Workshop on Planning and Scheduling in Space Applications","year":"1997","key":"64_CR14","unstructured":"S. Chien (editor). Proceedings, 1st NASA Workshop on Planning and Scheduling in Space Applications. NASA, Oxnard CA, 1997."},{"key":"64_CR15","unstructured":"A. Tate, B. Drabble, and J. Dalton. O-Plan: a Knowledged-Based Planner and its Application to Logistics. AIAI, University of Edinburgh, 1996."},{"key":"64_CR16","unstructured":"D. Wilkins. Using the SIPE-2 Planning System: A Manual for SIPE-2, Version5.0. SRI International, Artificial Intelligence Center, 1999."}],"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-39963-1_64","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T03:03:16Z","timestamp":1550804596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-39963-1_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410942","9783540399636"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-39963-1_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}