{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T04:02:23Z","timestamp":1747627343244,"version":"3.40.5"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,3,1]],"date-time":"1998-03-01T00:00:00Z","timestamp":888710400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[1998,3]]},"DOI":"10.1023\/a:1008248208102","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"157-172","source":"Crossref","is-referenced-by-count":2,"title":["An Architecture for Planning in Embedded Systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Luca","family":"Spalazzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"159023_CR1","unstructured":"P. Agree and D. Chapman, \u201cPengi: An implementation of a theory of activity,\u201d in Proc. of the 6th National Conf. on Artificial Intelligence, Seattle, WA, 1987, pp. 268-272."},{"key":"159023_CR2","doi-asserted-by":"crossref","unstructured":"G. Antoniol, B. Caprile, A. Cimatti, and R. Fiutem, \u201cThe mobile robot of MAIA: Actions and interactions in a real-life scenario,\u201d in The Biology and Technology of Intelligent Autonomous Agents, Springer Verlag, NATO-ASI Series, 1994. IRST Tech. Rep. 9606-27.","DOI":"10.1007\/978-3-642-79629-6_12"},{"key":"159023_CR3","unstructured":"G. Antoniol, B. Caprile, A. Cimatti, R. Fiutem, and G. Lazzari, \u201cExperiencing real-life interaction with the experimental platform of MAIA,\u201d in Proc. of the 1st European Workshop on Human Comfort and Security, 1994. Held in conjunction with EITC'94. Also IRST-Technical Report 9406-27, IRST, Trento, Italy."},{"issue":"3-4","key":"159023_CR4","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BF01530803","volume":"8s.","author":"A. Armando","year":"1993","unstructured":"A. Armando and E. Giunchiglia, \u201cEmbedding complex decision procedures inside an interactive theorem prover,\u201d Annals of Mathematics and Artificial Intelligence, vol. 8, nos.3-4, pp. 475-502, 1993.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"159023_CR5","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0952-1976(95)00021-R","volume":"4","author":"A. Armando","year":"1995","unstructured":"A. Armando, A. Cimatti, E. Giunchiglia, P. Pecchiari, L. Spalazzi, and P. Traverso, \u201cFlexible planning by integrating multilevel reasoning,\u201d Journal of Engineering Application of Artificial Intelligence, vol. 4, pp. 401-412, July 1995. Also IRST-Technical Report 9401-10, IRST, Trento, Italy; and DIST Technical Report 93-0016, University of Genova, Italy.","journal-title":"Journal of Engineering Application of Artificial Intelligence"},{"key":"159023_CR6","first-page":"628","volume-title":"Proc. of 1st Int. Conf. on Artificial Intel. Plan. Sys.","author":"M. Beetz","year":"1992","unstructured":"M. Beetz and D. McDermott \u201cDeclarative goals in reactive plans,\u201d in Proc. of 1st Int. Conf. on Artificial Intel. Plan. Sys., edited by J. Hendler, Morgan Kaufmann: San Mateo, CA, 1992, pp. 628-638."},{"key":"159023_CR7","doi-asserted-by":"crossref","unstructured":"S. Benson and N.J. Nilsson, \u201cReacting, planning and learning in an autonomous agent,\u201d Machine Intelligence, vol. 14, 1995.","DOI":"10.1093\/oso\/9780198538608.003.0002"},{"key":"159023_CR8","unstructured":"S. Biundo, D. Dengler, and J. K\u00f6hler, \u201cDeductive planning and plan reuse in a command language environment,\u201d in Proc. 10th European Conf. on Artificial Intelligence, Vienna, Austria, 1992, pp. 628-632."},{"issue":"1","key":"159023_CR9","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/JRA.1986.1087032","volume":"2","author":"R.A. Brooks","year":"1986","unstructured":"R.A. Brooks, \u201cA robust layered control system for a mobile robot,\u201d IEEE Journal of Robotics and Automation, vol. 2, no.1, pp. 14-23, 1986.","journal-title":"IEEE Journal of Robotics and Automation"},{"key":"159023_CR10","unstructured":"R. Cattoni, G. Di Caro, M. Aste, and B. Caprile, \u201cBridging the gap between planning and reactivity: A layered architecture for autonomous indoor navigation,\u201d in Proc. of the the Int. Conf. IROS' 94, Munich, Germany, 1994."},{"key":"159023_CR11","doi-asserted-by":"crossref","unstructured":"D. Chapman, \u201cPlanning for conjunctive goals,\u201d Artificial Intelligence, vol. 32, no.3, pp. 281-331, 1987.","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"159023_CR12","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"E.W. Dijkstra","year":"1959","unstructured":"E.W. Dijkstra, \u201cA note on two problems in connexion with graphs,\u201d Numer. Math., vol. 1, pp. 269-271, 1959.","journal-title":"Numer. Math."},{"key":"159023_CR13","unstructured":"E.H. Durfee and V.R. Lesser, \u201cIncremental planning to control a blackboard-based problem solver,\u201d in Proc. of the 5th National Conf. on Artificial Intelligence, Philadelphia, PA, 1986."},{"issue":"3-4","key":"159023_CR14","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2s.","author":"R.E. Fikes","year":"1971","unstructured":"R.E. Fikes and N.J. Nilsson, \u201cSTRIPS: A new approach to the application of theorem proving to problem solving,\u201d Artificial Intelligence, vol. 2, nos.3-4, pp. 189-208, 1971.","journal-title":"Artificial Intelligence"},{"key":"159023_CR15","first-page":"62","volume-title":"Proc. of 1st Int. Conf. on Artificial Intel. Planning Syst.","author":"R.J. Firby","year":"1992","unstructured":"R.J. Firby, \u201cBuilding symbolic primitives with continuous control routines,\u201d in Proc. of 1st Int. Conf. on Artificial Intel. Planning Syst., edited by J. Hendler, Morgan Kaufmann: San Mateo, CA, 1992, pp. 62-69."},{"key":"159023_CR16","first-page":"105","volume-title":"Proc. from the Rochester Planning Workshop: From Formal Systems to Practical Systems","author":"M. Georgeff","year":"1989","unstructured":"M. Georgeff, \u201cAn embedded reasoning and planning system,\u201d in Proc. from the Rochester Planning Workshop: From Formal Systems to Practical Systems, edited by J. Tenenberg, J. Weber, and J. Allen, Rochester, NY, 1989, pp. 105-128."},{"key":"159023_CR17","series-title":"Technical Report","volume-title":"Situated reasoning and rational behaviour","author":"M.P. Georgeff","year":"1991","unstructured":"M.P. Georgeff, \u201cSituated reasoning and rational behaviour,\u201d Technical Report 21, Australian AI Institute, Carlton, Victoria, Australia, 1991."},{"issue":"10","key":"159023_CR18","doi-asserted-by":"crossref","first-page":"1383","DOI":"10.1109\/PROC.1986.13639","volume":"74","author":"M. Georgeff","year":"1986","unstructured":"M. Georgeff and A.L. Lansky, \u201cProcedural knowledge,\u201d in Proc. of IEEE, 1986, vol. 74, no.10, pp. 1383-1398.","journal-title":"Proc. of IEEE"},{"key":"159023_CR19","series-title":"Technical Report","volume-title":"GETFOL Manual-GETFOL version 2.0","author":"F. Giunchiglia","year":"1994","unstructured":"F. Giunchiglia, \u201cGETFOL Manual-GETFOL version 2.0,\u201d Technical Report 92-0010, DIST-University of Genoa, Genoa, Italy, March 1994."},{"key":"159023_CR20","unstructured":"F. Giunchiglia, P. Traverso, A. Cimatti, and L. Spalazzi, \u201cTactics: Extending the notion plan,\u201d in ECAI-92 Workshop Beyond Sequential Planning, Vienna, Aug. 1992."},{"key":"159023_CR21","unstructured":"F. Giunchiglia, L. Spalazzi, and P. Traverso, \u201cPlanning with Failure,\u201d in Proc. 2nd Int. Conf. on AI Planning Systems (AIPS-94), Chicago, 1994."},{"issue":"1-2","key":"159023_CR22","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0004-3702(90)90040-7","volume":"45s.","author":"K.J. Hammond","year":"1990","unstructured":"K.J. Hammond, \u201cExplaining and repairing plans that fail,\u201d Artificial Intelligence, vol. 45, nos.1-2, pp. 173-228, 1990.","journal-title":"Artificial Intelligence"},{"key":"159023_CR23","unstructured":"S. Hanks and R.J. Firby, \u201cIssues and architectures for planning and execution,\u201d in Proc. of the Workshop on Innovative Approaches to Planning, Scheduling and Control, 1990, pp. 59-70."},{"issue":"3","key":"159023_CR24","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0004-3702(85)90063-3","volume":"26","author":"B. Hayes-Roth","year":"1985","unstructured":"B. Hayes-Roth, \u201cA blackboard architecture for control,\u201d Artificial Intelligence, vol. 26, no.3, pp. 251-321, 1985.","journal-title":"Artificial Intelligence"},{"key":"159023_CR25","volume-title":"Reasoning about Actions and Plans: Proc. of the 1986 Workshop","author":"L.P. Kaelbling","year":"1987","unstructured":"L.P. Kaelbling, \u201cAn architecture for intelligent reactive systems,\u201d in Reasoning about Actions and Plans: Proc. of the 1986 Workshop, Morgan Kaufmann: San Mateo, CA, 1987."},{"issue":"3","key":"159023_CR26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J.E. Laird","year":"1987","unstructured":"J.E. Laird, A. Newell, and P.S. Rosenbloom, \u201cSoar: An architecture for general intelligence,\u201d Artificial Intelligence, vol. 33, no.3, pp. 1-4 64, 1987.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"159023_CR27","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/70.240194","volume":"9","author":"D.M. Lyons","year":"1990","unstructured":"D.M. Lyons, \u201cRepresenting and analyzing action plans as networks of concurrent processes,\u201d IEEE Transactions on Robotics and Automation, vol. 9, no.3, pp. 241-256, June 1990.","journal-title":"IEEE Transactions on Robotics and Automation"},{"key":"159023_CR28","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1613\/jair.30","volume":"1","author":"N.J. Nilsson","year":"1994","unstructured":"N.J. Nilsson, \u201cTeleo-Reactive Programs for Agent Control,\u201d Journal of Artificial Intelligence Research, vol. 1, pp. 139-158, Jan. 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"159023_CR29","unstructured":"E.H. Ruspini, A. Saffiotti, and K. Konolige, \u201cProgress in reasearch on autonomous vehicle motion,\u201d in Industrial Application of Fuzzy Logics, edited by J. En and R. Langari, 1994."},{"key":"159023_CR30","unstructured":"S. Russel and E. Wefald, \u201cPrinciples of metareasoning,\u201d in Proc. of the First Int. Conf. on Principles of Knowledge Representation and Reasoning, Toronto, Canada, 1989."},{"key":"159023_CR31","unstructured":"E.D. Sacerdoti, \u201cThe nonlinear nature of plans,\u201d in Proc. of the 4th Int. Joint Conf. on Artificial Intelligence, 1975."},{"issue":"1-2","key":"159023_CR32","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/0004-3702(94)00088-I","volume":"76s.","author":"A. Saffiotti","year":"1995","unstructured":"A. Saffiotti, K. Konolige, and E.H. Ruspini, \u201cA multivalued logic approach to integrating planning and control,\u201d Artificial Intelligence, vol. 76, nos.1-2, pp. 481-526, 1995.","journal-title":"Artificial Intelligence"},{"key":"159023_CR33","unstructured":"R. Simmons, \u201cAn architecture for coordinating planning, sensing and action,\u201d in Proc. of the Workshop on Innovative Approaches to Planning, Scheduling and Control, 1990, pp. 292-297."},{"key":"159023_CR34","series-title":"Internal Report","volume-title":"A planning language for embedded systems","author":"L. Spalazzi","year":"1996","unstructured":"L. Spalazzi, \u201cA planning language for embedded systems,\u201d Internal Report Dec96, Istituto di Informatica, University of Ancona, Italy, 1996."},{"key":"159023_CR35","first-page":"80","volume-title":"Proc. AIS'92, AI Simulation and Planning in High Autonomy Systems Conf.","author":"L. Spalazzi","year":"1992","unstructured":"L. Spalazzi, A. Cimatti, and P. Traverso, \u201cImplementing planning as tactical reasoning,\u201d in Proc. AIS'92, AI Simulation and Planning in High Autonomy Systems Conf., IEEE Computer Society Press: Perth Australia, 1992, pp. 80-85."},{"issue":"2","key":"159023_CR36","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0004-3702(81)90008-4","volume":"16","author":"M.J. Stefik","year":"1981","unstructured":"M.J. Stefik, \u201cPlanning and Meta-Planning,\u201d Artificial Intelligence, vol. 16, no.2, pp. 141-169, 1981.","journal-title":"Artificial Intelligence"},{"key":"159023_CR37","series-title":"Technical Report","volume-title":"An integrated approach to artificial intelligence: The MAIA Project at IRST","author":"L. Stringa","year":"1991","unstructured":"L. Stringa, \u201cAn integrated approach to artificial intelligence: The MAIA Project at IRST,\u201d Technical Report 9103-13, IRST, Trento, Italy, 1991."},{"key":"159023_CR38","unstructured":"P. Traverso, A. Cimatti, and L. Spalazzi, \u201cBeyond the single planning paradigm: Introspective planning,\u201d in Proc. ECAI-92, Vienna, Austria, 1992, pp. 643-647. IRST-Technical Report 9204-05, IRST, Trento, Italy."},{"key":"159023_CR39","unstructured":"P. Traverso and L. Spalazzi, \u201cA logic for acting, sensing and planning,\u201d in Proc. of the 14th Int. Joint Conf. on Artificial Intelligence, 1995. Also IRST-Technical Report 9501-03, IRST, Trento, Italy."},{"key":"159023_CR40","first-page":"526","volume-title":"Handbook of Theoretical Computer Science","author":"J. van Leeuwen","year":"1990","unstructured":"J. van Leeuwen, \u201cGraph Algorithms,\u201d in Handbook of Theoretical Computer Science, edited by J. van Leeuwen, vol. A, North-Holland: Amsterdam, 1990, pp. 526-631."},{"key":"159023_CR41","volume-title":"Readings in Cognitive Science. A Perspective from Psycology and Artificial Intelligence","author":"R. Wilensky","year":"1979","unstructured":"R. Wilensky, \u201cMeta-planning: Representing and using knowledge about planning in problem solving and natural language understanding,\u201d in Readings in Cognitive Science. A Perspective from Psycology and Artificial Intelligence, edited by A. Collins and E. Smith, Morgan Kaufmann: San Mateo, CA, 1979."},{"key":"159023_CR42","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1111\/j.1467-8640.1985.tb00057.x","volume":"1","author":"D.E. Wilkins","year":"1985","unstructured":"D.E. Wilkins, \u201cRecovering from execution errors in SIPE,\u201d Computational Intelligence, vol. 1, pp. 33-45, 1985.","journal-title":"Computational Intelligence"},{"key":"159023_CR43","volume-title":"Practical Planning: Extending the Classical AI Planning Paradigm","author":"D.E. Wilkins","year":"1988","unstructured":"D.E. Wilkins, Practical Planning: Extending the Classical AI Planning Paradigm, Morgan Kaufmann: San Mateo, CA, 1988."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008248208102.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008248208102\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008248208102.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:48:01Z","timestamp":1747579681000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008248208102"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,3]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,3]]}},"alternative-id":["159023"],"URL":"https:\/\/doi.org\/10.1023\/a:1008248208102","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[1998,3]]}}}