{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:55:50Z","timestamp":1725663350682},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506768"},{"type":"electronic","value":"9783540460688"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50676-4_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:31:04Z","timestamp":1330201864000},"page":"146-188","source":"Crossref","is-referenced-by-count":1,"title":["Topics in planning"],"prefix":"10.1007","author":[{"given":"Sam","family":"Steel","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF, 1983 Maintaining knowledge about temporal intervals CACM 26:11","journal-title":"CACM"},{"key":"6_CR2","unstructured":"Allen JF, Koomen JA, 1983 Planning using a temporal world model IJCAI 8"},{"key":"6_CR3","first-page":"531","volume":"528","author":"JF Allen","year":"1985","unstructured":"Allen JF, Hayes Pat: 1985 A common-sense theory of time IJCAI-85 528:531","journal-title":"IJCAI-85"},{"key":"6_CR4","unstructured":"Bartle R, Forthcoming Cross-level planning PhD thesis, Dept Computer Science, Essex University"},{"key":"6_CR5","unstructured":"Brown, Frank M (ed), 1987 The fram problem in artificial intelligence Morgan Kaufman"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0004-3702(87)90092-0","volume":"32","author":"D Chapman","year":"1987","unstructured":"Chapman D, 1987 Planning for conjunctive goals Artificial Intelligence 32 (1987) 333:377","journal-title":"Artificial Intelligence"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"T. Dean","year":"1987","unstructured":"Dean, Thomas; McDermott, Drew: 1987 Temporal data base management Artificial Intelligence 32 (1987) 1:55","journal-title":"Artificial Intelligence"},{"issue":"3","key":"6_CR8","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/0004-3702(85)90076-1","volume":"25","author":"N Dershowitz","year":"1985","unstructured":"Dershowitz, N, 1985 Synthetic programming Artificial Intelligence 25(3) 323\u2013373","journal-title":"Artificial Intelligence"},{"key":"6_CR9","unstructured":"Fox, Mark S: 1983 Constraint-directed search: a case study of job-shop scheduling PhD thesis, Carnegie-Mellon University University Microfilms 84-06442"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Fox MS, Smith SF, 1984 ISIS \u2014 a knowledge-based system for factory scheduling Expert Systems vol 1 # 1 Learned Information Inc","DOI":"10.1111\/j.1468-0394.1984.tb00424.x"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Friedland PE, Iwasaki Y, 1985 The concept and implementation of skeletal plans Journal of automated reasoning vol 1 # 2","DOI":"10.1007\/BF00244995"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Georgeff, Michael; Lansky, Amy (eds):1987 Reasoning about actions and plans Proceeding of 1986 conference Morgan Kauffman","DOI":"10.1016\/B978-0-934613-67-5.50009-5"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Green CC, 1969 Applications of theorem proving to problem solving IJCAI-69 reprinted in Readings in AI, eds Nilsson N, Webber BN Tioga","DOI":"10.21236\/ADA459656"},{"key":"6_CR14","unstructured":"Hallam J, Mellish CS (eds): 1987 Advances in artificial intelligence John Wiley"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Hoare, CAR: 1969 An axiomatic basis for computer programming CACM 12(10)","DOI":"10.1145\/363235.363259"},{"key":"6_CR16","unstructured":"Kautz, Henry A: 1982 A first-order dynamic logic for programming PhD thesis, University of Toronto Computer systems research group technical report CSRG-144"},{"key":"6_CR17","unstructured":"McCarthy J, Hayes Pat J, 1969 Some philosophical problems from the standpoint of AI in Machine Intelligence 4, eds Meltzer B, Michie D, Edinburgh University Press"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Manna, Zohar; Waldinger, Richard: 1986 A theory of plans in (Georgeff & Lansky 86)","DOI":"10.1016\/B978-0-934613-30-9.50005-6"},{"key":"6_CR19","unstructured":"Nilsson Nils, 1973 Hieracrchical robot planning and execution system SRI AI center technical note 76"},{"key":"6_CR20","unstructured":"Rosenschein, Stanley J: 1981 Plan synthesis: a logical perspective IJCAI 1981 331:337"},{"key":"6_CR21","unstructured":"Sacerdoti ED, 1977 A structure for plans and behaviour American Elsevier"},{"key":"6_CR22","unstructured":"Schank RC, Abelson RP, 1977 Scripts, plans, goals and understanding Lawrence Erlbaum"},{"issue":"2","key":"6_CR23","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0004-3702(81)90007-2","volume":"16","author":"MJ Stefik","year":"1981","unstructured":"Stefik MJ, 1981a Planning with constraints \u2014 MOLGEN: Part 1 Artificial Intelligence 16(2) 111\u2013139","journal-title":"Artificial Intelligence"},{"issue":"2","key":"6_CR24","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0004-3702(81)90008-4","volume":"16","author":"MJ Stefik","year":"1981","unstructured":"Stefik MJ, 1981b Planning and meta-planning \u2014 MOLGEN: Part 2 Artificial Intelligence 16(2) 141\u2013169","journal-title":"Artificial Intelligence"},{"key":"6_CR25","unstructured":"Steel SWD, 1987 On trying to do dependency-directed backtracking... in (Hallam & Mellish 87)"},{"key":"6_CR26","unstructured":"Tate A, 1976 Project planning using a hierarchical non-linear planner Tech report 25, Dept Artificial Intelligence, Edinburgh Univ"},{"key":"6_CR27","unstructured":"Tsang EPK: 1987 Planning in a temporal frame; a partial world description approach PhD thesis, Dept Computer Science, Essex University"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Van Benthem, JFAK: 1983 The logic of time D. Reidel publishing co.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Vere SA, 1983 Planning in time: windows and durations for activities and goals IEEE PAMI vol 5","DOI":"10.1109\/TPAMI.1983.4767389"},{"key":"6_CR30","unstructured":"Wilensky R, 1983 Planning and understanding Addison Wesley"}],"container-title":["Lecture Notes in Computer Science","Advanced Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50676-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:38Z","timestamp":1605647918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50676-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506768","9783540460688"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-50676-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}