{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:23Z","timestamp":1725664523919},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604372"},{"type":"electronic","value":"9783540474685"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60437-5_29","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:29:23Z","timestamp":1330262963000},"page":"291-302","source":"Crossref","is-referenced-by-count":0,"title":["A weakest precondition semantics for conditional planning"],"prefix":"10.1007","author":[{"given":"M.","family":"Baioletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Marcugini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Milani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"29_CR1","unstructured":"M.J. Schoppers, \u201dUniversal Plans for Reactive Robots in Unpredictable Domains\u201d, Proc. IJCAI-87, 1039 (1987)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"M.A.Peot, D.E.Smith, \u201dConditional Nonlinear Planning\u201d, Proc.of the 1st Int. Conf. on A.I.Planning Systems, AIPS92, J.Hendler Ed., Morgan Kaufmann, 189 (1992)","DOI":"10.1016\/B978-0-08-049944-4.50027-6"},{"key":"29_CR3","unstructured":"D.H.D. Warren, \u201dGenerating Conditional Plans and Programs\u201d Proc. of AISB-76 Summer Conference, Edinburgh, 277 (1976)"},{"key":"29_CR4","unstructured":"G.Brewka, J.Hertzberg: How To Do Things with Worlds: \u201dOn Formalizing Actions and Plans\u201d, Tasso-report n.11, GMD, (1990)"},{"key":"29_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"n. 35","author":"M.L. Ginsberg","year":"1988","unstructured":"M.L.Ginsberg, D.E.Smith, \u201dReasoning About Action I: A Possible Worlds Approach\u201d Art.Int., n. 35, 165 (1988)","journal-title":"Art.Int."},{"key":"29_CR6","first-page":"53","volume-title":"Lecture Notes in Artificial Intelligence 522","author":"R.G. Sani","year":"1991","unstructured":"R.G. Sani, S. Steel \u201dRecursive Plans\u201d, in Proceedings of the 1st European Workshop on Planning EWSP 1991, Sankt Augustin, Germany, Lecture Notes in Artificial Intelligence 522, Springer Verlag, 53 (1991)"},{"key":"29_CR7","unstructured":"A. Milani \u201dA Representation for Multiple Situations in Conditional Planning\u201d, in Current Trends in AI Planning, EWSP'93 \u2014 2nd European Workshop on Planning, IOS Press (1994)"},{"key":"29_CR8","volume-title":"Tech.Rep. n.12","author":"G. Antognoni","year":"1993","unstructured":"G. Antognoni, A.Milani, S.Marcugini \u201dExtending a Conditional Planning Model with Multiple Situations Management\u201d, Tech.Rep. n.12 January 1993, Dipartimento di Matematica, Universit\u00e0 di Perugia, Perugia, Italy (1993)"},{"key":"29_CR9","volume-title":"Tesi di Laurea","author":"G. Antognoni","year":"1992","unstructured":"G. Antognoni, \u201dPianificazione di Azioni con Effetti Alternativi: un Modello di Rappresentazione\u201d, Tesi di Laurea, Dipartimento di Matematica, Universit\u00e0 di Perugia, Perugia, Italy (1992)"},{"key":"29_CR10","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"n.2","author":"R.E. Fikes","year":"1971","unstructured":"R.E.Fikes, N.J.Nillson \u201dSTRIPS: A New Approach to the Application of Theorem Proving to Problem Solving\u201d, Artific. Intell. n.2, 189 (1971)","journal-title":"Artific. Intell."},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"D.Chapman \u201dPlanning for conjunctive goal\u201d, Artific. Intell. n.32 (1987)","DOI":"10.1016\/0004-3702(87)90092-0"},{"key":"29_CR12","unstructured":"S.Hanks, \u201dPratical Temporal Projection\u201d, Proc. AAAI-90, (1990)"},{"key":"29_CR13","first-page":"1","volume-title":"On the semantics of STRIPS","author":"V. Liftschiz","year":"1987","unstructured":"V.Liftschiz \u201dOn the semantics of STRIPS\u201d, Proc. 1986 Workshop Reasoning About Actions and Plans, Timberline, OR, Morgan Kaufmann, 1, (1987)"},{"key":"29_CR14","first-page":"1","volume-title":"An Architecture for Intelligent Reactive Systems","author":"L.P. Kaelbling","year":"1987","unstructured":"L.P.Kaelbling, \u201dAn Architecture for Intelligent Reactive Systems\u201d, Proc. 1986 Workshop Reasoning About Actions and Plans, Timberline, OR, Morgan Kaufmann, 1, (1987)"},{"key":"29_CR15","unstructured":"D.H.D. Warren, \u201dWarplan: A System for Generating Plans\u201d in Readings in Planning; J. Allen, J.Hendler, A. Tate ed., Morgan Kaufmann (1990)"},{"key":"29_CR16","unstructured":"M.Winslett, \u201dReasoning about Action Using a Possible Models Approach\u201d, Proc. AAAI-88, 89 (1988)"},{"key":"29_CR17","unstructured":"T.Bylander, \u201dComplexity Results for Planning\u201d, Proc. of IJCAI-91, 274 (1991)"},{"key":"29_CR18","unstructured":"L.Morgensten, \u201dKnowledge Preconditions for Actions and Plans\u201d in Proceeding of IJCAI-87 (1987)"}],"container-title":["Lecture Notes in Computer Science","Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60437-5_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:59:15Z","timestamp":1605628755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60437-5_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604372","9783540474685"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-60437-5_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}