{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:20:27Z","timestamp":1725495627299},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543640"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052949","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:38:58Z","timestamp":1149651538000},"page":"53-63","source":"Crossref","is-referenced-by-count":1,"title":["Recursive plans"],"prefix":"10.1007","author":[{"given":"G. R.","family":"Ghassem-Sani","sequence":"first","affiliation":[]},{"given":"S. W. D.","family":"Steel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","series-title":"ACM monograph series","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"Boyer, R. S. and Moore, J. S. (1979) ACM monograph series, A Computational Logic, Academic Press, INC. London"},{"key":"5_CR2","volume-title":"Prolog Programming for Artificial Intelligence","author":"I. Bratko","year":"1987","unstructured":"Bratko, I. (1987) Prolog Programming for Artificial Intelligence, Academic Press, INC. London"},{"doi-asserted-by":"crossref","unstructured":"Drummond, M. (1986) A representation of action and belief for automatic planning systems, in: (Georgeff, M. and Lansky, A.), Morgan Kauffman","key":"5_CR3","DOI":"10.1016\/B978-0-934613-30-9.50011-1"},{"unstructured":"Ghassem-Sani, G. R. (1988) Iterative actions in non-linear planners, M.Sc. Thesis, Department of Computer Science, University of Essex","key":"5_CR4"},{"unstructured":"Ghassem-Sani, G. R. and Steel, S. W. D. (forthcoming) Recursive Plans, Internal Report, University of Essex","key":"5_CR5"},{"unstructured":"Huet, G. P. (1974) A unification algorithm for typed lambda-calculus, note de travial A 055, Institute de Recherche d\u2019Informatique et d\u2019Automatique","key":"5_CR6"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Manna, Z. and Waldinger, R. (1980) A deductive approach to programme synthesis, ACM Transactions on Programming Languages and Systems, 2(1), PP. 90\u2013121","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00247434","volume":"3","author":"Z. Manna","year":"1987","unstructured":"Manna, Z. and Waldinger, R. (1987) How to clear a block: A Theory of plans, Journal of Automated Reasoning, Vol. 3, PP. 343\u2013377","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR9","volume-title":"Technical report","author":"J. McCarthy","year":"1963","unstructured":"McCarthy J. (1963) Situations, actions, and causal laws, Technical report, Stanford university, Stanford, Calf."},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"Robinson, J. A. (1965) A machine oriented logic based on the resolution principle, J. ACM 12, No 1, PP. 23\u201341","journal-title":"J. ACM"},{"key":"5_CR11","volume-title":"A Structure for Plans and Behaviour","author":"E. D. Sacerdoti","year":"1977","unstructured":"Sacerdoti, E. D. (1977) A Structure for Plans and Behaviour, American Elsevier North-Holland, New York"},{"unstructured":"Steel, S. W. D. (1988) An iterative construct for non-linear precedence planners, Proc. Seventh Biennial Conference of the Canadian Society for the Computational Study of Intelligence, PP. 227\u2013233","key":"5_CR12"},{"unstructured":"Warren, D. H. D. (1976) Generating Conditional Plans and Programmes, In Proceedings of the AISB summer conference, PP. 344\u2013354","key":"5_CR13"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(84)90053-5","volume":"22","author":"D. E. Wilkins","year":"1984","unstructured":"Wilkins, D. E. (1984) Domain-independent Planning: Representation and Plan Generation, Artificial Intelligence 22(3), PP. 269\u2013301","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","European Workshop on Planning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052949.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:05Z","timestamp":1607551205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540543640"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0052949","relation":{},"subject":[]}}