{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:19Z","timestamp":1725664279908},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584957"},{"type":"electronic","value":"9783540490104"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58495-1_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:32:20Z","timestamp":1330273940000},"page":"305-314","source":"Crossref","is-referenced-by-count":2,"title":["Turning an action formalism into a planner \u2014 Essentials of a case study"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Hertzberg","sequence":"first","affiliation":[]},{"given":"Sylvie","family":"Thi\u00e9baux","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"31_CR1","unstructured":"S. Biundo. Present-day deductive planning. In C. B\u00e4ckstr\u00f6m and E. Sandewall, editors, Current Trends in AI Planning. EWSP'93 \u2014 2nd European Workshop on Planning, pages 1\u20135. IOS Press, 1994."},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"G. Brewka and J. Hertzberg. How to do things with worlds: On formalizing actions and plans. J. Logic and Computation, 3(5), 1993.","DOI":"10.1093\/logcom\/3.5.517"},{"key":"31_CR3","unstructured":"T.L. Dean and M. Boddy. An analysis of time-dependent planning. In Proc. AAAI-88, pages 49\u201354, 1988."},{"key":"31_CR4","unstructured":"T.L. Dean, L. Kaelbling, J. Kirman, and A. Nicholson. Planning with deadlines in stochastic domains. In Proc. AAAI-93, pages 574\u2013579, 1993."},{"key":"31_CR5","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilsson. STRIPS: A new approach to theorem proving in problem solving. J. Art. Intell., 2:189\u2013208, 1971.","journal-title":"J. Art. Intell."},{"key":"31_CR6","volume-title":"Logical Foundations of Artificial Intelligence","author":"M. Genesereth","year":"1988","unstructured":"M. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann, Palo Alto, CA, 1988."},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"J. Hertzberg and S. Thi\u00e9baux. Turning an action formalism into a planner\u2014a case study. J. Logic and Computation (Sp. Is. Actions and Processes), 4(5), Oct. 1994.","DOI":"10.1093\/logcom\/4.5.617"},{"key":"31_CR8","first-page":"1","volume-title":"On the semantics of STRIPS","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz. On the semantics of STRIPS. In M.P. Georgeff and A.L. Lansky, editors, Proc. 1986 Workshop Reasoning about Actions and Plans, pages 1\u20139, Los Altos, 1987. Morgan Kaufmann."},{"key":"31_CR9","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"J. McCarthy and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence, 4:463\u2013507, 1969.","journal-title":"Machine Intelligence"},{"issue":"4","key":"31_CR10","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1002\/int.4550060404","volume":"6","author":"D. McDermott","year":"1991","unstructured":"D. McDermott. Regression planning. Int. J. Intell. Syst., 6(4):357\u2013416, 1991.","journal-title":"Int. J. Intell. Syst."},{"key":"31_CR11","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1111\/j.1467-8640.1988.tb00285.x","volume":"4","author":"E.P.D. Pednault","year":"1988","unstructured":"E.P.D. Pednault. Synthesizing plans that contain actions with context-dependent effects. J. Computational Intelligence, 4:356\u2013372, 1988.","journal-title":"J. Computational Intelligence"},{"key":"31_CR12","volume-title":"Do the Right Thing. Studies in Limited Rationality","author":"S. Russell","year":"1991","unstructured":"S. Russell and E. Wefald. Do the Right Thing. Studies in Limited Rationality. MIT Press, Cambridge, Massachusetts, 1991."},{"key":"31_CR13","volume-title":"Administrative Behavior. A Study of Decision-Making Processes in Administrative Organizations","author":"H. A. Simon","year":"1976","unstructured":"H. A. Simon. Administrative Behavior. A Study of Decision-Making Processes in Administrative Organizations. Free Press, New York, 3 edition, 1976. Original: New York (Macmillan) 1947.","edition":"3 edition"},{"key":"31_CR14","doi-asserted-by":"crossref","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L. Valiant","year":"1984","unstructured":"L. Valiant. A theory of the learnable. C. ACM, 27:1134\u20131142, 1984.","journal-title":"C. ACM"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58495-1_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:44Z","timestamp":1605648164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58495-1_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584957","9783540490104"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-58495-1_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}