{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:08:47Z","timestamp":1648937327168},"reference-count":32,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1080\/095281399146553","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T12:22:42Z","timestamp":1027686162000},"page":"219-238","source":"Crossref","is-referenced-by-count":0,"title":["A planning language for embedded systems"],"prefix":"10.1080","volume":"11","author":[{"given":"LUCA","family":"SPALAZZI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"CIT0002","unstructured":"Antoniol, G., Caprile, B., Cimatti, A., Fiutem, R. and Lazzari, G. Experiencing real-life interaction with the experimental platform of MAIA. Proceedings of the 1st European Workshop on Human Comfort and Security. June1994, Brussels. Edited by: Pfleger, S."},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/0952-1976(95)00021-R"},{"key":"CIT0004","unstructured":"Beetz, M. and McDermott, D. Improving robot plans during their execution. Proceedings 2nd International Conference on AI Planning Systems (AIPS-94). June13\u2013151994, Chicago, IL. Edited by: Hammond, K. pp.7\u201312. Menlo Park, CA: AAAI Press."},{"key":"CIT0005","unstructured":"Biundo, S., Dengler, D. and K\u00f6hler, J. Deductive planning and plan reuse in a command language environment. Proceedings of the 10th European Conference on Artificial Intelligence. August3\u201371992, Vienna, Austria. Edited by: Neumann. pp.628\u2013632. Chichester, UK: John Wiley & Sons."},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"CIT0007","doi-asserted-by":"crossref","unstructured":"Cattoni, R., Di Caro, G., Aste, M. and Carpile, B. Bridging the gap between planning and reactivity: a layered architecture for autonomous indoor navigation. Proceedings of the International Conference IROS '94. September1994, Munich, Germany. New York, NY: IEEE Press.","DOI":"10.1109\/IROS.1994.407489"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"CIT0010","doi-asserted-by":"crossref","unstructured":"Firby, R. J. Building symbolic primitives with continuous control routines. Artificial Intelligence Planning Systems : Proceedings of 1st International Conference. Edited by: Hendler, J. pp.62\u201369. San Mateo, CA: Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-049944-4.50013-6"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(93)90035-F"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1986.13639"},{"key":"CIT0013","unstructured":"Ghallab, M. and Laruelle, H. Representation and control in IxTeT, a temporal planner. Proceedings 2nd International Conference on AI Planning Systems (AIPS-94). June13\u2013151994, Chicago, IL. Edited by: Hammond, K. pp.61\u201367. Menlo Park, CA: AAAI Press."},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90040-7"},{"key":"CIT0015","first-page":"497","volume-title":"Handbook of Philosophical Logic","author":"Harel D."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"Kaelbling, L. P. An architecture for intelligent reactive systems. Reasoning About Actions and Plans : Proceedings of the 1986 Workshop. San Mateo, CA: Morgan-Kaufmann Publishers.","DOI":"10.1016\/B978-0-934613-30-9.50019-6"},{"key":"CIT0017","series-title":"Technical Report FS-94-03","volume-title":"Control of the Physical World by Intelligent Systems, Working Notes of the 1994 AAAI Fall Symposium","author":"Lesperance Y.","year":"1994"},{"key":"CIT0018","unstructured":"Lifschitz, V. A language for describing actions. Proceedings Second Symposium on Logical Formalizations of Commonsense Reasoning. January11\u2013131993, Austin, Texas. Edited by: Morgenstern, L."},{"key":"CIT0019","first-page":"463","volume-title":"Machine Intelligence 4","author":"McCarthy J.","year":"1969"},{"key":"CIT0020","unstructured":"Rao, A. S. and GeorgeOE, M. P. Modeling rational agents within a BDI-architecture. Proceedings KR'91, Principle of Knowledge Representation and Reasoning. pp.473\u2013484. Cambridge, MA: Morgan Kaufmann."},{"key":"CIT0021","unstructured":"Rosenschein, S. Plan synthesis: a logical perspective. Proceedings of the 5th International Joint Conference on Artificial Intelligence. August24\u2013281981, Vancouver, British Columbia. pp.331\u2013337. San Mateo, CA: Morgan Kauffmann."},{"key":"CIT0022","unstructured":"Simmons, R. An architecture for coordinating planning, sensing and action. Proceedings of the Workshop on Innovative Approaches to Planning, Scheduling and Control. November5\u201381990, San Diego, CA. pp.292\u2013297. San Mateo, CA: Morgan Kaufmann."},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008248208102"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(81)90008-4"},{"key":"CIT0025","series-title":"Technical Report 9103-13","volume-title":"An integrated approach to artificial intelligence: the MAIA project at IRST","author":"Stringa L.","year":"1991"},{"key":"CIT0026","unstructured":"Traverso, P. and Spalazzi, L. A logic for acting, sensing and planning. Proceedings of the 14th International Joint Conference on Artificial Intelligence. pp.1941\u20131947. San Mateo: Morgan and Kaufmann."},{"key":"CIT0027","unstructured":"Traverso, P., Cimatti, A. and Spalazzi, L. Beyond the single planning paradigm: introspective planning. Proceedings ECAI-92. August3\u201371992, Vienna, Austria. Edited by: Neumann. pp.643\u2013647. Chichester, UK: John Wiley & Sons. IRST-Technical Report 9204-05 (Trento, Italy: IRST)"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1080\/08839519408945447"},{"key":"CIT0029","volume-title":"Intelligent Agents Volume II\u2014Proceedings of the 1995 Workshop on Agent Theories, Architectures, and Languages (ATAL-95)","author":"Traverso P.","year":"1996"},{"key":"CIT0030","first-page":"526","volume-title":"Handbook of Theoretical Computer Science","author":"van Leeuwen J.","year":"1990"},{"key":"CIT0031","first-page":"514","volume-title":"Readings in Cognitive Science. A Perspective from Psychology and Artificial Intelligence","author":"Wilensky R.","year":"1979"},{"key":"CIT0032","volume-title":"Practical Planning: Extending the Classical AI Planning Paradigm","author":"Wilkins D. E.","year":"1988"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/095281399146553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,3]],"date-time":"2020-03-03T20:43:24Z","timestamp":1583268204000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/095281399146553"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["10.1080\/095281399146553"],"URL":"https:\/\/doi.org\/10.1080\/095281399146553","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"value":"0952-813X","type":"print"},{"value":"1362-3079","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}