{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:30:27Z","timestamp":1759332627492,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,24]]},"DOI":"10.1145\/3276954.3276961","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T15:28:39Z","timestamp":1540394919000},"page":"44-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["T\u1d0f\u1d0f\u029f: accessible automated reasoning for human robot collaboration"],"prefix":"10.1145","author":[{"given":"Ivan","family":"Gavran","sequence":"first","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ortwin","family":"Mailahn","sequence":"additional","affiliation":[{"name":"ZeMA, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"ZeMA, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Peifer","sequence":"additional","affiliation":[{"name":"ZeMA, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Zufferey","sequence":"additional","affiliation":[{"name":"MPI-SWS, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Sonya Alexandrova Zachary Tatlock and Maya Cakmak. 2015. RoboFlow: A Flow-Based Visual Programming Language for Mobile Manipulation Tasks. In ICRA.  Sonya Alexandrova Zachary Tatlock and Maya Cakmak. 2015. RoboFlow: A Flow-Based Visual Programming Language for Mobile Manipulation Tasks. In ICRA.","DOI":"10.1109\/ICRA.2015.7139973"},{"key":"e_1_3_2_1_2_1","first-page":"364","article-title":"Pushing the E L Envelope","volume":"5","author":"Baader Franz","year":"2005","unstructured":"Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005 a. Pushing the E L Envelope . In IJCAI , Vol. 5. 364 \u2013 369 . https:\/\/lat.inf.tu- dresden.de\/ research\/papers\/2005\/BaaderBrandtLutz- IJCAI- 05.pdf Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005a. Pushing the E L Envelope. In IJCAI, Vol. 5. 364\u2013369. https:\/\/lat.inf.tu- dresden.de\/ research\/papers\/2005\/BaaderBrandtLutz- IJCAI- 05.pdf","journal-title":"IJCAI"},{"volume-title":"eport LTCS-05-01. Chair for Automata Theory","author":"Baader Franz","key":"e_1_3_2_1_3_1","unstructured":"Franz Baader , Sebastian Brandt , and Carsten Lutz . 2005b. Pushing the E L Envelope. LTCS- R eport LTCS-05-01. Chair for Automata Theory , Institute for Theoretical Computer Science, Dresden University of Technology , Germany. See http:\/\/lat.inf.tu-dresden.de\/research\/reports.html. Franz Baader, Sebastian Brandt, and Carsten Lutz. 2005b. Pushing the E L Envelope. LTCS-Report LTCS-05-01. Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany. See http:\/\/lat.inf.tu-dresden.de\/research\/reports.html."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, Kendall Clark and Peter F. Patel-Schneider (Eds.). http:\/\/lat.inf.tu- dresden.de\/~clu\/papers\/archive\/owled08dc.pdf","author":"Baader Franz","year":"2008","unstructured":"Franz Baader , Sebastian Brandt , and Carsten Lutz . 2008 . Pushing the E L Envelope Further . In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, Kendall Clark and Peter F. Patel-Schneider (Eds.). http:\/\/lat.inf.tu- dresden.de\/~clu\/papers\/archive\/owled08dc.pdf Franz Baader, Sebastian Brandt, and Carsten Lutz. 2008. Pushing the E L Envelope Further. In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, Kendall Clark and Peter F. Patel-Schneider (Eds.). http:\/\/lat.inf.tu- dresden.de\/~clu\/papers\/archive\/owled08dc.pdf"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_25"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MAHC.1983.10102"},{"key":"e_1_3_2_1_7_1","first-page":"78","article-title":"Temporal Planning with Preferences and Time-Dependent Continuous Costs","volume":"77","author":"Benton J","year":"2012","unstructured":"J Benton , Amanda Jane Coles , and Andrew Coles . 2012 . Temporal Planning with Preferences and Time-Dependent Continuous Costs .. In ICAPS , Vol. 77. 78 . J Benton, Amanda Jane Coles, and Andrew Coles. 2012. Temporal Planning with Preferences and Time-Dependent Continuous Costs.. In ICAPS, Vol. 77. 78.","journal-title":"ICAPS"},{"key":"e_1_3_2_1_8_1","unstructured":"Katharina Beumelburg. 2005. F\u00e4higkeitsorientierte Montageablaufplanung in der direkten Mensch-Roboter-Kooperation. (2005).  Katharina Beumelburg. 2005. F\u00e4higkeitsorientierte Montageablaufplanung in der direkten Mensch-Roboter-Kooperation. (2005)."},{"key":"e_1_3_2_1_9_1","unstructured":"H. Choset K. M. Lynch S. Hutchinson G. A. Kantor W. Burgard L. E. Kavraki and S. Thrun. 2005. Principles of Robot Motion. A Bradford Book.  H. Choset K. M. Lynch S. Hutchinson G. A. Kantor W. Burgard L. E. Kavraki and S. Thrun. 2005. Principles of Robot Motion. A Bradford Book."},{"key":"e_1_3_2_1_10_1","unstructured":"J. A. DeCastro J. Alonso-Mora V. Raman D. Rus and H. Kress-Gazit. 2015. Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems. In ISRR.  J. A. DeCastro J. Alonso-Mora V. Raman D. Rus and H. Kress-Gazit. 2015. Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems. In ISRR."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055022"},{"key":"e_1_3_2_1_12_1","unstructured":"Sergey Dmitriev. 2004. Language Oriented Programming: The Next Programming Paradigm. (2004). http:\/\/resources.jetbrains.com\/storage\/ products\/mps\/docs\/Language_Oriented_Programming.pdf  Sergey Dmitriev. 2004. Language Oriented Programming: The Next Programming Paradigm. (2004). http:\/\/resources.jetbrains.com\/storage\/ products\/mps\/docs\/Language_Oriented_Programming.pdf"},{"key":"e_1_3_2_1_13_1","volume-title":"6th. Int. Planning Competition Booklet (ICAPS-08)","author":"Edelkamp Stefan","year":"2008","unstructured":"Stefan Edelkamp and Shahid Jabbar . 2008. MIPS-XXL: Featuring external shortest path search for sequential optimal plans and external branchand-bound for optimal net benefit . 6th. Int. Planning Competition Booklet (ICAPS-08) ( 2008 ). Stefan Edelkamp and Shahid Jabbar. 2008. MIPS-XXL: Featuring external shortest path search for sequential optimal plans and external branchand-bound for optimal net benefit. 6th. Int. Planning Competition Booklet (ICAPS-08) (2008)."},{"key":"e_1_3_2_1_14_1","volume-title":"Xtext - Language Engineering Made Easy!","author":"Efftinge Sven","year":"2008","unstructured":"Sven Efftinge . 2008. Xtext - Language Engineering Made Easy! ( 2008 ). http:\/\/www.eclipse.org\/Xtext\/ Sven Efftinge. 2008. Xtext - Language Engineering Made Easy! (2008). http:\/\/www.eclipse.org\/Xtext\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Patrick Eyerich and Robert Mattm\u00fcller Gabriele R\u00f6ger. 2009. Temporal Fast Downward. (2009).  Patrick Eyerich and Robert Mattm\u00fcller Gabriele R\u00f6ger. 2009. Temporal Fast Downward. (2009)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"C. Finucane Gangyuan Jing and H. Kress-Gazit. 2010. LTLMoP: Experimenting with language Temporal Logic and robot control. In IROS. 1988\u20131993.  C. Finucane Gangyuan Jing and H. Kress-Gazit. 2010. LTLMoP: Experimenting with language Temporal Logic and robot control. In IROS. 1988\u20131993.","DOI":"10.1109\/IROS.2010.5650371"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126513"},{"key":"e_1_3_2_1_18_1","volume-title":"In Proc. of the 14th Int. Conference on Automated Planning and Scheduling (ICAPS-04)","author":"Gerevini Alfonso","year":"2004","unstructured":"Alfonso Gerevini , Alessandro Saetti , Ivan Serina , and Paolo Toninelli . 2004 . LPG-TD: a fully automated planner for PDDL2.2 domains . In In Proc. of the 14th Int. Conference on Automated Planning and Scheduling (ICAPS-04) International Planning Competition abstracts. Alfonso Gerevini, Alessandro Saetti, Ivan Serina, and Paolo Toninelli. 2004. LPG-TD: a fully automated planner for PDDL2.2 domains. In In Proc. of the 14th Int. Conference on Automated Planning and Scheduling (ICAPS-04) International Planning Competition abstracts."},{"key":"e_1_3_2_1_19_1","volume-title":"PDDL: The Planning Domain Definition Language. Technical Report CVC TR98003\/DCS TR1165","author":"Ghallab M.","year":"1998","unstructured":"M. Ghallab , C. Aeronautiques , C. K. Isi , and D. Wilkins . 1998 . PDDL: The Planning Domain Definition Language. Technical Report CVC TR98003\/DCS TR1165 . Yale Center for Computational Vision and Control . M. Ghallab, C. Aeronautiques, C. K. Isi, and D. Wilkins. 1998. PDDL: The Planning Domain Definition Language. Technical Report CVC TR98003\/DCS TR1165. Yale Center for Computational Vision and Control."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5220\/0005614502910300"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_39"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1144"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622394.1622404"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/3029947.3029959"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-6239-102-4_85"},{"key":"e_1_3_2_1_27_1","unstructured":"IEEE. 2015. Standard Ontologies for Robotics and Automation \u2013 IEEE Std 1872-2015. (2015).  IEEE. 2015. Standard Ontologies for Robotics and Automation \u2013 IEEE Std 1872-2015. (2015)."},{"volume-title":"Konzept einer durchg\u00e4ngigen, rechnergest\u00fctzten Planung von Montageanlagen","author":"Jonas Christian","key":"e_1_3_2_1_28_1","unstructured":"Christian Jonas . 2000. Konzept einer durchg\u00e4ngigen, rechnergest\u00fctzten Planung von Montageanlagen . Vol. 145 . Herbert Utz Verlag . Christian Jonas. 2000. Konzept einer durchg\u00e4ngigen, rechnergest\u00fctzten Planung von Montageanlagen. Vol. 145. Herbert Utz Verlag."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 21st International Workshop on Description Logics (DL2008)","author":"Kazakov Yevgeny","year":"2008","unstructured":"Yevgeny Kazakov . 2008. SRIQ and SROIQ are Harder than SHOIQ . In Proceedings of the 21st International Workshop on Description Logics (DL2008) , Dresden, Germany , May 13-16, 2008 (CEUR Workshop Proceedings), Franz Baader, Carsten Lutz, and Boris Motik (Eds.). CEUR-WS. org. http:\/\/ceur- ws.org\/Vol- 353\/Kazakov.pdf Yevgeny Kazakov. 2008. SRIQ and SROIQ are Harder than SHOIQ. In Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008 (CEUR Workshop Proceedings), Franz Baader, Carsten Lutz, and Boris Motik (Eds.). CEUR-WS.org. http:\/\/ceur- ws.org\/Vol- 353\/Kazakov.pdf"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9296-3"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions","volume":"188","author":"Knublauch Holger","year":"2005","unstructured":"Holger Knublauch , Matthew Horridge , Mark A. Musen , Alan L. Rector , Robert Stevens , Nick Drummond , Phillip W. Lord , Natalya Fridman Noy , Julian Seidenberg , and Hai Wang . 2005 . The Protege OWL Experience . In Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions , Galway, Ireland , November 11-12, 2005 (CEUR Workshop Proceedings), Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter F. Patel-Schneider (Eds.), Vol. 188 . CEUR-WS.org. http:\/\/ceur- ws.org\/Vol- 188\/sub14.pdf Holger Knublauch, Matthew Horridge, Mark A. Musen, Alan L. Rector, Robert Stevens, Nick Drummond, Phillip W. Lord, Natalya Fridman Noy, Julian Seidenberg, and Hai Wang. 2005. The Protege OWL Experience. In Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 (CEUR Workshop Proceedings), Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter F. Patel-Schneider (Eds.), Vol. 188. CEUR-WS.org. http:\/\/ceur- ws.org\/Vol- 188\/sub14.pdf"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911)","author":"Kr\u00f6tzsch Markus","year":"2011","unstructured":"Markus Kr\u00f6tzsch . 2011 . Efficient Rule-Based Inferencing for OWL EL . In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911) , Toby Walsh (Ed.). AAAI Press\/IJCAI. 2668\u20132673. Markus Kr\u00f6tzsch. 2011. Efficient Rule-Based Inferencing for OWL EL. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), Toby Walsh (Ed.). AAAI Press\/IJCAI. 2668\u20132673."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(80)90027-6"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754966"},{"key":"e_1_3_2_1_36_1","unstructured":"Majed Marji. 2014. Learn to Program with Scratch. No Starch Press.  Majed Marji. 2014. Learn to Program with Scratch. No Starch Press."},{"key":"e_1_3_2_1_37_1","unstructured":"McKinsey & Company. 2015. Industry 4.0: How to navigate digitization of the manufacturing sector. (2015).  McKinsey & Company. 2015. Industry 4.0: How to navigate digitization of the manufacturing sector. (2015)."},{"volume-title":"OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax","author":"Motik Boris","key":"e_1_3_2_1_38_1","unstructured":"Boris Motik , Peter F. Patel-Schneider , Bijan Parsia , Conrad Bock , Achille Fokoue , Peter Haase , Rinke Hoekstra , Ian Horrocks , Alan Ruttenberg , Uli Sattler , and Michael Smith . 2012. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax ( Second Edition). Technical Report. W3C. Boris Motik, Peter F. Patel-Schneider, Bijan Parsia, Conrad Bock, Achille Fokoue, Peter Haase, Rinke Hoekstra, Ian Horrocks, Alan Ruttenberg, Uli Sattler, and Michael Smith. 2012. OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition). Technical Report. W3C."},{"volume-title":"Advances in Artificial Intelligence, Software and Systems Engineering, Tareq Z","author":"M\u00fcller Rainer","key":"e_1_3_2_1_39_1","unstructured":"Rainer M\u00fcller , Richard Peifer , and Ortwin Mailahn . 2018. Objectification of Assembly Planning for the Implementation of Human-Robot Cooperation . In Advances in Artificial Intelligence, Software and Systems Engineering, Tareq Z . Ahram (Ed.). Springer International Publishing , Cham , 24\u201334. Rainer M\u00fcller, Richard Peifer, and Ortwin Mailahn. 2018. Objectification of Assembly Planning for the Implementation of Human-Robot Cooperation. In Advances in Artificial Intelligence, Software and Systems Engineering, Tareq Z. Ahram (Ed.). Springer International Publishing, Cham, 24\u201334."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908118"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9406-8"},{"key":"e_1_3_2_1_42_1","unstructured":"Bijan Parsia and Uli Sattler. 2012. OWL 2 Web Ontology Language Data Range Extension: Linear Equations. (2012). https:\/\/www.w3.org\/TR\/ owl2- dr- linear\/  Bijan Parsia and Uli Sattler. 2012. OWL 2 Web Ontology Language Data Range Extension: Linear Equations. (2012). https:\/\/www.w3.org\/TR\/ owl2- dr- linear\/"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-017-1077-4"},{"key":"e_1_3_2_1_44_1","volume-title":"Design, development &amp","author":"Raza Muhammad Baqar","year":"2011","unstructured":"Muhammad Baqar Raza and Robert Harrison . 2011. Design, development &amp ; implementation of ontological knowledge based system for automotive assembly lines. International Journal of Data Mining & Knowledge Management Process 1, 5 ( 2011 ), 21\u201340. Muhammad Baqar Raza and Robert Harrison. 2011. Design, development & implementation of ontological knowledge based system for automotive assembly lines. International Journal of Data Mining & Knowledge Management Process 1, 5 (2011), 21\u201340."},{"key":"e_1_3_2_1_45_1","unstructured":"Henning Rudolf. 2006. Wissensbasierte Montageplanung in der digitalen Fabrik am Beispiel der Automobilindustrie. Utz.  Henning Rudolf. 2006. Wissensbasierte Montageplanung in der digitalen Fabrik am Beispiel der Automobilindustrie. Utz."},{"key":"e_1_3_2_1_46_1","volume-title":"Artificial Intelligence: A Modern Approach. Pearson.","author":"Russell S.","year":"2009","unstructured":"S. Russell and P. Norvig . 2009 . Artificial Intelligence: A Modern Approach. Pearson. S. Russell and P. Norvig. 2009. Artificial Intelligence: A Modern Approach. Pearson."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385518"},{"key":"e_1_3_2_1_48_1","volume-title":"AutomationML in a Nutshell Automation ML e. V. Office","author":"Schmidt N","year":"2015","unstructured":"N Schmidt and A L\u00fcder . 2015. AutomationML in a Nutshell Automation ML e. V. Office ( 2015 ). N Schmidt and A L\u00fcder. 2015. AutomationML in a Nutshell Automation ML e. V. Office (2015)."},{"key":"e_1_3_2_1_49_1","volume-title":"The ELepHant Reasoner System Description. In CEUR Workshop Proceedings","volume":"1015","author":"Sertkaya Baris","year":"2013","unstructured":"Baris Sertkaya . 2013 . The ELepHant Reasoner System Description. In CEUR Workshop Proceedings , Vol. 1015 . Baris Sertkaya. 2013. The ELepHant Reasoner System Description. In CEUR Workshop Proceedings, Vol. 1015."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2014.06.003"},{"volume-title":"IJCAI","author":"Thomason Jesse","key":"e_1_3_2_1_52_1","unstructured":"Jesse Thomason , Shiqi Zhang , Raymond J. Mooney , and Peter Stone . 2015. Learning to Interpret Natural Language Commands through HumanRobot Dialog . In IJCAI . http:\/\/ijcai.org\/Abstract\/15\/273 Jesse Thomason, Shiqi Zhang, Raymond J. Mooney, and Peter Stone. 2015. Learning to Interpret Natural Language Commands through HumanRobot Dialog. In IJCAI. http:\/\/ijcai.org\/Abstract\/15\/273"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814771_26"},{"key":"e_1_3_2_1_54_1","volume-title":"Liquid Haskell: Haskell as a theorem prover","author":"Vazou Niki","year":"2016","unstructured":"Niki Vazou . 2016 . Liquid Haskell: Haskell as a theorem prover . University of California , San Diego . Niki Vazou. 2016. Liquid Haskell: Haskell as a theorem prover. University of California, San Diego."},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the 8th International Planning Competition (IPC-2014)","author":"Vidal Vincent","year":"2014","unstructured":"Vincent Vidal . 2014 . YAHSP3 and YAHSP3-MT in the 8th international planning competition . Proceedings of the 8th International Planning Competition (IPC-2014) (2014), 64\u201365. Vincent Vidal. 2014. YAHSP3 and YAHSP3-MT in the 8th international planning competition. Proceedings of the 8th International Planning Competition (IPC-2014) (2014), 64\u201365."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.100"},{"key":"e_1_3_2_1_57_1","volume-title":"Wissensbasierte Planung und Beurteilung von Montagesystemen in der Luftfahrtindustrie","author":"Weidner R","year":"2014","unstructured":"R Weidner . 2014. Wissensbasierte Planung und Beurteilung von Montagesystemen in der Luftfahrtindustrie , vol. 32 . von Berichte aus dem Institut f\u00fcr Konstruktions-und Fertigungstechnik, Shaker, Aachen 18 ( 2014 ). R Weidner. 2014. Wissensbasierte Planung und Beurteilung von Montagesystemen in der Luftfahrtindustrie, vol. 32. von Berichte aus dem Institut f\u00fcr Konstruktions-und Fertigungstechnik, Shaker, Aachen 18 (2014)."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"crossref","unstructured":"T. Wongpiromsarn U. Topcu and R. M. Murray. 2012. Receding Horizon Temporal Logic Planning. IEEE Trans. Automat. Contr. (2012).  T. Wongpiromsarn U. Topcu and R. M. Murray. 2012. Receding Horizon Temporal Logic Planning. IEEE Trans. Automat. Contr. (2012).","DOI":"10.1109\/TAC.2012.2195811"}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston MA USA","acronym":"SPLASH '18"},"container-title":["Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276954.3276961","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276954.3276961","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:41Z","timestamp":1750208261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276954.3276961"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":58,"alternative-id":["10.1145\/3276954.3276961","10.1145\/3276954"],"URL":"https:\/\/doi.org\/10.1145\/3276954.3276961","relation":{},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}