{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T23:02:44Z","timestamp":1649199764343},"reference-count":40,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence in Engineering"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1016\/0954-1810(93)90007-3","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"235-251","source":"Crossref","is-referenced-by-count":1,"title":["An imperative language for task-level planning: Definition in temporal logic"],"prefix":"10.1016","volume":"8","author":[{"given":"Eric","family":"Rutten","sequence":"first","affiliation":[]},{"given":"Lionel","family":"Marc\u00e9","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0954-1810(93)90007-3_BIB1","series-title":"Proceedings of the 3rd International Conference on Human Machine Interaction and Artificial Intelligence in Aeronautics and Space","article-title":"A task-level language for operator assistance in teleoperation","author":"Rutten","year":"1990"},{"key":"10.1016\/0954-1810(93)90007-3_BIB2","series-title":"PhD thesis","article-title":"Sp\u00e9cification et s\u00e9mantique operationnelle d'un language de contr\u00f4le d'ex\u00e9cution de plans d'actions pour la t\u00e9l\u00e9robotique","author":"Paoletti","year":"1991"},{"key":"10.1016\/0954-1810(93)90007-3_BIB3","series-title":"Proceedings of the 1992 IEEE International Conference on Robotics and Automation","first-page":"2751","article-title":"A task-level programming language and its reactive execution","author":"Coste-Mani\u00e8re","year":"1992"},{"key":"10.1016\/0954-1810(93)90007-3_BIB4","series-title":"Application \u00e0 l'assistance \u00e0 l'op\u00e9rateur en t\u00e9l\u00e9op\u00e9ration","article-title":"Repr\u00e9sentation en logique temporelle de plans d'actions dot\u00e9s d'une structure de contr\u00f4le imp\u00e9rative","author":"Rutten","year":"1990"},{"issue":"2","key":"10.1016\/0954-1810(93)90007-3_BIB5","first-page":"61","article-title":"AI Planning: systems and techniques","volume":"11","author":"Hendler","year":"1990","journal-title":"AI Magazine"},{"issue":"2","key":"10.1016\/0954-1810(93)90007-3_BIB6","first-page":"115","article-title":"DARPA Santa Cruz workshop on planning","volume":"9","author":"Swartout","year":"1988","journal-title":"AI Magazine"},{"key":"10.1016\/0954-1810(93)90007-3_BIB7","series-title":"Proceedings of the IJCAI '81","first-page":"221","article-title":"An interval-based representation of temporal knowledge","author":"Allen","year":"1981"},{"key":"10.1016\/0954-1810(93)90007-3_BIB8","series-title":"From Natural Language Processing to Logic for Expert Systems","article-title":"A formal language for the requirements engineering of computer systems","author":"Dubois","year":"1991"},{"issue":"6","key":"10.1016\/0954-1810(93)90007-3_BIB9_1","first-page":"527","article-title":"Th\u00e9orie de la programmation et logique temporelle","volume":"6","author":"Audureau","year":"1987","journal-title":"TSI Technique et Science Informatiques"},{"issue":"2","key":"10.1016\/0954-1810(93)90007-3_BIB9_2","first-page":"181","article-title":"Th\u00e9orie de la programmation et logique temporelle","volume":"7","author":"Audureau","year":"1988","journal-title":"TSI Technique et Science Informatiques"},{"issue":"11","key":"10.1016\/0954-1810(93)90007-3_BIB10","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"10.1016\/0954-1810(93)90007-3_BIB11","series-title":"PhD thesis","article-title":"Reasoning about change: time and causation from the standpoint of artificial intelligence","author":"Shoham","year":"1986"},{"key":"10.1016\/0954-1810(93)90007-3_BIB12","series-title":"De la Linguistique \u00e0 l'intelligence Artificielle","article-title":"Outils Logiques pour le Traitement du Temps","author":"Bestougeff","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB13","series-title":"Actes du 7e Congr\u00e8s AFCET-INRIA de Reconnaissance des Formes et Intelligence Artificielle, RFIA","first-page":"3","article-title":"Repr\u00e9sentation et gestion de relations temporelles","author":"Ghallab","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB14","series-title":"Proceedings of the AAAI '86","first-page":"89","article-title":"A representation of action structures","author":"Sandewall","year":"1986"},{"key":"10.1016\/0954-1810(93)90007-3_BIB15","series-title":"Robotics Research 4","article-title":"Dealing with Time in Planning and Execution Monitoring","author":"Ghallab","year":"1988"},{"key":"10.1016\/0954-1810(93)90007-3_BIB16","series-title":"Technical report no LAIC-IDA-89-TR1","article-title":"A Software Architecture for Autonomous Robots","author":"Hultman","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB17","article-title":"Robot programming","volume":"71","author":"Lozano-Perez","year":"1983"},{"key":"10.1016\/0954-1810(93)90007-3_BIB18","series-title":"NATO Workshop on Robot Programming Languages","first-page":"86","article-title":"Report of the robot programming languages working group","volume":"RA4","author":"Voltz","year":"1988"},{"key":"10.1016\/0954-1810(93)90007-3_BIB19","series-title":"Languages de Programmation de la Robotique","author":"Gaspart","year":"1987"},{"key":"10.1016\/0954-1810(93)90007-3_BIB20","series-title":"Proceedings of the 1987 IEEE Workshop on Languages for Automation","first-page":"43","article-title":"LABICS: a language for distributed, hierarchical, and dynamically reconfigurable control system","author":"Schroeder-Trovato","year":"1987"},{"key":"10.1016\/0954-1810(93)90007-3_BIB21","series-title":"PhD Thesis","article-title":"Etude d'un syst\u00e8me de supervison pour la t\u00e9l\u00e9op\u00e9ration asist\u00e9e par ordinateur","author":"Gravez","year":"1988"},{"key":"10.1016\/0954-1810(93)90007-3_BIB22","first-page":"381","article-title":"A natural-language interface to a mobile robot","volume":"Vol. II","author":"Michalowski","year":"1987"},{"key":"10.1016\/0954-1810(93)90007-3_BIB23","series-title":"Technical Report no LiTH-IDA-R-88-24","article-title":"Realizing Action Plans and Response Rules in a System Tool for an Autonomous Vehicle","author":"Hultman","year":"1988"},{"key":"10.1016\/0954-1810(93)90007-3_BIB24","series-title":"Actes du Colloque sur l'Ing\u00e9nierie des Interfaces Homme-Machine","first-page":"131","article-title":"MAD: une M\u00e9thode analytique de description des t\u00e2ches","author":"Scapin","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB25","series-title":"Coordinated Computing; Tools and Techniques for Distributed Software","author":"Filman","year":"1984"},{"issue":"1","key":"10.1016\/0954-1810(93)90007-3_BIB26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356901.356903","article-title":"Concepts and notations for concurrent programming","volume":"15","author":"Andrews","year":"1983","journal-title":"ACM Computing Surveys"},{"issue":"no 475","key":"10.1016\/0954-1810(93)90007-3_BIB27","article-title":"Quelques outils Graphiques pour la Mod\u00e9lisation du contr\u00f4le d'Execution en Robotique de Coop\u00e9ration","author":"Paoletti","year":"1989","journal-title":"Res. Report IRISA"},{"key":"10.1016\/0954-1810(93)90007-3_BIB28","series-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages, POPL '87","first-page":"178","article-title":"Lustre, a declarative language for programming synchronous systems","author":"Caspi","year":"1987"},{"key":"10.1016\/0954-1810(93)90007-3_BIB29","first-page":"1321","article-title":"Programming real-time applications with SIGNAL","volume":"79","author":"Le Guernic","year":"1991"},{"key":"10.1016\/0954-1810(93)90007-3_BIB30","series-title":"Research Report","article-title":"The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation","author":"Berry","year":"1988"},{"key":"10.1016\/0954-1810(93)90007-3_BIB31","series-title":"Internal Report, 89-01","article-title":"Le Syst\u00e8me Electre","author":"Creusot","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB32","series-title":"Proc. of the IEEE Workshop on Intelligent Motion Control","article-title":"A synchronous approach for control sequencing in robotic applications","author":"Espiau","year":"1990"},{"key":"10.1016\/0954-1810(93)90007-3_BIB33","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","article-title":"Towards a general theory of action and time","volume":"23","author":"Allen","year":"1984","journal-title":"Artificial Intelligence"},{"key":"10.1016\/0954-1810(93)90007-3_BIB34","series-title":"Proceedings of the 2nd Scandinavian Conference on Artificial Intelligence SCAI '89","article-title":"Temporal logics and structured plans","author":"Rutten","year":"1989"},{"key":"10.1016\/0954-1810(93)90007-3_BIB35_1","series-title":"Proceedings of the IJCAI-89 Workshop on Integrated Human-Machine Intelligence in Aerospace Systems","article-title":"Plan simulation using temporal logics","author":"Rutten","year":"1989"},{"issue":"no. 1095","key":"10.1016\/0954-1810(93)90007-3_BIB35_2","year":"1989","journal-title":"Research Report INRIA"},{"key":"10.1016\/0954-1810(93)90007-3_BIB36","series-title":"Proceedings of the 2nd European In-orbit Operations Technology Symposium","article-title":"The Bi-Arm Servicer, a multi-mission concept and a technological model for space robotics","author":"Andr\u00e9","year":"1989"},{"issue":"no. 1304","key":"10.1016\/0954-1810(93)90007-3_BIB37","article-title":"Proposition d'Architecture de Contr\u00f4leur Ouvert pour la Robotique","author":"Borelly","year":"1990","journal-title":"Research Report INRIA"},{"key":"10.1016\/0954-1810(93)90007-3_BIB38","series-title":"Einf\u00fchrung in die Planerstellungsmethoden der K\u00fcnstlichen Intelligenz","article-title":"Planen","author":"Hertzberg","year":"1989"}],"container-title":["Artificial Intelligence in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0954181093900073?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0954181093900073?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:22:46Z","timestamp":1553628166000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0954181093900073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["0954181093900073"],"URL":"https:\/\/doi.org\/10.1016\/0954-1810(93)90007-3","relation":{},"ISSN":["0954-1810"],"issn-type":[{"value":"0954-1810","type":"print"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}