{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:04:30Z","timestamp":1776276270265,"version":"3.50.1"},"reference-count":263,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T00:00:00Z","timestamp":1674000000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["742671"],"award-info":[{"award-number":["742671"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100007052","name":"Universit\u00e0 degli Studi di Verona","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007052","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Rev"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different environments including humans, robots are required a higher level of autonomy for efficient deliberation. Task planning is a key element of deliberation. It combines elementary operations into a structured plan to satisfy a prescribed goal, given specifications on the robot and the environment. In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning. Logic programming offers several advantages compared to other approaches, including greater expressivity and interpretability which may aid in the development of safe and reliable robots. We analyze different planners and their suitability for specific robotic applications, based on expressivity in domain representation, computational efficiency and software implementation. In this way, we support the robotic designer in choosing the best tool for his application.<\/jats:p>","DOI":"10.1007\/s10462-022-10389-w","type":"journal-article","created":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T09:02:53Z","timestamp":1674032573000},"page":"9011-9049","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Logic programming for deliberative robotic task planning"],"prefix":"10.1007","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3162-388X","authenticated-orcid":false,"given":"Daniele","family":"Meli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirenkumar","family":"Nakawala","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Fiorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,1,18]]},"reference":[{"issue":"3","key":"10389_CR1","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0747-7171(89)80070-7","volume":"8","author":"M Abadi","year":"1989","unstructured":"Abadi M, Manna Z (1989) Temporal logic programming. J Symb Comput 8(3):277\u2013295","journal-title":"J Symb Comput"},{"key":"10389_CR2","doi-asserted-by":"crossref","unstructured":"Abels D, Jordi J, Ostrowski M, Schaub T, Toletti A, Wanko P (2019) Train scheduling with hybrid asp. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 3\u201317","DOI":"10.1007\/978-3-030-20528-7_1"},{"issue":"2","key":"10389_CR3","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s13218-018-0533-0","volume":"32","author":"WT Adrian","year":"2018","unstructured":"Adrian WT, Alviano M, Calimeri F, Cuteri B, Dodaro C, Faber W, Fusc\u00e0 D, Leone N, Manna M, Perri S et al (2018) The asp system DLV: advancements and applications. KI-K\u00fcnstliche Intelligenz 32(2):177\u2013179","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"key":"10389_CR4","unstructured":"Aeronautiques C, Howe A, Knoblock C, McDermott ID, Ram A, Veloso M, Weld D, SRI DW, Barrett A, Christianson D et al (1998) Pddl| the planning domain definition language. Technical Report, Tech Rep"},{"issue":"1\u20132","key":"10389_CR5","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1080\/11663081.2013.798985","volume":"23","author":"F Aguado","year":"2013","unstructured":"Aguado F, Cabalar P, Di\u00e9guez M, P\u00e9rez G, Vidal C (2013) Temporal equilibrium logic: a survey. J Appl Non-Class Log 23(1\u20132):2\u201324","journal-title":"J Appl Non-Class Log"},{"issue":"1","key":"10389_CR6","doi-asserted-by":"crossref","first-page":"56","DOI":"10.4018\/IJKSS.2016010104","volume":"7","author":"AA Al-Moadhen","year":"2016","unstructured":"Al-Moadhen AA, Packianather M, Setchi R, Qiu R (2016) Robot task planning in deterministic and probabilistic conditions using semantic knowledge base. Int J Knowl Syst Sci 7(1):56\u201377","journal-title":"Int J Knowl Syst Sci"},{"key":"10389_CR7","doi-asserted-by":"crossref","unstructured":"Alami R, Clodic A, Montreuil V, Sisbot EA, Chatila R (2005) Task planning for human-robot interaction. In: Proceedings of the 2005 joint conference on smart objects and ambient intelligence: innovative context-aware services: usages and technologies, pp 81\u201385","DOI":"10.1145\/1107548.1107574"},{"key":"10389_CR8","unstructured":"Alferes JJ, Leite JA, Pereira LM, Quaresma P (2000) Planning as abductive updating. In: Proc. of the symposium on AI planning and intelligent agents, pp 1\u20138"},{"key":"10389_CR9","unstructured":"Amiri S, Shirazi MS, Zhang S (2019) Learning and reasoning for robot sequential decision making under uncertainty. arXiv preprint arXiv:1901.05322"},{"key":"10389_CR10","doi-asserted-by":"crossref","unstructured":"Andres B, Rajaratnam D, Sabuncu O, Schaub T (2015) Integrating asp into ros for reasoning in robots. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 69\u201382","DOI":"10.1007\/978-3-319-23264-5_7"},{"issue":"6","key":"10389_CR11","doi-asserted-by":"crossref","first-page":"1393","DOI":"10.1007\/s10514-018-9784-8","volume":"43","author":"L Antanas","year":"2019","unstructured":"Antanas L, Moreno P, Neumann M, de Figueiredo RP, Kersting K, Santos-Victor J, De Raedt L (2019) Semantic and geometric reasoning for robotic grasping: a probabilistic logic approach. Auton Robots 43(6):1393\u20131418","journal-title":"Auton Robots"},{"issue":"2","key":"10389_CR12","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(94)90051-5","volume":"18","author":"KR Apt","year":"1994","unstructured":"Apt KR, Doets K (1994) A new definition of sldnf-resolution. J Log Program 18(2):177\u2013190","journal-title":"J Log Program"},{"key":"10389_CR13","doi-asserted-by":"crossref","unstructured":"Armando A, Castellini C, Giunchiglia E (1999) Sat-based procedures for temporal reasoning. In: European conference on planning, Springer, pp 97\u2013108","DOI":"10.1007\/10720246_8"},{"key":"10389_CR14","volume-title":"The description logic handbook: theory, implementation and applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Patel-Schneider P, Nardi D (2003a) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge"},{"key":"10389_CR15","volume-title":"The description logic handbook: theory, implementation and applications","author":"F Baader","year":"2003","unstructured":"Baader F, Calvanese D, McGuinness D, Patel-Schneider P, Nardi D et al (2003b) The description logic handbook: theory, implementation and applications. Cambridge University Press, Cambridge"},{"key":"10389_CR16","doi-asserted-by":"publisher","unstructured":"Babb J, Lee J, Action language $$\\mathcal{BC}$$+. J Logic Comput 30(4):899\u2013922, https:\/\/doi.org\/10.1093\/logcom\/exv062","DOI":"10.1093\/logcom\/exv062"},{"issue":"3","key":"10389_CR17","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1111\/j.1467-8640.1991.tb00393.x","volume":"7","author":"C B\u00e4ckstr\u00f6m","year":"1991","unstructured":"B\u00e4ckstr\u00f6m C, Klein I (1991) Planning in polynomial time: the sas-pubs class. Comput Intell 7(3):181\u2013197","journal-title":"Comput Intell"},{"key":"10389_CR18","doi-asserted-by":"crossref","first-page":"1221","DOI":"10.1016\/j.promfg.2018.07.159","volume":"26","author":"HS Bank","year":"2018","unstructured":"Bank HS, D\u2019Souza S, Rasam A (2018) Temporal logic (TL)-based autonomy for smart manufacturing systems. Procedia Manuf 26:1221\u20131229","journal-title":"Procedia Manuf"},{"key":"10389_CR19","doi-asserted-by":"crossref","unstructured":"Baral C, Son TC (2015) \u201cAdd another blue stack of the same height!\u201d: Asp based planning and plan failure analysis. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 127\u2013133","DOI":"10.1007\/978-3-319-23264-5_11"},{"key":"10389_CR20","first-page":"236","volume":"7","author":"C Baral","year":"2007","unstructured":"Baral C, Zhao J (2007) Non-monotonic temporal logics for goal specification. Int Joint Conf Artif Intell 7:236\u2013242","journal-title":"Int Joint Conf Artif Intell"},{"key":"10389_CR21","doi-asserted-by":"crossref","unstructured":"Baral C, Gelfond M, Rushton N (2004) Probabilistic reasoning with answer sets. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 21\u201333","DOI":"10.1007\/978-3-540-24609-1_5"},{"issue":"9","key":"10389_CR22","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/j.robot.2010.05.007","volume":"58","author":"M Beetz","year":"2010","unstructured":"Beetz M, Jain D, M\u00f6senlechner L, Tenorth M (2010a) Towards performing everyday manipulation activities. Robot Auton Syst 58(9):1085\u20131095","journal-title":"Robot Auton Syst"},{"key":"10389_CR23","doi-asserted-by":"crossref","unstructured":"Beetz M, M\u00f6senlechner L, Tenorth M (2010b) Cram\u2019a cognitive robot abstract machine for everyday manipulation in human environments. In: 2010 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 1012\u20131017","DOI":"10.1109\/IROS.2010.5650146"},{"issue":"8","key":"10389_CR24","doi-asserted-by":"crossref","first-page":"2454","DOI":"10.1109\/JPROC.2012.2200552","volume":"100","author":"M Beetz","year":"2012","unstructured":"Beetz M, Jain D, Mosenlechner L, Tenorth M, Kunze L, Blodow N, Pangercic D (2012) Cognition-enabled autonomous robot control for the realization of home chore task intelligence. Proceedings of the IEEE 100(8):2454\u20132471","journal-title":"Proceedings of the IEEE"},{"key":"10389_CR25","doi-asserted-by":"crossref","unstructured":"Belle V, Levesque H (2014) Prego: an action language for belief-based cognitive robotics in continuous domains. In: Twenty-eighth AAAI conference on artificial intelligence","DOI":"10.1609\/aaai.v28i1.8865"},{"issue":"3","key":"10389_CR26","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1017\/S1471068420000459","volume":"21","author":"R Bertolucci","year":"2021","unstructured":"Bertolucci R, Capitanelli A, Dodaro C, Leone N, Maratea M, Mastrogiovanni F, Vallati M (2021) Manipulation of articulated objects using dual-arm robots via answer set programming. Theory Pract Log Program 21(3):372\u2013401","journal-title":"Theory Pract Log Program"},{"key":"10389_CR27","unstructured":"Be\u00dfler D, Pomarlan M, Beetz M (2018) Owl-enabled assembly planning for robotic agents. In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS vol 3, pp 1684\u20131692"},{"key":"10389_CR28","first-page":"134","volume":"6","author":"M Bienvenu","year":"2006","unstructured":"Bienvenu M, Fritz C, McIlraith SA (2006) Planning with qualitative temporal preferences. Int Conf Princ Knowl Represent Reason 6:134\u2013144","journal-title":"Int Conf Princ Knowl Represent Reason"},{"key":"10389_CR29","volume-title":"Handbook of satisfiability","author":"A Biere","year":"2009","unstructured":"Biere A, Heule M, van Maaren H (2009) Handbook of satisfiability, vol 185. IOS Press, Amsterdam"},{"issue":"3","key":"10389_CR30","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1016\/j.jcss.2011.08.007","volume":"78","author":"R Bloem","year":"2012","unstructured":"Bloem R, Jobstmann B, Piterman N, Pnueli A, Sa\u2019ar Y (2012) Synthesis of reactive (1) designs. J Comput Syst Sci 78(3):911\u2013938","journal-title":"J Comput Syst Sci"},{"key":"10389_CR31","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1108\/01439911111106327","volume":"38","author":"R Bogue","year":"2011","unstructured":"Bogue R (2011) Robots in the nuclear industry: a review of technologies and applications. Ind Robot: Int J 38:113\u2013118","journal-title":"Ind Robot: Int J"},{"key":"10389_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1108\/IR-11-2017-0194","volume":"45","author":"R Bogue","year":"2018","unstructured":"Bogue R (2018) What are the prospects for robots in the construction industry? Ind Robot: Int J 45:1\u20136","journal-title":"Ind Robot: Int J"},{"key":"10389_CR33","doi-asserted-by":"publisher","DOI":"10.1108\/JKM-02-2016-0071","author":"E Bolisani","year":"2017","unstructured":"Bolisani E, Bratianu C (2017) Knowledge strategy planning: an integrated approach to manage uncertainty, turbulence, and dynamics. J Knowl Manage. https:\/\/doi.org\/10.1108\/JKM-02-2016-0071","journal-title":"J Knowl Manage"},{"key":"10389_CR34","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1016\/S1570-2464(07)80015-2","volume":"3","author":"J Bradfield","year":"2007","unstructured":"Bradfield J, Stirling C (2007) Modal mu-calculi. Handb Modal Logic 3:721\u2013756","journal-title":"Handb Modal Logic"},{"key":"10389_CR35","unstructured":"Brambilla M, Pinciroli C, Birattari M, Dorigo M (2012) Property-driven design for swarm robotics. In: 11th international conference on autonomous agents and multiagent system. AAMAS: Innovative Applications Track, vol 2, pp 664\u2013671"},{"key":"10389_CR36","volume-title":"Intention, plans, and practical reason","author":"M Bratman","year":"1987","unstructured":"Bratman M (1987) Intention, plans, and practical reason. Harvard University Press, Cambridge"},{"issue":"3","key":"10389_CR37","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1111\/j.1467-8640.1988.tb00284.x","volume":"4","author":"ME Bratman","year":"1988","unstructured":"Bratman ME et al (1988) Plans and resource-bounded practical reasoning. Comput Intell 4(3):349\u2013355","journal-title":"Comput Intell"},{"issue":"4","key":"10389_CR38","first-page":"69","volume":"29","author":"G Brewka","year":"2008","unstructured":"Brewka G, Niemela I, Truszczynski M (2008) Preferences and nonmonotonic reasoning. AI Mag 29(4):69\u201369","journal-title":"AI Mag"},{"key":"10389_CR39","doi-asserted-by":"crossref","unstructured":"Bruno B, Chong NY, Kamide H, Kanoria S, Lee J, Lim Y, Pandey AK, Papadopoulos C, Papadopoulos I, Pecora F et\u00a0al (2017) The caresses eu-japan project: making assistive robots culturally competent. In: Italian forum of ambient assisted living, Springer, pp 151\u2013169","DOI":"10.1007\/978-3-030-04672-9_10"},{"issue":"1\u20132","key":"10389_CR40","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0004-3702(94)90081-7","volume":"69","author":"T Bylander","year":"1994","unstructured":"Bylander T (1994) The computational complexity of propositional strips planning. Artif Intell 69(1\u20132):165\u2013204","journal-title":"Artif Intell"},{"key":"10389_CR41","doi-asserted-by":"crossref","unstructured":"Cabalar P, Kaminski R, Morkisch P, Schaub T (2019a) telingo= asp+ time. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 256\u2013269","DOI":"10.1007\/978-3-030-20528-7_19"},{"key":"10389_CR42","doi-asserted-by":"crossref","unstructured":"Cabalar P, Rey M, Vidal C (2019b) A complete planner for temporal answer set programming. In: EPIA conference on artificial intelligence, Springer, pp 520\u2013525","DOI":"10.1007\/978-3-030-30244-3_43"},{"issue":"2","key":"10389_CR43","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri F, Faber W, Gebser M, Ianni G, Kaminski R, Krennwallner T, Leone N, Maratea M, Ricca F, Schaub T (2020) Asp-core-2 input language format. Theory Pract Log Program 20(2):294\u2013309","journal-title":"Theory Pract Log Program"},{"key":"10389_CR44","doi-asserted-by":"crossref","unstructured":"Camacho A, Triantafillou E, Muise C, Baier JA, McIlraith SA (2017) Non-deterministic planning with temporally extended goals: Ltl over finite and infinite traces. In: 31st AAAI conference on artificial intelligence, AAAI 2017, pp 3716\u20133724","DOI":"10.1609\/aaai.v31i1.11058"},{"issue":"1928","key":"10389_CR45","doi-asserted-by":"crossref","first-page":"4649","DOI":"10.1098\/rsta.2010.0110","volume":"368","author":"M Campbell","year":"2010","unstructured":"Campbell M, Egerstedt M, How JP, Murray RM (2010) Autonomous driving in urban environments: approaches, lessons and challenges. Philos Trans R Soc A 368(1928):4649\u20134672","journal-title":"Philos Trans R Soc A"},{"key":"10389_CR46","doi-asserted-by":"crossref","unstructured":"Carreno Y, Pairet \u00c8, Petillot Y, Petrick RP (2020) A decentralised strategy for heterogeneous auv missions via goal distribution and temporal planning. In: Proceedings of the international conference on automated planning and scheduling, vol 30, pp 431\u2013439","DOI":"10.1609\/icaps.v30i1.6738"},{"key":"10389_CR47","doi-asserted-by":"crossref","unstructured":"Cashmore M, Fox M, Long D, Magazzeni D, Ridder B, Carrera A, Palomeras N, Hurtos N, Carreras M (2015) Rosplan: planning in the robot operating system. In: Twenty-fifth international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v25i1.13699"},{"key":"10389_CR48","doi-asserted-by":"crossref","unstructured":"Chandrasekaran B, Conrad JM (2015) Human-robot collaboration: a survey. In: SoutheastCon 2015, IEEE, pp 1\u20138","DOI":"10.1109\/SECON.2015.7132964"},{"issue":"2","key":"10389_CR49","doi-asserted-by":"crossref","first-page":"100","DOI":"10.5898\/JHRI.1.2.Chen","volume":"1","author":"X Chen","year":"2013","unstructured":"Chen X, Xie J, Ji J, Sui Z (2013) Toward open knowledge enabling for human-robot interaction. J Hum-Robot Interact 1(2):100\u2013117","journal-title":"J Hum-Robot Interact"},{"key":"10389_CR50","doi-asserted-by":"crossref","unstructured":"Choi B, Park J, Park C (2021) Formal verification for human-robot interaction in medical environments. In: ACM\/IEEE international conference on human-robot interaction, pp 181\u2013185","DOI":"10.1145\/3434074.3447155"},{"key":"10389_CR51","unstructured":"Coles AJ, Coles AI, Munoz MM, Savas OE, Keller T, Pommerening F, Helmert M (2019) On-board planning for robotic space missions using temporal pddl. In: 11th international workshop on planning and scheduling for space"},{"key":"10389_CR52","doi-asserted-by":"crossref","unstructured":"Colledanchise M, Murray RM, Ogren P (2017) Synthesis of correct-by-construction behavior trees. In: IEEE international conference on intelligent robots and systems, vol 2017, pp 6039\u20136046","DOI":"10.1109\/IROS.2017.8206502"},{"key":"10389_CR53","doi-asserted-by":"crossref","unstructured":"Colmerauer A (1990) An introduction to prolog iii. In: Computational logic, Springer, pp 37\u201379","DOI":"10.1007\/978-3-642-76274-1_2"},{"key":"10389_CR54","doi-asserted-by":"crossref","unstructured":"Crespo J, Barber R, Mozos OM, Be\u00dfler D, Beetz M (2018) Reasoning systems for semantic navigation in mobile robots. In: IEEE international conference on intelligent robots and systems, pp 5654\u20135659","DOI":"10.1109\/IROS.2018.8594271"},{"issue":"2","key":"10389_CR55","first-page":"1","volume":"13","author":"G Cui","year":"2021","unstructured":"Cui G, Shuai W, Chen X (2021) Semantic task planning for service robots in open worlds. Future Internet 13(2):1\u201319","journal-title":"Future Internet"},{"key":"10389_CR57","unstructured":"De\u00a0Giacomo G, Vardi MY (2013) Linear temporal logic and linear dynamic logic on finite traces. In: Twenty-third international joint conference on artificial intelligence"},{"key":"10389_CR56","unstructured":"De\u00a0Giacomo G, Vardi M (2015) Synthesis for ltl and ldl on finite traces. In: Twenty-fourth international joint conference on artificial intelligence"},{"key":"10389_CR58","unstructured":"De Raedt L, Kimmig A, Toivonen H (2007) Problog: a probabilistic prolog and its application in link discovery. In: International joint conference on artificial intelligence, Hyderabad, vol 7, pp 2462\u20132467"},{"issue":"5","key":"10389_CR59","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.3390\/s19051166","volume":"19","author":"M Diab","year":"2019","unstructured":"Diab M, Akbari A, Ud Din M, Rosell J (2019) Pmk-a knowledge processing framework for autonomous robotics perception and manipulation. Sensors 19(5):1166","journal-title":"Sensors"},{"key":"10389_CR60","first-page":"261","volume":"2","author":"V Diekert","year":"2008","unstructured":"Diekert V, Gastin P (2008) First-order definable languages. Log Autom 2:261\u2013306","journal-title":"Log Autom"},{"key":"10389_CR61","doi-asserted-by":"crossref","unstructured":"DiMaio S, Hanuschik M, Kreaden U (2011) The da vinci surgical system. In: Surgical robotics, Springer, pp 199\u2013217","DOI":"10.1007\/978-1-4419-1126-1_9"},{"key":"10389_CR62","doi-asserted-by":"crossref","unstructured":"Dimopoulos Y, Nebel B, Koehler J (1997) Encoding planning problems in nonmonotonic logic programs. In: European conference on planning, Springer, pp 169\u2013181","DOI":"10.1007\/3-540-63912-8_84"},{"issue":"3","key":"10389_CR63","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1017\/S1471068418000583","volume":"19","author":"Y Dimopoulos","year":"2019","unstructured":"Dimopoulos Y, Gebser M, L\u00fchne P, Romero J, Schaub T (2019) plasp 3: towards effective asp planning. Theory Pract Log Program 19(3):477\u2013504","journal-title":"Theory Pract Log Program"},{"key":"10389_CR64","doi-asserted-by":"crossref","unstructured":"Dix J, Kuter U, Nau D (2003) Planning in answer set programming using ordered task decomposition. In: Annual conference on artificial intelligence, Springer, pp 490\u2013504","DOI":"10.1007\/978-3-540-39451-8_36"},{"issue":"6","key":"10389_CR65","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1017\/S1471068421000363","volume":"21","author":"C Dodaro","year":"2021","unstructured":"Dodaro C, Galat\u00e0 G, Grioni A, Maratea M, Mochi M, Porro I (2021) An asp-based solution to the chemotherapy treatment scheduling problem. Theory Pract Log Program 21(6):835\u2013851","journal-title":"Theory Pract Log Program"},{"issue":"2","key":"10389_CR66","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1017\/S1471068421000090","volume":"22","author":"C Dodaro","year":"2022","unstructured":"Dodaro C, Galat\u00e0 G, Khan MK, Maratea M, Porro I (2022) Operating room (re) scheduling with bed management via asp. Theory Pract Log Program 22(2):229\u2013253","journal-title":"Theory Pract Log Program"},{"key":"10389_CR67","doi-asserted-by":"crossref","unstructured":"Donz\u00e9 A, Maler O (2010) Robust satisfaction of temporal logic over real-valued signals. In: International conference on formal modeling and analysis of timed systems, Springer, pp 92\u2013106","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"10389_CR68","doi-asserted-by":"crossref","unstructured":"Dornhege C, Eyerich P, Keller T, Tr\u00fcg S, Brenner M, Nebel B (2009) Semantic attachments for domain-independent planning systems. In: Nineteenth international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v19i1.13380"},{"issue":"2","key":"10389_CR69","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0743-1066(95)00118-2","volume":"27","author":"W Drabent","year":"1996","unstructured":"Drabent W (1996) Completeness of sldnf-resolution for nonfloundering queries. J Log Program 27(2):89\u2013106","journal-title":"J Log Program"},{"key":"10389_CR70","doi-asserted-by":"crossref","unstructured":"Dureja R, Rozier KY (2018) More scalable ltl model checking via discovering design-space dependencies ($$d^{3}$$). In: International conference on tools and algorithms for the construction and analysis of systems, Springer, pp 309\u2013327","DOI":"10.1007\/978-3-319-89960-2_17"},{"key":"10389_CR71","doi-asserted-by":"crossref","unstructured":"Eiter T, Leone N, Mateis C, Pfeifer G, Scarcello F (1997) A deductive system for non-monotonic reasoning. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 363\u2013374","DOI":"10.1007\/3-540-63255-7_27"},{"key":"10389_CR72","doi-asserted-by":"crossref","unstructured":"Eiter T, Faber W, Leone N, Pfeifer G (2000) Declarative problem-solving using the DLV system. In: Logic-based artificial intelligence, Springer, pp 79\u2013103","DOI":"10.1007\/978-1-4615-1567-8_4"},{"issue":"2\u20133","key":"10389_CR73","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/s13218-018-0535-y","volume":"32","author":"T Eiter","year":"2018","unstructured":"Eiter T, Germano S, Ianni G, Kaminski T, Redl C, Sch\u00fcller P, Weinzierl A (2018) The DLVHEX system. KI-K\u00fcnstliche Intelligenz 32(2\u20133):187\u2013189","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"issue":"3","key":"10389_CR74","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson EA, Clarke EM (1982) Using branching time temporal logic to synthesize synchronization skeletons. Sci Comput Program 2(3):241\u2013266","journal-title":"Sci Comput Program"},{"key":"10389_CR75","doi-asserted-by":"crossref","unstructured":"Erdem E, Patoglu V (2012) Applications of action languages in cognitive robotics. In: Correct reasoning, Springer, pp 229\u2013246","DOI":"10.1007\/978-3-642-30743-0_16"},{"issue":"2\u20133","key":"10389_CR76","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s13218-018-0544-x","volume":"32","author":"E Erdem","year":"2018","unstructured":"Erdem E, Patoglu V (2018) Applications of asp in robotics. KI-K\u00fcnstliche Intelligenz 32(2\u20133):143\u2013149","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"issue":"3","key":"10389_CR77","first-page":"53","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Mag 37(3):53\u201368","journal-title":"AI Mag"},{"key":"10389_CR78","unstructured":"Erol K (1996) Hierarchical task network planning: formalization, analysis, and implementation. PhD thesis"},{"key":"10389_CR79","doi-asserted-by":"publisher","unstructured":"Escudero-Rodrigo D, Alquezar R (2016) Study of the anchoring problem in generalist robots based on ROSPlan. Front Artif Intell Appl 288:45\u201350. https:\/\/doi.org\/10.3233\/978-1-61499-696-5-45","DOI":"10.3233\/978-1-61499-696-5-45"},{"issue":"21","key":"10389_CR80","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1016\/j.ifacol.2016.10.677","volume":"49","author":"H Fakhruldeen","year":"2016","unstructured":"Fakhruldeen H, Maheshwari P, Lenz A, Dailami F, Pipe AG (2016) Human robot cooperation planner using plans embedded in objects. IFAC-PapersOnLine 49(21):668\u2013674","journal-title":"IFAC-PapersOnLine"},{"issue":"2\u20133","key":"10389_CR81","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1007\/s13218-018-0548-6","volume":"32","author":"A Falkner","year":"2018","unstructured":"Falkner A, Friedrich G, Schekotihin K, Taupe R, Teppan EC (2018) Industrial applications of answer set programming. KI-K\u00fcnstliche Intelligenz 32(2\u20133):165\u2013176","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"key":"10389_CR82","unstructured":"Farinelli A, Finzi A, Lukasiewicz T (2007) Team programming in golog under partial observability. In: International joint conference on artificial intelligence, pp 2097\u20132102"},{"key":"10389_CR83","doi-asserted-by":"crossref","unstructured":"Fiazza MC, Fiorini P (2021) Design for interpretability: Meeting the certification challenge for surgical robots. In: 2021 IEEE international conference on intelligence and safety for robotics, IEEE, pp 264\u2013267","DOI":"10.1109\/ISR50024.2021.9419378"},{"issue":"3\u20134","key":"10389_CR84","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes RE, Nilsson NJ (1971) Strips: a new approach to the application of theorem proving to problem solving. Artif Intell 2(3\u20134):189\u2013208","journal-title":"Artif Intell"},{"key":"10389_CR85","doi-asserted-by":"crossref","unstructured":"Finucane C, Jing G, Kress-Gazit H (2010) Ltlmop: experimenting with language, temporal logic and robot control. In: 2010 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 1988\u20131993","DOI":"10.1109\/IROS.2010.5650371"},{"issue":"2","key":"10389_CR86","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer MJ, Ladner RE (1979) Propositional dynamic logic of regular programs. J Comput Syst Sci 18(2):194\u2013211","journal-title":"J Comput Syst Sci"},{"key":"10389_CR87","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox M, Long D (2003) Pddl2. 1: an extension to pddl for expressing temporal planning domains. J Artif Intell Res 20:61\u2013124","journal-title":"J Artif Intell Res"},{"key":"10389_CR88","unstructured":"Fox M, Long D, Magazzeni D (2017) Explainable planning. In: Proceedings of international joint conference on artificial intelligence-17 workshop on explainable planning"},{"issue":"4","key":"10389_CR89","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1023\/A:1025842019552","volume":"8","author":"J Frank","year":"2003","unstructured":"Frank J, J\u00f3nsson A (2003) Constraint-based attribute and interval planning. Constraints 8(4):339\u2013364","journal-title":"Constraints"},{"key":"10389_CR90","unstructured":"Fratini S, Cesta A, De\u00a0Benedictis R, Orlandini A, Rasconi R (2011) Apsi-based deliberation in goal oriented autonomous controllers. (ASTRA 2011), Noordwijk, the Netherlands, pp. 5B_1\u20137, 12\u201314"},{"issue":"1\u20133","key":"10389_CR91","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth T (1998) Theory and practice of constraint handling rules. J Log Program 37(1\u20133):95\u2013138","journal-title":"J Log Program"},{"key":"10389_CR92","unstructured":"Gabaldon A (2004) Precondition control and the progression algorithm. In: International conference on automated planning and scheduling, pp 23\u201332"},{"key":"10389_CR93","unstructured":"Geatti L, Gigante N, Montanari A (2021) Black: A fast, flexible and reliable ltl satisfiability checker. In: Proceedings of the 3rd Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis, CEUR-WS, vol 2987, pp 7\u201312"},{"issue":"3\u20134","key":"10389_CR94","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1017\/S1471068418000200","volume":"18","author":"M Gebser","year":"2018","unstructured":"Gebser M, Obermeier P, Otto T, Schaub T, Sabuncu O, Nguyen V, Son TC (2018a) Experimenting with robotic intra-logistics domains. Theory Pract Log Program 18(3\u20134):502\u2013519","journal-title":"Theory Pract Log Program"},{"issue":"3\u20134","key":"10389_CR95","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1017\/S1471068418000182","volume":"18","author":"M Gebser","year":"2018","unstructured":"Gebser M, Obermeier P, Schaub T, Ratsch-Heitmann M, Runge M (2018b) Routing driverless transport vehicles in car assembly with answer set programming. Theory Pract Log Program 18(3\u20134):520\u2013534","journal-title":"Theory Pract Log Program"},{"issue":"1","key":"10389_CR96","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1017\/S1471068418000054","volume":"19","author":"M Gebser","year":"2019","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T (2019) Multi-shot asp solving with clingo. Theory Pract Log Program 19(1):27\u201382","journal-title":"Theory Pract Log Program"},{"issue":"1","key":"10389_CR97","first-page":"1","volume":"8","author":"H Geffner","year":"2013","unstructured":"Geffner H, Bonet B (2013) A concise introduction to models and methods for automated planning. Synth Lect Artif Intell Mach Learn 8(1):1\u2013141","journal-title":"Synth Lect Artif Intell Mach Learn"},{"key":"10389_CR98","first-page":"1070","volume":"88","author":"M Gelfond","year":"1988","unstructured":"Gelfond M, Lifschitz V (1988) The stable model semantics for logic programming. Int Conf Log Program 88:1070\u20131080","journal-title":"Int Conf Log Program"},{"key":"10389_CR99","volume-title":"Automated planning: theory and practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab M, Nau D, Traverso P (2004) Automated planning: theory and practice. Elsevier, Amsterdam"},{"key":"10389_CR100","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139583923","volume-title":"Automated planning and acting","author":"M Ghallab","year":"2016","unstructured":"Ghallab M, Nau D, Traverso P (2016) Automated planning and acting. Cambridge University Press, Cambridge"},{"issue":"9","key":"10389_CR101","doi-asserted-by":"crossref","first-page":"1397","DOI":"10.1007\/s11548-018-1824-5","volume":"13","author":"B Gibaud","year":"2018","unstructured":"Gibaud B, Forestier G, Feldmann C, Ferrigno G, Gon\u00e7alves P, Haidegger T, Julliard C, Kati\u0107 D, Kenngott H, Maier-Hein L et al (2018) Toward a standard ontology of surgical process models. Int J Comput Assist Radiol Surg 13(9):1397\u20131408","journal-title":"Int J Comput Assist Radiol Surg"},{"key":"10389_CR102","doi-asserted-by":"publisher","unstructured":"Gierse G, Niemueller T, Cla\u00dfen J, Lakemeyer G (2016) Interruptible task execution with resumption in GOLOG. Front Artif Intell Appl (ECAI 2016) 285:1265\u20131273. https:\/\/doi.org\/10.3233\/978-1-61499-672-9-1265","DOI":"10.3233\/978-1-61499-672-9-1265"},{"key":"10389_CR103","doi-asserted-by":"publisher","unstructured":"Ginesi M, Meli D, Nakawala HC, Roberti A, Fiorini P (2019) A knowledge-based framework for task automation in surgery. In: 2019 19th international conference on advanced robotics, pp 37\u201342, https:\/\/doi.org\/10.1109\/ICAR46387.2019.8981619","DOI":"10.1109\/ICAR46387.2019.8981619"},{"key":"10389_CR104","doi-asserted-by":"crossref","unstructured":"Ginesi M, Meli D, Roberti A, Sansonetto N, Fiorini P (2020) Autonomous task planning and situation awareness in robotic surgery. In: IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 3144\u20133150","DOI":"10.1109\/IROS45743.2020.9341382"},{"key":"10389_CR105","doi-asserted-by":"crossref","unstructured":"Goebel R, Chander A, Holzinger K, Lecue F, Akata Z, Stumpf S, Kieseberg P, Holzinger A (2018) Explainable ai: the new 42? In: International cross-domain Conference for machine learning and knowledge extraction, Springer, pp 295\u2013303","DOI":"10.1007\/978-3-319-99740-7_21"},{"issue":"4","key":"10389_CR106","doi-asserted-by":"crossref","first-page":"1135","DOI":"10.1109\/TITS.2015.2498841","volume":"17","author":"D Gonz\u00e1lez","year":"2015","unstructured":"Gonz\u00e1lez D, P\u00e9rez J, Milan\u00e9s V, Nashashibi F (2015) A review of motion planning techniques for automated vehicles. IEEE Trans Intell Transp Syst 17(4):1135\u20131145","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"10389_CR107","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.rcim.2014.08.014","volume":"33","author":"PJS Gon\u00e7alves","year":"2015","unstructured":"Gon\u00e7alves PJS, Torres PMB (2015) Knowledge representation applied to robotic orthopedic surgery. Robot Comput-Integr Manuf 33:90\u201399","journal-title":"Robot Comput-Integr Manuf"},{"key":"10389_CR108","volume-title":"Human-robot interaction: a survey","author":"MA Goodrich","year":"2008","unstructured":"Goodrich MA, Schultz AC (2008) Human-robot interaction: a survey. Now Publishers Inc, Delft"},{"key":"10389_CR109","doi-asserted-by":"crossref","unstructured":"Gragera A, Garc\u00eda AM, Fern\u00e1ndez F (2019) A modelling and formalisation tool for use case design in social autonomous robotics. In: Iberian robotics conference, Springer, pp 656\u2013667","DOI":"10.1007\/978-3-030-36150-1_54"},{"issue":"2","key":"10389_CR110","doi-asserted-by":"crossref","first-page":"3687","DOI":"10.1109\/LRA.2021.3064220","volume":"6","author":"D Gundana","year":"2021","unstructured":"Gundana D, Kress-Gazit H (2021) Event-based signal temporal logic synthesis for single and multi-robot tasks. IEEE Robot Autom Lett 6(2):3687\u20133694","journal-title":"IEEE Robot Autom Lett"},{"key":"10389_CR111","unstructured":"Guo M, Johansson KH, Dimarogonas DV (2013) Motion and action planning under ltl specifications using navigation functions and action description language. In: IEEE international conference on intelligent robots and systems, pp 240\u2013245"},{"key":"10389_CR112","doi-asserted-by":"crossref","unstructured":"Guo M, Tumova J, Dimarogonas DV (2014) Cooperative decentralized multi-agent control under local ltl tasks and connectivity constraints. In: Proceedings of the IEEE conference on decision and control, vol 2015, pp 75\u201380","DOI":"10.1109\/CDC.2014.7039362"},{"issue":"12","key":"10389_CR113","doi-asserted-by":"crossref","first-page":"3948","DOI":"10.1109\/TAC.2016.2527731","volume":"61","author":"M Guo","year":"2016","unstructured":"Guo M, Tumova J, Dimarogonas DV (2016) Communication-free multi-agent control under local temporal tasks and relative-distance constraints. IEEE Trans Autom Control 61(12):3948\u20133962","journal-title":"IEEE Trans Autom Control"},{"key":"10389_CR114","doi-asserted-by":"crossref","unstructured":"Gurzoni J J\u00a0A, Cozman FG, Martins MF, Santos PE (2014) Logic-probabilistic model for event recognition in a robotic search and rescue scenario. In: Conference proceedings\u2014IEEE international conference on systems, man and cybernetics, vol 2014, pp 1726\u20131731","DOI":"10.1109\/SMC.2014.6974166"},{"issue":"4\u20135","key":"10389_CR115","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1017\/S1471068411000238","volume":"11","author":"B Gutmann","year":"2011","unstructured":"Gutmann B, Thon I, Kimmig A, Bruynooghe M, De Raedt L (2011) The magic of logical inference in probabilistic programming. Theory Pract Log Program 11(4\u20135):663\u2013680","journal-title":"Theory Pract Log Program"},{"key":"10389_CR116","doi-asserted-by":"crossref","unstructured":"Hao S, Huang Z, Wang L, Zhang R, Zhang X, Peng J, Yu W (2017) An optimal task decision method for a warehouse robot with multiple tasks based on linear temporal logic. In: 2017 IEEE international conference on systems, man, and cybernetics, SMC 2017, vol 2017, pp 1453\u20131458","DOI":"10.1109\/SMC.2017.8122818"},{"issue":"2","key":"10389_CR117","doi-asserted-by":"crossref","first-page":"79","DOI":"10.3233\/AIS-200556","volume":"12","author":"H Harman","year":"2020","unstructured":"Harman H, Simoens P (2020) Action graphs for proactive robot assistance in smart environments. J Ambient Intell Smart Environ 12(2):79\u201399","journal-title":"J Ambient Intell Smart Environ"},{"key":"10389_CR118","doi-asserted-by":"crossref","unstructured":"Harmo P, Taipalus T, Knuuttila J, Vallet J, Halme A (2005) Needs and solutions-home automation and service robots for the elderly and disabled. In: 2005 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 3201\u20133206","DOI":"10.1109\/IROS.2005.1545387"},{"key":"10389_CR119","doi-asserted-by":"crossref","unstructured":"He K, Lahijanian M, Kavraki LE, Vardi MY (2015) Towards manipulation planning with temporal logic specifications. In: Proceedings\u2014IEEE international conference on robotics and automation, vol 2015, pp 346\u2013352","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"10389_CR120","unstructured":"Helmert M (2002) Decidability and undecidability results for planning with numerical state variables. In: AIPS, pp 44\u201353"},{"key":"10389_CR121","unstructured":"Helmert M, R\u00f6ger G, Karpas E (2011) Fast downward stone soup: a baseline for building planner portfolios. In: International conference on automated planning and scheduling 2011 workshop on planning and learning, pp 28\u201335"},{"key":"10389_CR122","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann J, Nebel B (2001) The ff planning system: fast plan generation through heuristic search. J Artif Intell Res 14:253\u2013302","journal-title":"J Artif Intell Res"},{"key":"10389_CR123","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.artint.2014.11.003","volume":"247","author":"F Ingrand","year":"2017","unstructured":"Ingrand F, Ghallab M (2017) Deliberation for autonomous robots: a survey. Artif Intell 247:10\u201344","journal-title":"Artif Intell"},{"key":"10389_CR124","doi-asserted-by":"crossref","unstructured":"Jain D, Mosenlechner L, Beetz M (2009) Equipping robot control programs with first-order probabilistic reasoning capabilities. In: 2009 IEEE international conference on robotics and automation, IEEE, pp 3626\u20133631","DOI":"10.1109\/ROBOT.2009.5152676"},{"issue":"1","key":"10389_CR125","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11370-015-0185-y","volume":"9","author":"R Janssen","year":"2016","unstructured":"Janssen R, van de Molengraft R, Bruyninckx H, Steinbuch M (2016) Cloud based centralized task control for human domain multi-robot operations. Intell Serv Robot 9(1):63\u201377","journal-title":"Intell Serv Robot"},{"key":"10389_CR126","doi-asserted-by":"crossref","unstructured":"Javia B, Cimiano P (2017) A logic programming approach to collaborative autonomous robotics, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 10505, LNAI","DOI":"10.1007\/978-3-319-67190-1_25"},{"key":"10389_CR127","unstructured":"Ji J (2009) A cognitive architecture for a service robot: an answer set programming approach. In: Proceedings of the 25th international conference on logic programming, vol 5649, pp 532\u2013533"},{"issue":"3","key":"10389_CR128","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1631\/FITEE.1800514","volume":"20","author":"Y Jiang","year":"2019","unstructured":"Jiang Y, Zhang S, Khandelwal P, Stone P (2019) Task planning in robotics: an empirical comparison of pddl- and asp-based systems. Front Inf Technol Electron Eng 20(3):363\u2013373","journal-title":"Front Inf Technol Electron Eng"},{"issue":"4","key":"10389_CR129","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S026988891200001X","volume":"27","author":"S Jim\u00e9nez","year":"2012","unstructured":"Jim\u00e9nez S, De La Rosa T, Fern\u00e1ndez S, Fern\u00e1ndez F, Borrajo D (2012) A review of machine learning for automated planning. Knowl Eng Rev 27(4):433\u2013467","journal-title":"Knowl Eng Rev"},{"key":"10389_CR130","doi-asserted-by":"crossref","unstructured":"Jing G, Finucane C, Raman V, Kress-Gazit H (2012) Correct high-level robot control from structured english. In: 2012 IEEE international conference on robotics and automation, IEEE, pp 3543\u20133544","DOI":"10.1109\/ICRA.2012.6225161"},{"key":"10389_CR131","doi-asserted-by":"crossref","unstructured":"Jing G, Tosun T, Yim M, Kress-Gazit H (2016) An end-to-end system for accomplishing tasks with modular robots. In: Robotics: science and systems, pp 1\u20135","DOI":"10.24963\/ijcai.2017\/686"},{"key":"10389_CR132","doi-asserted-by":"crossref","unstructured":"Kadonoff MB (1987) Prolog-based world models for mobile robot navigation. In: Mobile robots II, international society for optics and photonics, vol 852, pp 305\u2013310","DOI":"10.1117\/12.968262"},{"issue":"2","key":"10389_CR133","first-page":"134","volume":"4","author":"F Kamil","year":"2015","unstructured":"Kamil F, Tang S, Khaksar W, Zulkifli N, Ahmad S (2015) A review on motion planning and obstacle avoidance approaches in dynamic environments. Adv Robot Autom 4(2):134\u2013142","journal-title":"Adv Robot Autom"},{"key":"10389_CR134","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1146\/annurev-control-082619-100135","volume":"3","author":"E Karpas","year":"2020","unstructured":"Karpas E, Magazzeni D (2020) Automated planning for robotics. Ann Rev Control Robot Auton Syst 3:417\u2013439","journal-title":"Ann Rev Control Robot Auton Syst"},{"issue":"3","key":"10389_CR135","first-page":"25","volume":"37","author":"B Kaufmann","year":"2016","unstructured":"Kaufmann B, Leone N, Perri S, Schaub T (2016) Grounding and solving in answer set programming. AI Mag 37(3):25\u201332","journal-title":"AI Mag"},{"key":"10389_CR136","doi-asserted-by":"crossref","unstructured":"Kim S, Kwon G (2012) Simulation of collaborative multi-robots. In: International conference on hybrid information technology, Springer, pp 588\u2013593","DOI":"10.1007\/978-3-642-32692-9_74"},{"issue":"5","key":"10389_CR137","first-page":"1763","volume":"17","author":"S Kim","year":"2014","unstructured":"Kim S, Kwon G (2014) Multi-robot collaboration simulation using ltl synthesis. Information 17(5):1763\u20131769","journal-title":"Information"},{"key":"10389_CR138","doi-asserted-by":"crossref","unstructured":"Kirsch M, Matar\u00e9 V, Ferrein A, Schiffer S (2020) Integrating golog++ and ros for practical and portable high-level control. In: ICAART 2020\u2014proceedings of the 12th international conference on agents and artificial intelligence, vol\u00a02, pp 692\u2013699","DOI":"10.5220\/0008984406920699"},{"key":"10389_CR139","doi-asserted-by":"crossref","unstructured":"Kloetzer M, Belta C (2006) Ltl planning for groups of robots. In: Proceedings of the 2006 IEEE international conference on networking, sensing and control, ICNSC\u201906, pp 578\u2013583","DOI":"10.1109\/ICNSC.2006.1673210"},{"issue":"1","key":"10389_CR140","first-page":"1","volume":"6","author":"A Kolobov","year":"2012","unstructured":"Kolobov A (2012) Planning with markov decision processes: an AI perspective. Synth Lect Artif Intell Mach Learn 6(1):1\u2013210","journal-title":"Synth Lect Artif Intell Mach Learn"},{"key":"10389_CR141","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1108\/IR-02-2016-0071","volume":"43","author":"Z Kootbally","year":"2016","unstructured":"Kootbally Z (2016) Industrial robot capability models for agile manufacturing. Ind Robot: Int J 43:481\u2013494","journal-title":"Ind Robot: Int J"},{"key":"10389_CR142","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-54927-9","volume-title":"Robot operating system (ROS)","author":"A Koub\u00e2a","year":"2017","unstructured":"Koub\u00e2a A et al (2017) Robot operating system (ROS), vol 1. Springer, Cham"},{"key":"10389_CR143","unstructured":"Kovacs DL (2011) Bnf definition of pddl 3.1. Unpublished manuscript from the IPC-2011 website"},{"issue":"6","key":"10389_CR144","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","volume":"25","author":"H Kress-Gazit","year":"2009","unstructured":"Kress-Gazit H, Fainekos GE, Pappas GJ (2009) Temporal-logic-based reactive mission and motion planning. IEEE Trans Robot 25(6):1370\u20131381","journal-title":"IEEE Trans Robot"},{"issue":"3","key":"10389_CR145","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MRA.2011.942116","volume":"18","author":"H Kress-Gazit","year":"2011","unstructured":"Kress-Gazit H, Wongpiromsarn T, Topcu U (2011) Correct, reactive, high-level robot control. IEEE Robot Autom Mag 18(3):65\u201374","journal-title":"IEEE Robot Autom Mag"},{"issue":"7","key":"10389_CR146","doi-asserted-by":"crossref","first-page":"32","DOI":"10.9781\/ijimai.2016.375","volume":"3","author":"A Kumar","year":"2016","unstructured":"Kumar A, Kala R (2016) Linear temporal logic-based mission planning. IJIMAI 3(7):32\u201341","journal-title":"IJIMAI"},{"issue":"2","key":"10389_CR147","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0743-1066(88)90017-9","volume":"5","author":"V Kumar","year":"1988","unstructured":"Kumar V, Lin YJ (1988) A data-dependency-based intelligent backtracking scheme for prolog. J Log Program 5(2):165\u2013181","journal-title":"J Log Program"},{"key":"10389_CR148","doi-asserted-by":"crossref","first-page":"169","DOI":"10.7551\/mitpress\/9481.003.0027","volume":"7","author":"B Lacerda","year":"2012","unstructured":"Lacerda B, Lima PU (2012) Designing petri net supervisors from ltl specifications. Robot: Sci Syst 7:169\u2013176","journal-title":"Robot: Sci Syst"},{"key":"10389_CR149","doi-asserted-by":"crossref","unstructured":"Lahijanian M, Almagor S, Fried D, Kavraki LE, Vardi MY (2015) This time the robot settles for a cost: a quantitative approach to temporal logic planning with partial satisfaction. In: Twenty-ninth AAAI conference on artificial intelligence","DOI":"10.1609\/aaai.v29i1.9670"},{"issue":"2\u20133","key":"10389_CR150","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1016\/j.artint.2007.09.006","volume":"172","author":"KB Laskey","year":"2008","unstructured":"Laskey KB (2008) Mebn: a language for first-order Bayesian knowledge bases. Artif Intell 172(2\u20133):140\u2013178","journal-title":"Artif Intell"},{"key":"10389_CR151","doi-asserted-by":"crossref","DOI":"10.1561\/9781680832792","volume-title":"A survey of methods for safe human-robot interaction","author":"PA Lasota","year":"2017","unstructured":"Lasota PA, Fong T, Shah JA et al (2017) A survey of methods for safe human-robot interaction. Now Publishers, Delft"},{"key":"10389_CR152","unstructured":"Lee J, Wang Y (2016) Weighted rules under the stable model semantics. In: Fifteenth international conference on the principles of knowledge representation and reasoning"},{"issue":"3\u20134","key":"10389_CR153","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1017\/S1471068418000303","volume":"18","author":"J Lee","year":"2018","unstructured":"Lee J, Wang Y (2018) A probabilistic extension of action language $$\\cal{BC} +$$. Theory Pract Log Program 18(3\u20134):607\u2013622","journal-title":"Theory Pract Log Program"},{"key":"10389_CR154","doi-asserted-by":"crossref","unstructured":"Lemaignan S, Ros R, M\u00f6senlechner L, Alami R, Beetz M (2010) Oro, a knowledge management platform for cognitive architectures in robotics. In: 2010 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 3548\u20133553","DOI":"10.1109\/IROS.2010.5649547"},{"key":"10389_CR155","doi-asserted-by":"crossref","unstructured":"Leonetti M, Iocchi L, Patrizi F (2012) Automatic generation and learning of finite-state controllers. In: International conference on artificial intelligence: methodology, systems, and applications, Springer, pp 135\u2013144","DOI":"10.1007\/978-3-642-33185-5_15"},{"key":"10389_CR156","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.artint.2016.07.004","volume":"241","author":"M Leonetti","year":"2016","unstructured":"Leonetti M, Iocchi L, Stone P (2016) A synthesis of automated planning and reinforcement learning for efficient, robust decision-making. Artif Intell 241:103\u2013130","journal-title":"Artif Intell"},{"issue":"1\u20133","key":"10389_CR157","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque HJ, Reiter R, Lesp\u00e9rance Y, Lin F, Scherl RB (1997) Golog: a logic programming language for dynamic domains. J Log Program 31(1\u20133):59\u201383","journal-title":"J Log Program"},{"key":"10389_CR158","doi-asserted-by":"crossref","unstructured":"Levinson J, Askeland J, Becker J, Dolson J, Held D, Kammel S, Kolter JZ, Langer D, Pink O, Pratt V, et\u00a0al. (2011) Towards fully autonomous driving: systems and algorithms. In: 2011 IEEE intelligent vehicles symposium, IEEE, pp 163\u2013168","DOI":"10.1109\/IVS.2011.5940562"},{"key":"10389_CR159","doi-asserted-by":"crossref","unstructured":"Lifschitz V (1999) Answer set planning. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 373\u2013374","DOI":"10.1007\/3-540-46767-X_28"},{"key":"10389_CR160","first-page":"1594","volume":"8","author":"V Lifschitz","year":"2008","unstructured":"Lifschitz V (2008) What is answer set programming? AAAI 8:1594\u20131597","journal-title":"AAAI"},{"key":"10389_CR161","unstructured":"Likhachev M, Thrun S, Gordon GJ (2005) Planning for Markov decision processes with sparse stochasticity. In: Advances in neural information processing systems, pp 785\u2013792"},{"issue":"02","key":"10389_CR162","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1142\/S2301385014300029","volume":"2","author":"H Lin","year":"2014","unstructured":"Lin H (2014) Mission accomplished: an introduction to formal methods in mobile robot motion planning and control. Unmanned Syst 2(02):201\u2013216","journal-title":"Unmanned Syst"},{"key":"10389_CR163","doi-asserted-by":"crossref","unstructured":"Lisca G, Nyga D, B\u00e1lint-Bencz\u00e9di F, Langer H, Beetz M (2015) Towards robots conducting chemical experiments. In: 2015 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 5202\u20135208","DOI":"10.1109\/IROS.2015.7354110"},{"key":"10389_CR164","doi-asserted-by":"crossref","unstructured":"Liu L, Peng J, Zhang R, Chen B, Yang Y, Zhang X (2017) Temporal logic task and motion planning of a smart robot-towards a smart substation environment. In: 2017 IEEE international conference on systems, man, and cybernetics, SMC 2017, vol 2017, pp 1110\u20131115","DOI":"10.1109\/SMC.2017.8122760"},{"key":"10389_CR165","volume-title":"Foundations of logic programming","author":"JW Lloyd","year":"2012","unstructured":"Lloyd JW (2012) Foundations of logic programming. Springer, Berlin"},{"key":"10389_CR166","doi-asserted-by":"crossref","unstructured":"Lu D, Zhou Y, Wu F, Zhang Z, Chen X (2017) Integrating answer set programming with semantic dictionaries for robot task planning. In: International joint conference on artificial intelligence, pp 4361\u20134367","DOI":"10.24963\/ijcai.2017\/609"},{"key":"10389_CR167","unstructured":"Lukasiewicz T (1998) Probabilistic logic programming. In: ECAI, pp 388\u2013392"},{"issue":"3","key":"10389_CR168","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T Lukasiewicz","year":"2001","unstructured":"Lukasiewicz T (2001) Probabilistic logic programming with conditional constraints. ACM Trans Comput Log 2(3):289\u2013339","journal-title":"ACM Trans Comput Log"},{"key":"10389_CR169","unstructured":"Ma C, Fang F, Ma X (2016) Task planning of mobile robots in distributed service framework. In: Proceedings of the industrial electronics conference, pp 342\u2013347"},{"key":"10389_CR170","unstructured":"Mandel C, Huebner K, Vierhuff T (2005) Towards an autonomous wheelchair: cognitive aspects in service robotics. In: Proceedings of towards autonomous robotic systems, pp 165\u2013172"},{"issue":"3\u20134","key":"10389_CR171","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s13218-015-0406-8","volume":"30","author":"N Manthey","year":"2016","unstructured":"Manthey N (2016) Towards next generation sequential and parallel sat solvers. KI-K\u00fcnstliche Intelligenz 30(3\u20134):339\u2013342","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"key":"10389_CR172","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The logic programming paradigm","author":"VW Marek","year":"1999","unstructured":"Marek VW, Truszczy\u0144ski M (1999) Stable models and an alternative logic programming paradigm. In: The logic programming paradigm. Springer, Berlin, pp 375\u2013398"},{"key":"10389_CR173","doi-asserted-by":"publisher","unstructured":"Matari\u0107 MJ (2006) Situated robotics. In Encyclopedia of Cognitive Science, L. Nadel (Ed.). https:\/\/doi.org\/10.1002\/0470018860.s00074","DOI":"10.1002\/0470018860.s00074"},{"key":"10389_CR174","unstructured":"Matar\u00e9 V, Schiffer S, Ferrein A (2018) Golog++: an integrative system design. In: CEUR workshop proceedings, vol 2325, pp 29\u201335"},{"key":"10389_CR175","unstructured":"Maurelli F, Saigol Z, Lane D (2014) Cognitive knowledge representation under uncertainty for autonomous underwater vehicles. In: Proceedings of IEEE ICRA\u201914 IEEE Hong Kong, workshop on persistent autonomy for underwater robotics"},{"issue":"1\u20132","key":"10389_CR176","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J McCarthy","year":"1980","unstructured":"McCarthy J (1980) Circumscription\u2019a form of non-monotonic reasoning. Artif Intell 13(1\u20132):27\u201339","journal-title":"Artif Intell"},{"issue":"1\u20132","key":"10389_CR177","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D McDermott","year":"1980","unstructured":"McDermott D, Doyle J (1980) Non-monotonic logic i. Artif Intell 13(1\u20132):41\u201372","journal-title":"Artif Intell"},{"issue":"7","key":"10389_CR178","doi-asserted-by":"crossref","first-page":"1739","DOI":"10.1007\/s10994-021-06013-7","volume":"110","author":"D Meli","year":"2021","unstructured":"Meli D, Sridharan M, Fiorini P (2021a) Inductive learning of answer set programs for autonomous surgical task planning. Mach Learn 110(7):1739\u20131763","journal-title":"Mach Learn"},{"key":"10389_CR179","doi-asserted-by":"crossref","unstructured":"Meli D, Tagliabue E, Dall\u2019Alba D, Fiorini P (2021b) Autonomous tissue retraction with a biomechanically informed logic based framework. In: International symposium on medical robotics, IEEE, pp 1\u20137","DOI":"10.1109\/ISMR48346.2021.9661573"},{"key":"10389_CR180","doi-asserted-by":"crossref","unstructured":"Miranda DSS, de\u00a0Souza LE, Bastos GS (2018) A rosplan-based multi-robot navigation system. In: 2018 Latin American robotic symposium, 2018 Brazilian symposium on robotics and 2018 workshop on robotics in education, IEEE, pp 248\u2013253","DOI":"10.1109\/LARS\/SBR\/WRE.2018.00053"},{"key":"10389_CR181","doi-asserted-by":"crossref","unstructured":"Moldovan B, De\u00a0Raedt L (2014) Learning relational affordance models for two-arm robots. In: 2014 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 2916\u20132922","DOI":"10.1109\/IROS.2014.6942964"},{"key":"10389_CR182","doi-asserted-by":"crossref","unstructured":"Moldovan B, Moreno P, Van\u00a0Otterlo M, Santos-Victor J, De\u00a0Raedt L (2012) Learning relational affordance models for robots in multi-object manipulation tasks. In: 2012 IEEE international conference on robotics and automation, IEEE, pp 4373\u20134378","DOI":"10.1109\/ICRA.2012.6225042"},{"key":"10389_CR183","doi-asserted-by":"crossref","unstructured":"Moldovan B, Antanas L, Hoffmann M (2013) Opening doors: an initial SRL approach, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 7842, LNAI","DOI":"10.1007\/978-3-642-38812-5_13"},{"issue":"1","key":"10389_CR184","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s10514-017-9637-x","volume":"42","author":"B Moldovan","year":"2018","unstructured":"Moldovan B, Moreno P, Nitti D, Santos-Victor J, De Raedt L (2018) Relational affordances for multiple-object manipulation. Auton Robots 42(1):19\u201344","journal-title":"Auton Robots"},{"issue":"18","key":"10389_CR185","doi-asserted-by":"crossref","first-page":"3789","DOI":"10.3390\/app9183789","volume":"9","author":"J Moon","year":"2019","unstructured":"Moon J, Lee B (2019) Pddl planning with natural language-based scene understanding for uav-ugv cooperation. Appl Sci 9(18):3789","journal-title":"Appl Sci"},{"issue":"3\u2014-4","key":"10389_CR186","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1007\/s10846-018-0810-z","volume":"94","author":"P Mu\u00f1oz","year":"2019","unstructured":"Mu\u00f1oz P, R-Moreno MD, Barrero DF, Ropero F (2019) Mobar: a hierarchical action-oriented autonomous control architecture. J Intell Robot Syst: Theory Appl 94(3\u2014-4):745\u2013760","journal-title":"J Intell Robot Syst: Theory Appl"},{"key":"10389_CR187","unstructured":"Mu\u00f1oz-Hernandez S, Wiguna WS (2007) Fuzzy cognitive layer in RoboCupSoccer, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 4529, LNAI"},{"key":"10389_CR189","doi-asserted-by":"crossref","unstructured":"Nagy TD, Haidegger TP (2021) Towards standard approaches for the evaluation of autonomous surgical subtask execution. In: 2021 IEEE 25th international conference on intelligent engineering systems, IEEE, pp 67\u201374","DOI":"10.1109\/INES52918.2021.9512901"},{"issue":"03n04","key":"10389_CR188","doi-asserted-by":"crossref","first-page":"1841005","DOI":"10.1142\/S2424905X18410052","volume":"3","author":"D\u00c1 Nagy","year":"2018","unstructured":"Nagy D\u00c1, Nagy TD, Elek R, Rudas IJ, Haidegger T (2018) Ontology-based surgical subtask automation, automating blunt dissection. J Med Robot Res 3(03n04):1841005","journal-title":"J Med Robot Res"},{"key":"10389_CR190","doi-asserted-by":"crossref","unstructured":"Nakawala H, Goncalves PJ, Fiorini P, Ferringo G, De\u00a0Momi E (2018) Approaches for action sequence representation in robotics: a review. In: 2018 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 5666\u20135671","DOI":"10.1109\/IROS.2018.8594256"},{"issue":"4","key":"10389_CR191","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/s11548-018-1882-8","volume":"14","author":"H Nakawala","year":"2019","unstructured":"Nakawala H, Bianchi R, Pescatori LE, De Cobelli O, Ferrigno G, De Momi E (2019) Deep-onto network for surgical workflow and context recognition. Int J Comput Assist Radiol Surg 14(4):685\u2013696","journal-title":"Int J Comput Assist Radiol Surg"},{"issue":"4","key":"10389_CR192","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1023\/A:1009816922431","volume":"4","author":"GA Narboni","year":"1999","unstructured":"Narboni GA (1999) From prolog iii to prolog iv: the logic of constraint programming revisited. Constraints 4(4):313\u2013335","journal-title":"Constraints"},{"key":"10389_CR193","unstructured":"Nau D, Cao Y, Lotem A, Munoz-Avila H (1999) Shop: simple hierarchical ordered planner. In: Proceedings of the 16th international joint conference on artificial intelligence, vol 2, pp 968\u2013973"},{"key":"10389_CR194","unstructured":"Nevlyudov I, Tsymbal O, Milyutina S (2008) The logical model of product assembly technological process design. In: TCSET 2008\u2014modern problems of radio engineering, telecommunications and computer science\u2014proceedings of the international conference, pp 500\u2013501"},{"issue":"2","key":"10389_CR195","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R Ng","year":"1992","unstructured":"Ng R, Subrahmanian VS (1992) Probabilistic logic programming. Inf Comput 101(2):150\u2013201","journal-title":"Inf Comput"},{"key":"10389_CR196","doi-asserted-by":"crossref","unstructured":"Nitti D, Belle V, De\u00a0Raedt L (2015) Planning in discrete and continuous Markov decision processes by probabilistic programming. In: Joint European conference on machine learning and knowledge discovery in databases, Springer, pp 327\u2013342","DOI":"10.1007\/978-3-319-23525-7_20"},{"key":"10389_CR197","doi-asserted-by":"crossref","unstructured":"Nyga D, Beetz M (2012) Everything robots always wanted to know about housework (but were afraid to ask). In: 2012 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 243\u2013250","DOI":"10.1109\/IROS.2012.6385923"},{"key":"10389_CR198","unstructured":"Nyga D, Roy S, Paul R, Park D, Pomarlan M, Beetz M, Roy N (2018) Grounding robot plans from natural language instructions with incomplete world knowledge. In: Conference on robot learning, pp 714\u2013723"},{"key":"10389_CR199","doi-asserted-by":"crossref","unstructured":"Opfer S, Jakob S, Geihs K (2018) Reasoning for autonomous agents in dynamic domains: towards automatic satisfaction of the module property, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 10839, LNAI","DOI":"10.1007\/978-3-319-93581-2_2"},{"key":"10389_CR200","doi-asserted-by":"crossref","unstructured":"Opfer S, Jakob S, Jahl A, Geihs K (2019) ALICA 2.0\u2014domain-independent teamwork, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 11793, LNAI","DOI":"10.1007\/978-3-030-30179-8_22"},{"key":"10389_CR201","doi-asserted-by":"crossref","unstructured":"Papadimitriou G, Saigol Z, Lane DM (2015) Enabling fault recovery and adaptation in mine-countermeasures missions using ontologies. In: MTS\/IEEE OCEANS 2015\u2014Genova: discovering sustainable ocean energy for a new world","DOI":"10.1109\/OCEANS-Genova.2015.7271535"},{"key":"10389_CR202","doi-asserted-by":"crossref","unstructured":"Pereira LM, Monteiro L, Cunha J, Aparicio JN (1986) Delta prolog: a distributed backtracking extension with events. In: International conference on logic programming, Springer, pp 69\u201383","DOI":"10.1007\/3-540-16492-8_65"},{"key":"10389_CR203","doi-asserted-by":"crossref","unstructured":"Pianpak P, Son TC, Toups ZO, Yeoh W (2019) A distributed solver for multi-agent path finding problems. In: ACM international conference proceeding series","DOI":"10.1145\/3356464.3357702"},{"key":"10389_CR204","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5772\/56906","volume":"10","author":"LA Pineda","year":"2013","unstructured":"Pineda LA, Salinas L, Meza IV, Rascon C, Fuentes G (2013) Sit log: a programming language for service robot task. Int J Adv Robot Syst 10:1\u201312","journal-title":"Int J Adv Robot Syst"},{"key":"10389_CR205","doi-asserted-by":"crossref","unstructured":"Pnueli A (1977) The temporal logic of programs. In: 18th annual symposium on foundations of computer science, IEEE, pp 46\u201357","DOI":"10.1109\/SFCS.1977.32"},{"key":"10389_CR206","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8847-5","volume-title":"Theory and applications of ontology: computer applications","author":"R Poli","year":"2010","unstructured":"Poli R, Healy M, Kameas A (2010) Theory and applications of ontology: computer applications. Springer, Dordrecht"},{"issue":"9","key":"10389_CR207","doi-asserted-by":"crossref","first-page":"1314","DOI":"10.5897\/IJPS11.1745","volume":"7","author":"P Raja","year":"2012","unstructured":"Raja P, Pugazhenthi S (2012) Optimal path planning of mobile robots: a review. Int J Phys Sci 7(9):1314\u20131320","journal-title":"Int J Phys Sci"},{"key":"10389_CR208","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-1-4614-5659-9_3","volume-title":"Marine robot autonomy","author":"K Rajan","year":"2013","unstructured":"Rajan K, Py F, Barreiro J (2013) Towards deliberative control in marine robotics. In: Marine robot autonomy. Springer, New York, pp 91\u2013175"},{"issue":"1","key":"10389_CR209","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/TRO.2012.2214558","volume":"29","author":"V Raman","year":"2012","unstructured":"Raman V, Kress-Gazit H (2012) Explaining impossible high-level robot behaviors. IEEE Trans Robot 29(1):94\u2013104","journal-title":"IEEE Trans Robot"},{"issue":"1\u20132","key":"10389_CR210","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M Richardson","year":"2006","unstructured":"Richardson M, Domingos P (2006) Markov logic networks. Mach Learn 62(1\u20132):107\u2013136","journal-title":"Mach Learn"},{"key":"10389_CR211","unstructured":"Richter S, Westphal M, Helmert M (2011) Lama 2008 and 2011. In: International planning competition, pp 117\u2013124"},{"key":"10389_CR212","first-page":"280","volume":"7","author":"J Rintanen","year":"2007","unstructured":"Rintanen J et al (2007) Complexity of concurrent temporal planning. Int Conf Autom Plan Sched 7:280\u2013287","journal-title":"Int Conf Autom Plan Sched"},{"key":"10389_CR213","doi-asserted-by":"crossref","unstructured":"Rutten JJ, Kwiatkowska M, Norman G, Parker D (2004) Mathematical techniques for analyzing concurrent and probabilistic systems. 23, American Mathematical Soc","DOI":"10.1090\/crmm\/023"},{"key":"10389_CR214","doi-asserted-by":"crossref","unstructured":"Sanelli V, Cashmore M, Magazzeni D, Iocchi L (2017) Short-term human-robot interaction through conditional planning and execution. In: Twenty-seventh international conference on automated planning and scheduling","DOI":"10.1609\/icaps.v27i1.13864"},{"key":"10389_CR215","doi-asserted-by":"crossref","first-page":"377","DOI":"10.7551\/mitpress\/9816.003.0053","volume-title":"Robotics","author":"S Sarid","year":"2013","unstructured":"Sarid S, Xu B, Kress-Gazit H (2013) Guaranteeing high-level behaviors while exploring partially known maps. Robotics. MIT Press, Cambridge, pp 377\u2013384"},{"key":"10389_CR216","doi-asserted-by":"crossref","unstructured":"Sato T (1995) A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th international conference on logic programming","DOI":"10.7551\/mitpress\/4298.003.0069"},{"issue":"4","key":"10389_CR217","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11370-012-0118-y","volume":"5","author":"S Schiffer","year":"2012","unstructured":"Schiffer S, Ferrein A, Lakemeyer G (2012) Caesar: an intelligent domestic service robot. Intell Serv Robot 5(4):259\u2013273","journal-title":"Intell Serv Robot"},{"key":"10389_CR218","doi-asserted-by":"crossref","unstructured":"Schillinger P, Burger M, Dimarogonas DV (2017) Multi-objective search for optimal multi-robot planning with finite ltl specifications and resource constraints. In: Proceedings\u2014IEEE international conference on robotics and automation, pp 768\u2013774","DOI":"10.1109\/ICRA.2017.7989094"},{"issue":"2","key":"10389_CR219","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10626-017-0239-8","volume":"27","author":"A Schmuck","year":"2017","unstructured":"Schmuck A, Majumdar R, Leva A (2017) Dynamic hierarchical reactive controller synthesis. Discr Event Dyn Syst: Theory Appl 27(2):261\u2013299","journal-title":"Discr Event Dyn Syst: Theory Appl"},{"key":"10389_CR220","doi-asserted-by":"crossref","unstructured":"Semwal T, Bode M, Singh V, Jha SS, Nair SB (2015) Tartarus: a multi-agent platform for integrating cyber-physical systems and robots. In: ACM international conference proceeding series, vol 2","DOI":"10.1145\/2783449.2783469"},{"key":"10389_CR221","unstructured":"Shivashankar V, Alford R, Kuter U, Nau D (2013) The godel planning system: a more perfect union of domain-independent and hierarchical planning. In: Twenty-third international joint conference on artificial intelligence"},{"key":"10389_CR222","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-order logic","author":"RM Smullyan","year":"1995","unstructured":"Smullyan RM (1995) First-order logic. Courier Corporation, Chelmsford 43. https:\/\/doi.org\/10.1007\/978-3-642-86718-7"},{"issue":"4","key":"10389_CR223","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/1183278.1183279","volume":"7","author":"TC Son","year":"2006","unstructured":"Son TC, Baral C, Tran N, Mcilraith S (2006) Domain-dependent knowledge in answer set planning. ACM Trans Comput Log 7(4):613\u2013657","journal-title":"ACM Trans Comput Log"},{"issue":"9","key":"10389_CR224","first-page":"30","volume":"93","author":"NJ Soper","year":"2008","unstructured":"Soper NJ, Fried GM (2008) The fundamentals of laparoscopic surgery: its time has come. Bull Am Coll Surg 93(9):30\u201332","journal-title":"Bull Am Coll Surg"},{"issue":"53","key":"10389_CR225","first-page":"1","volume":"2005","author":"N Sorensson","year":"2005","unstructured":"Sorensson N, Een N (2005) Minisat v1. 13-a sat solver with conflict-clause minimization. SAT 2005(53):1\u20132","journal-title":"SAT"},{"key":"10389_CR226","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1613\/jair.1.11524","volume":"65","author":"M Sridharan","year":"2019","unstructured":"Sridharan M, Gelfond M, Zhang S, Wyatt J (2019) Reba: a refinement-based architecture for knowledge representation and reasoning in robotics. J Artif Intell Res 65:87\u2013180","journal-title":"J Artif Intell Res"},{"key":"10389_CR227","doi-asserted-by":"crossref","unstructured":"Syrj\u00e4nen T, Niemel\u00e4 I (2001) The smodels system. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 434\u2013438","DOI":"10.1007\/3-540-45402-0_38"},{"key":"10389_CR228","doi-asserted-by":"crossref","unstructured":"Tagliabue E, Meli D, Dall\u2019Alba D, Fiorini P (2022) Deliberation in autonomous robotic surgery: a framework for handling anatomical uncertainty. In: IEEE international conference on robotics and automation","DOI":"10.1109\/ICRA46639.2022.9811820"},{"key":"10389_CR229","doi-asserted-by":"crossref","unstructured":"Tan ZX, Brawer J, Scassellati B (2019) That\u2019s mine! learning ownership relations and norms for robots. In: Proceedings of the AAAI conference on artificial intelligence, vol 33, pp 8058\u20138065","DOI":"10.1609\/aaai.v33i01.33018058"},{"key":"10389_CR230","unstructured":"Teichteil-K\u00f6nigsbuch F, Kuter U, Infantes G (2010) Incremental plan aggregation for generating policies in mdps. In: Proceedings of the 9th international conference on autonomous agents and multiagent systems: volume 1-volume 1, International Foundation for Autonomous Agents and Multiagent Systems, pp 1231\u20131238"},{"issue":"5","key":"10389_CR231","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1177\/0278364913481635","volume":"32","author":"M Tenorth","year":"2013","unstructured":"Tenorth M, Beetz M (2013) Knowrob: a knowledge processing infrastructure for cognition-enabled robots. Int J Robot Res 32(5):566\u2013590","journal-title":"Int J Robot Res"},{"key":"10389_CR232","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.artint.2015.05.010","volume":"247","author":"M Tenorth","year":"2017","unstructured":"Tenorth M, Beetz M (2017) Representations for robot knowledge in the knowrob framework. Artif Intell 247:151\u2013169","journal-title":"Artif Intell"},{"key":"10389_CR233","doi-asserted-by":"crossref","unstructured":"Thielscher M (2005) Handling implication and universal quantification constraints in FLUX, lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics), vol 3709, LNCS","DOI":"10.1007\/11564751_49"},{"key":"10389_CR234","first-page":"101","volume":"3","author":"BA Trakhtenbrot","year":"1962","unstructured":"Trakhtenbrot BA (1962) Finite automata and monadic second order logic. Sib Math J 3:101\u2013131","journal-title":"Sib Math J"},{"issue":"4","key":"10389_CR235","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1017\/S1471068406002948","volume":"7","author":"PH Tu","year":"2007","unstructured":"Tu PH, Son TC, Baral C (2007) Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory Pract Log Program 7(4):377\u2013450","journal-title":"Theory Pract Log Program"},{"key":"10389_CR236","doi-asserted-by":"crossref","unstructured":"Tumova J, Marzinotto A, Dimarogonas DV, Kragic D (2014) Maximally satisfying ltl action planning. In: IEEE international conference on intelligent robots and systems, pp 1503\u20131510","DOI":"10.1109\/IROS.2014.6942755"},{"issue":"6","key":"10389_CR237","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/S1474-6670(17)54376-1","volume":"22","author":"S Tzafestas","year":"1989","unstructured":"Tzafestas S, Plouzennec A (1989) A prolog-based expert system prototype for robot task planning. IFAC Proc Vol 22(6):225\u2013230","journal-title":"IFAC Proc Vol"},{"issue":"4","key":"10389_CR238","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MH Van Emden","year":"1976","unstructured":"Van Emden MH, Kowalski RA (1976) The semantics of predicate logic as a programming language. J ACM 23(4):733\u2013742","journal-title":"J ACM"},{"issue":"1","key":"10389_CR239","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/095281399146607","volume":"11","author":"T Vidal","year":"1999","unstructured":"Vidal T (1999) Handling contingency in temporal constraint networks: from consistency to controllabilities. J Exp Theor Artif Intell 11(1):23\u201345","journal-title":"J Exp Theor Artif Intell"},{"key":"10389_CR240","doi-asserted-by":"crossref","unstructured":"Vidal T, Fargier H (1997) Contingent durations in temporal csps: from consistency to controllabilities. In: Proceedings of TIME\u201997: 4th international workshop on temporal representation and reasoning, IEEE, pp 78\u201385","DOI":"10.1109\/TIME.1997.600786"},{"key":"10389_CR241","unstructured":"Vidal T, Ghallab M (1996) Dealing with uncertain durations in temporal constraint networks dedicated to planning\u2019. In: ECAI, PITMAN, pp 48\u201354"},{"issue":"13","key":"10389_CR242","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1080\/01691864.2019.1638452","volume":"33","author":"N Vitucci","year":"2019","unstructured":"Vitucci N, Gini G (2019) Reasoning on objects and grasping using description logics. Adv Robot 33(13):616\u2013635","journal-title":"Adv Robot"},{"issue":"2","key":"10389_CR243","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/MRA.2011.941632","volume":"18","author":"M Waibel","year":"2011","unstructured":"Waibel M, Beetz M, Civera J, d\u2019Andrea R, Elfring J, Galvez-Lopez D, H\u00e4ussermann K, Janssen R, Montiel J, Perzylo A et al (2011) Roboearth. IEEE Robot Autom Mag 18(2):69\u201382","journal-title":"IEEE Robot Autom Mag"},{"key":"10389_CR244","doi-asserted-by":"crossref","unstructured":"Wang X, Zhao L, Zeng C, Qian J, Gu T (2009) An asp based solution to mechanical assembly sequence planning. In: 3rd international conference on genetic and evolutionary computing, WGEC 2009, pp 205\u2013208","DOI":"10.1109\/WGEC.2009.158"},{"issue":"1\u20132","key":"10389_CR245","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker J, Schrijvers T, Triska M, Lager T (2012) Swi-prolog. Theory Pract Log Program 12(1\u20132):67\u201396","journal-title":"Theory Pract Log Program"},{"key":"10389_CR246","doi-asserted-by":"crossref","unstructured":"Wilke T (1999) Classifying discrete temporal properties. In: Annual symposium on theoretical aspects of computer science, Springer, pp 32\u201346","DOI":"10.1007\/3-540-49116-3_3"},{"issue":"3","key":"10389_CR247","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0004-3702(84)90053-5","volume":"22","author":"DE Wilkins","year":"1984","unstructured":"Wilkins DE (1984) Domain-independent planning representation and plan generation. Artif Intell 22(3):269\u2013301","journal-title":"Artif Intell"},{"key":"10389_CR248","doi-asserted-by":"crossref","unstructured":"Wong KW, Kress-Gazit H (2016) Need-based coordination for decentralized high-level robot control. In: IEEE international conference on intelligent robots and systems, vol 2016, pp 2209\u20132216","DOI":"10.1109\/IROS.2016.7759346"},{"key":"10389_CR249","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn T, Topcu U, Murray RM (2010) Receding horizon control for temporal logic specifications. In: Proceedings of the 13th ACM international conference on hybrid systems: computation and control, pp 101\u2013110","DOI":"10.1145\/1755952.1755968"},{"key":"10389_CR250","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn T, Topcu U, Ozay N, Xu H, Murray RM (2011a) Tulip: a software toolbox for receding horizon temporal logic planning. In: Proceedings of the 14th international conference on hybrid systems: computation and control, ACM, pp 313\u2013314","DOI":"10.1145\/1967701.1967747"},{"key":"10389_CR251","doi-asserted-by":"crossref","unstructured":"Wongpiromsarn T, Topcu U, Ozay N, Xu H, Murray RM (2011b) Tulip: a software toolbox for receding horizon temporal logic planning. In: HSCC\u201911\u2014proceedings of the 2011 ACM\/SIGBED hybrid systems: computation and control, pp 313\u2013314","DOI":"10.1145\/1967701.1967747"},{"key":"10389_CR252","unstructured":"Wu W, Liu Y (2008) Office robot controlling based on fluent calculus and flux. Comput Eng Des (11):2871\u20132874"},{"key":"10389_CR253","doi-asserted-by":"crossref","unstructured":"Wurm KM, Dornhege C, Eyerich P, Stachniss C, Nebel B, Burgard W (2010) Coordinated exploration with marsupial teams of robots using temporal symbolic planning. In: 2010 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 5014\u20135019","DOI":"10.1109\/IROS.2010.5649820"},{"issue":"4","key":"10389_CR254","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/s10514-012-9320-1","volume":"34","author":"KM Wurm","year":"2013","unstructured":"Wurm KM, Dornhege C, Nebel B, Burgard W, Stachniss C (2013) Coordinating heterogeneous teams of robots using temporal symbolic planning. Auton Robots 34(4):277\u2013294","journal-title":"Auton Robots"},{"key":"10389_CR256","doi-asserted-by":"crossref","unstructured":"Xu S, Wu G, Zhao Q, Tu D, Zheng H (2014) Human-machine-environment cyber-physical system and hierarchical task planning to support independent living. In: Proceedings\u20142014 IEEE international conference on bioinformatics and biomedicine, IEEE BIBM 2014, pp 568\u2013573","DOI":"10.1109\/BIBM.2014.6999222"},{"issue":"5","key":"10389_CR255","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.ifacol.2016.07.095","volume":"49","author":"N Xu","year":"2016","unstructured":"Xu N, Li J, Niu Y, Shen L (2016) An ltl-based motion and action dynamic planning method for autonomous robot. IFAC-PapersOnLine 49(5):91\u201396","journal-title":"IFAC-PapersOnLine"},{"key":"10389_CR257","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1016\/j.robot.2019.03.013","volume":"117","author":"F Yazdani","year":"2019","unstructured":"Yazdani F, Blumenthal S, Huebel N, Bozcuo\u01e7lu AK, Beetz M, Bruyninckx H (2019) Query-based integration of heterogeneous knowledge bases for search and rescue tasks. Robot Auton Syst 117:80\u201391","journal-title":"Robot Auton Syst"},{"key":"10389_CR258","unstructured":"Younes HL, Littman ML (2004) Ppddl1. 0: an extension to pddl for expressing planning domains with probabilistic effects. Techn Rep CMU-CS-04-162 2:99"},{"key":"10389_CR259","doi-asserted-by":"crossref","DOI":"10.1016\/j.ssci.2020.104667","volume":"127","author":"A Zacharaki","year":"2020","unstructured":"Zacharaki A, Kostavelis I, Gasteratos A, Dokas I (2020) Safety bounds in human robot interaction: a survey. Saf Sci 127:104667","journal-title":"Saf Sci"},{"key":"10389_CR260","doi-asserted-by":"crossref","unstructured":"Zhang W, Hong S (2019) A linear reduction model for parallel prolog system. In: 2019 IEEE 4th international conference on cloud computing and big data analysis, IEEE, pp 650\u2013654","DOI":"10.1109\/ICCCBDA.2019.8725650"},{"key":"10389_CR261","doi-asserted-by":"crossref","unstructured":"Zhang X, Zhu Y, Lin H (2016) Performance guaranteed human-robot collaboration through correct-by-design. In: Proceedings of the American control conference, vol 2016, pp 6183\u20136188","DOI":"10.1109\/ACC.2016.7526641"},{"key":"10389_CR262","doi-asserted-by":"crossref","unstructured":"Zhang Y, Sreedharan S, Kulkarni A, Chakraborti T, Zhuo HH, Kambhampati S (2017) Plan explicability and predictability for robot task planning. In: 2017 IEEE international conference on robotics and automation, IEEE, pp 1313\u20131320","DOI":"10.1109\/ICRA.2017.7989155"},{"key":"10389_CR263","doi-asserted-by":"crossref","unstructured":"Zhao Y, Topcu U, Sentis L (2016) High-level planner synthesis for whole-body locomotion in unstructured environments. In: 2016 IEEE 55th conference on decision and control, IEEE, pp 6557\u20136564","DOI":"10.1109\/CDC.2016.7799278"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-022-10389-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10462-022-10389-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10462-022-10389-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,4]],"date-time":"2023-12-04T22:25:24Z","timestamp":1701728724000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10462-022-10389-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,18]]},"references-count":263,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["10389"],"URL":"https:\/\/doi.org\/10.1007\/s10462-022-10389-w","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"value":"0269-2821","type":"print"},{"value":"1573-7462","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,18]]},"assertion":[{"value":"18 January 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors certify that they have no affiliations with or involvement in any organization or entity with any financial or non-financial interest in the subject matter or materials discussed in this manuscript.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflicts of interest"}}]}}