{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:49:48Z","timestamp":1775825388210,"version":"3.50.1"},"reference-count":93,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T00:00:00Z","timestamp":1739923200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T00:00:00Z","timestamp":1739923200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"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"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1007\/s10994-024-06636-6","type":"journal-article","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T18:16:31Z","timestamp":1739988991000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Inductive learning of robot task knowledge from raw data and online expert feedback"],"prefix":"10.1007","volume":"114","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3162-388X","authenticated-orcid":false,"given":"Daniele","family":"Meli","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Fiorini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,19]]},"reference":[{"key":"6636_CR1","doi-asserted-by":"crossref","unstructured":"Alakuijala, M., Dulac-Arnold, G., Mairal, J., et\u00a0al. (2023). Learning reward functions for robotic manipulation by observing humans. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), IEEE, pp 5006\u20135012.","DOI":"10.1109\/ICRA48891.2023.10161178"},{"key":"6636_CR3","doi-asserted-by":"crossref","unstructured":"Berthet-Rayne, P., Power, M., King, H., et\u00a0al. (2016). Hubot: A three state human-robot collaborative framework for bimanual surgical tasks based on learned models. In: 2016 IEEE International conference on robotics and automation (ICRA), IEEE, pp 715\u2013722.","DOI":"10.1109\/ICRA.2016.7487198"},{"key":"6636_CR4","doi-asserted-by":"crossref","unstructured":"Blum, T., Padoy, N., Feu\u00dfner, H., et\u00a0al. (2008). Modeling and online recognition of surgical phases using hidden markov models. In: Medical Image Computing and Computer-Assisted Intervention\u2013MICCAI 2008: 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II 11, Springer, pp 627\u2013635.","DOI":"10.1007\/978-3-540-85990-1_75"},{"issue":"22","key":"6636_CR5","doi-asserted-by":"publisher","first-page":"26351","DOI":"10.1007\/s10489-023-04882-0","volume":"53","author":"M Bombieri","year":"2023","unstructured":"Bombieri, M., Meli, D., Dall\u2019Alba, D., et al. (2023). Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain. Applied Intelligence, 53(22), 26351\u201326363.","journal-title":"Applied Intelligence"},{"key":"6636_CR6","doi-asserted-by":"publisher","first-page":"106415","DOI":"10.1016\/j.compbiomed.2022.106415","volume":"152","author":"M Bombieri","year":"2023","unstructured":"Bombieri, M., Rospocher, M., Ponzetto, S. P., et al. (2023). Machine understanding surgical actions from intervention procedure textbooks. Computers in Biology and Medicine, 152, 106415.","journal-title":"Computers in Biology and Medicine"},{"issue":"1","key":"6636_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s41060-023-00433-5","volume":"18","author":"M Bombieri","year":"2024","unstructured":"Bombieri, M., Rospocher, M., Ponzetto, S. P., et al. (2024). Surgicberta: A pre-trained language model for procedural surgical language. International Journal of Data Science and Analytics, 18(1), 69\u201381.","journal-title":"International Journal of Data Science and Analytics"},{"issue":"2","key":"6636_CR8","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1017\/S1471068419000450","volume":"20","author":"F Calimeri","year":"2020","unstructured":"Calimeri, F., Faber, W., Gebser, M., et al. (2020). Asp-core-2 input language format. Theory and Practice of Logic Programming, 20(2), 294\u2013309.","journal-title":"Theory and Practice of Logic Programming"},{"key":"6636_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11370-015-0187-9","volume":"9","author":"S Calinon","year":"2016","unstructured":"Calinon, S. (2016). A tutorial on task-parameterized movement learning and retrieval. Intelligent service robotics, 9, 1\u201329.","journal-title":"Intelligent service robotics"},{"key":"6636_CR10","doi-asserted-by":"publisher","first-page":"22473","DOI":"10.1007\/s11042-017-4793-8","volume":"76","author":"K Charri\u00e8re","year":"2017","unstructured":"Charri\u00e8re, K., Quellec, G., Lamard, M., et al. (2017). Real-time analysis of cataract surgery videos using statistical models. Multimedia Tools and Applications, 76, 22473\u201322491.","journal-title":"Multimedia Tools and Applications"},{"issue":"2","key":"6636_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3359616","volume":"9","author":"M Chen","year":"2020","unstructured":"Chen, M., Nikolaidis, S., Soh, H., et al. (2020). Trust-aware decision making for human-robot collaboration: Model learning and planning. ACM Transactions on Human-Robot Interaction (THRI), 9(2), 1\u201323.","journal-title":"ACM Transactions on Human-Robot Interaction (THRI)"},{"key":"6636_CR12","doi-asserted-by":"crossref","unstructured":"Corsi, D., Marzari, L., Pore, A., et\u00a0al. (2023). Constrained reinforcement learning and formal verification for safe colonoscopy navigation. In: 2023 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, pp 10289\u201310294.","DOI":"10.1109\/IROS55552.2023.10341789"},{"key":"6636_CR13","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/s10994-020-05934-z","volume":"110","author":"A Cropper","year":"2021","unstructured":"Cropper, A., & Morel, R. (2021). Learning programs by learning from failures. Machine Learning, 110, 801\u2013856.","journal-title":"Machine Learning"},{"issue":"7","key":"6636_CR14","doi-asserted-by":"publisher","first-page":"1063","DOI":"10.1007\/s10994-018-5712-6","volume":"108","author":"A Cropper","year":"2019","unstructured":"Cropper, A., & Muggleton, S. H. (2019). Learning efficient logic programs. Machine Learning, 108(7), 1063\u20131083.","journal-title":"Machine Learning"},{"issue":"6","key":"6636_CR15","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.1109\/TBME.2015.2493100","volume":"63","author":"F Despinoy","year":"2015","unstructured":"Despinoy, F., Bouget, D., Forestier, G., et al. (2015). Unsupervised trajectory segmentation for surgical gesture recognition in robotic training. IEEE Transactions on Biomedical Engineering, 63(6), 1280\u20131291.","journal-title":"IEEE Transactions on Biomedical Engineering"},{"key":"6636_CR16","doi-asserted-by":"crossref","unstructured":"Erdem, E., & Patoglu, V. (2012). Applications of action languages in cognitive robotics. In: Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Springer, p 229\u2013246.","DOI":"10.1007\/978-3-642-30743-0_16"},{"issue":"2\u20133","key":"6636_CR17","doi-asserted-by":"publisher","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. Kunstliche Intelligenz, 32(2\u20133), 143\u2013149.","journal-title":"Kunstliche Intelligenz"},{"issue":"3","key":"6636_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem, E., Gelfond, M., & Leone, N. (2016). Applications of answer set programming. AI Magazine, 37(3), 53\u201368.","journal-title":"AI Magazine"},{"key":"6636_CR19","doi-asserted-by":"crossref","unstructured":"Estivill-Castro, V., & Ferrer-Mestres, J. (2013). Path-finding in dynamic environments with pddl-planners. In: 2013 16th International Conference on Advanced Robotics (ICAR), IEEE, pp 1\u20137.","DOI":"10.1109\/ICAR.2013.6766456"},{"key":"6636_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., & Grefenstette, E. (2018). Learning explanatory rules from noisy data. Journal of Artificial Intelligence Research, 61, 1\u201364.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6636_CR21","doi-asserted-by":"crossref","unstructured":"Fan, K., Chen, Z., Ferrigno, G., et\u00a0al. (2024). Learn from safe experience: Safe reinforcement learning for task automation of surgical robot. IEEE Transactions on Artificial Intelligence.","DOI":"10.1109\/TAI.2024.3351797"},{"issue":"6","key":"6636_CR22","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/358669.358692","volume":"24","author":"MA Fischler","year":"1981","unstructured":"Fischler, M. A., & Bolles, R. C. (1981). Random sample consensus: A paradigm for model fitting with applications to image analysis and automated cartography. Communications of the ACM, 24(6), 381\u2013395.","journal-title":"Communications of the ACM"},{"issue":"3","key":"6636_CR23","doi-asserted-by":"publisher","first-page":"563","DOI":"10.1007\/s12369-022-00875-0","volume":"15","author":"E Fosch-Villaronga","year":"2023","unstructured":"Fosch-Villaronga, E., Khanna, P., Drukarch, H., et al. (2023). The role of humans in surgery automation: Exploring the influence of automation on human-robot interaction and responsibility in surgery innovation. International Journal of Social Robotics, 15(3), 563\u2013580.","journal-title":"International Journal of Social Robotics"},{"key":"6636_CR24","doi-asserted-by":"crossref","unstructured":"Fuggitti, F., & Chakraborti, T. (2023). Nl2ltl\u2013a python package for converting natural language (nl) instructions to linear temporal logic (ltl) formulas. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp 16428\u201316430.","DOI":"10.1609\/aaai.v37i13.27068"},{"key":"6636_CR25","unstructured":"Gao, Y., Vedula, S. S., Reiley, C. E., et\u00a0al. (2014). Jhu-isi gesture and skill assessment working set (jigsaws): A surgical activity dataset for human motion modeling. In: MICCAI workshop: M2cai."},{"issue":"9","key":"6636_CR26","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.1007\/s11548-018-1824-5","volume":"13","author":"B Gibaud","year":"2018","unstructured":"Gibaud, B., Forestier, G., Feldmann, C., et al. (2018). Toward a standard ontology of surgical process models. International J CARS, 13(9), 1397\u20131408.","journal-title":"International J CARS"},{"key":"6636_CR27","doi-asserted-by":"crossref","unstructured":"Ginesi, M., Meli, D., Roberti, A., et\u00a0al. (2020). Autonomous task planning and situation awareness in robotic surgery. In: 2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, pp 3144\u20133150.","DOI":"10.1109\/IROS45743.2020.9341382"},{"key":"6636_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10846-021-01344-y","volume":"101","author":"M Ginesi","year":"2021","unstructured":"Ginesi, M., Meli, D., Roberti, A., et al. (2021). Dynamic movement primitives: Volumetric obstacle avoidance using dynamic potential functions. Journal of Intelligent & Robotic Systems, 101, 1\u201320.","journal-title":"Journal of Intelligent & Robotic Systems"},{"key":"6636_CR29","doi-asserted-by":"publisher","first-page":"103844","DOI":"10.1016\/j.robot.2021.103844","volume":"144","author":"M Ginesi","year":"2021","unstructured":"Ginesi, M., Sansonetto, N., & Fiorini, P. (2021). Overcoming some drawbacks of dynamic movement primitives. Robotics and Autonomous Systems, 144, 103844.","journal-title":"Robotics and Autonomous Systems"},{"key":"6636_CR30","doi-asserted-by":"crossref","unstructured":"Ginesi, M., et\u00a0al. (2019). Dynamic movement primitives: Volumetric obstacle avoidance. In: 2019 19th International Conference on Advanced Robotics (ICAR), IEEE, pp 234\u2013239.","DOI":"10.1109\/ICAR46387.2019.8981552"},{"key":"6636_CR31","unstructured":"Goel, K., & Brunskill, E. (2019). Learning procedural abstractions and evaluating discrete latent temporal structure. In: International Conference on Learning Representations."},{"key":"6636_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01584-7","volume-title":"An introduction to the planning domain definition language","author":"P Haslum","year":"2019","unstructured":"Haslum, P., Lipovetzky, N., Magazzeni, D., et al. (2019). An introduction to the planning domain definition language (Vol. 13). Springer."},{"key":"6636_CR33","doi-asserted-by":"crossref","unstructured":"Hazra, R., De\u00a0Raedt, L. (2023). Deep explainable relational reinforcement learning: a neuro-symbolic approach. In: Joint European Conference on Machine Learning and Knowledge Discovery in Databases, Springer, pp 213\u2013229.","DOI":"10.1007\/978-3-031-43421-1_13"},{"key":"6636_CR34","doi-asserted-by":"crossref","unstructured":"Huang, W., Liu, H., Huang, Z., et\u00a0al. (2024). Safety-aware human-in-the-loop reinforcement learning with shared control for autonomous driving. IEEE Transactions on Intelligent Transportation Systems.","DOI":"10.1109\/TITS.2024.3420959"},{"issue":"2","key":"6636_CR35","doi-asserted-by":"publisher","first-page":"3019","DOI":"10.1109\/LRA.2020.2974707","volume":"5","author":"S James","year":"2020","unstructured":"James, S., Ma, Z., Arrojo, D. R., et al. (2020). Rlbench: The robot learning benchmark & learning environment. IEEE Robotics and Automation Letters, 5(2), 3019\u20133026.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"6636_CR36","doi-asserted-by":"crossref","unstructured":"Katzouris, N., & Artikis, A. (2020). Woled: a tool for online learning weighted answer set rules for temporal reasoning under uncertainty. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp 790\u2013799.","DOI":"10.24963\/kr.2020\/81"},{"issue":"5\u20136","key":"6636_CR37","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1017\/S1471068416000260","volume":"16","author":"N Katzouris","year":"2016","unstructured":"Katzouris, N., Artikis, A., & Paliouras, G. (2016). Online learning of event definitions. Theory and Practice of Logic Programming, 16(5\u20136), 817\u2013833.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"6636_CR38","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1017\/S1471068421000107","volume":"23","author":"N Katzouris","year":"2023","unstructured":"Katzouris, N., Paliouras, G., & Artikis, A. (2023). Online learning probabilistic event calculus theories in answer set programming. Theory and Practice of Logic Programming, 23(2), 362\u2013386.","journal-title":"Theory and Practice of Logic Programming"},{"key":"6636_CR39","doi-asserted-by":"crossref","unstructured":"Kazanzides, P., Chen, Z., Deguet, A., et\u00a0al. (2014). An open-source research kit for the da vinci\u00ae surgical system. In: 2014 IEEE international conference on robotics and automation (ICRA), IEEE, pp 6434\u20136439.","DOI":"10.1109\/ICRA.2014.6907809"},{"key":"6636_CR40","doi-asserted-by":"crossref","unstructured":"Kim, T. S., Jones, J., Peven, M., et\u00a0al. (2021). Daszl: Dynamic action signatures for zero-shot learning.","DOI":"10.1609\/aaai.v35i3.16276"},{"key":"6636_CR41","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.rcim.2014.08.006","volume":"33","author":"Z Kootbally","year":"2015","unstructured":"Kootbally, Z., Schlenoff, C., Lawler, C., et al. (2015). Towards robust assembly with knowledge representation for the planning domain definition language (PDDL). Robotics and Computer-Integrated Manufacturing, 33, 42\u201355.","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"6636_CR42","doi-asserted-by":"crossref","unstructured":"Kowalski, R., Sergot, M. (1989). A logic-based calculus of events. In: Foundations of knowledge base management. Springer, p 23\u201355.","DOI":"10.1007\/978-3-642-83397-7_2"},{"issue":"1","key":"6636_CR43","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10514-018-9725-6","volume":"43","author":"M Kyrarini","year":"2019","unstructured":"Kyrarini, M., Haseeb, M. A., Risti\u0107-Durrant, D., et al. (2019). Robot learning of industrial assembly task via human demonstrations. Auton Robots, 43(1), 239\u2013257. https:\/\/doi.org\/10.1007\/s10514-018-9725-6","journal-title":"Auton Robots"},{"issue":"4","key":"6636_CR44","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/MIS.2017.3121552","volume":"32","author":"JE Laird","year":"2017","unstructured":"Laird, J. E., Gluck, K., Anderson, J., et al. (2017). Interactive task learning. IEEE Intelligent Systems, 32(4), 6\u201321.","journal-title":"IEEE Intelligent Systems"},{"key":"6636_CR45","unstructured":"Law, M. (2018). Inductive learning of answer set programs. PhD thesis, University of London."},{"issue":"2","key":"6636_CR46","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1017\/S1471068422000011","volume":"23","author":"M Law","year":"2023","unstructured":"Law, M. (2023). Conflict-driven inductive logic programming. Theory and Practice of Logic Programming, 23(2), 387\u2013414.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"5\u20136","key":"6636_CR47","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1017\/S1471068416000351","volume":"16","author":"M Law","year":"2016","unstructured":"Law, M., Russo, A., & Broda, K. (2016). Iterative learning of answer set programs from context dependent examples. Theory and Practice of Logic Programming, 16(5\u20136), 834\u2013848.","journal-title":"Theory and Practice of Logic Programming"},{"key":"6636_CR48","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.artint.2018.03.005","volume":"259","author":"M Law","year":"2018","unstructured":"Law, M., Russo, A., & Broda, K. (2018). The complexity and generality of learning answer set programs. Artificial Intelligence, 259, 110\u2013146.","journal-title":"Artificial Intelligence"},{"key":"6636_CR49","doi-asserted-by":"crossref","unstructured":"Law, M., Russo, A., Bertino, E., et\u00a0al. (2020). Fastlas: Scalable inductive logic programming incorporating domain-specific optimisation criteria. In: Proceedings of the AAAI conference on artificial intelligence, pp 2877\u20132885.","DOI":"10.1609\/aaai.v34i03.5678"},{"key":"6636_CR50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24658-7","volume-title":"Answer set programming","author":"V Lifschitz","year":"2019","unstructured":"Lifschitz, V. (2019). Answer set programming. Springer."},{"key":"6636_CR51","unstructured":"Liu, G. H., Siravuru, A., Prabhakar, S., et\u00a0al. (2017). Learning end-to-end multimodal sensor policies for autonomous navigation. In: Conference on Robot Learning, PMLR, pp 249\u2013261."},{"issue":"8","key":"6636_CR52","doi-asserted-by":"publisher","first-page":"4441","DOI":"10.1109\/LRA.2023.3284380","volume":"8","author":"Y Long","year":"2023","unstructured":"Long, Y., Wei, W., Huang, T., et al. (2023). Human-in-the-loop embodied intelligence with interactive simulation environment for surgical robot learning. IEEE Robotics and Automation Letters, 8(8), 4441\u20134448.","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"10","key":"6636_CR53","doi-asserted-by":"publisher","first-page":"4324","DOI":"10.3390\/app11104324","volume":"11","author":"S Manzoor","year":"2021","unstructured":"Manzoor, S., Rocha, Y. G., Joo, S. H., et al. (2021). Ontology-based knowledge representation in robotic systems: A survey oriented toward applications. Applied Sciences, 11(10), 4324.","journal-title":"Applied Sciences"},{"key":"6636_CR54","doi-asserted-by":"crossref","unstructured":"Marra, G., Duman\u010di\u0107, S., Manhaeve, R., et\u00a0al. (2024). From statistical relational to neurosymbolic artificial intelligence: A survey. Artificial Intelligence p 104062.","DOI":"10.1016\/j.artint.2023.104062"},{"key":"6636_CR55","doi-asserted-by":"crossref","unstructured":"Marzari, L., Corsi, D., Marchesini, E., et\u00a0al. (2024). Enumerating safe regions in deep neural networks with provable probabilistic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp 21387\u201321394.","DOI":"10.1609\/aaai.v38i19.30134"},{"key":"6636_CR56","doi-asserted-by":"publisher","first-page":"103987","DOI":"10.1016\/j.artint.2023.103987","volume":"324","author":"G Mazzi","year":"2023","unstructured":"Mazzi, G., Castellini, A., & Farinelli, A. (2023). Risk-aware shielding of partially observable monte Carlo planning policies. Artificial Intelligence, 324, 103987.","journal-title":"Artificial Intelligence"},{"key":"6636_CR57","doi-asserted-by":"crossref","unstructured":"Mazzi, G., Meli, D., Castellini, A., et\u00a0al. (2023b). Learning logic specifications for soft policy guidance in pomcp. In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, pp 373\u2013381.","DOI":"10.65109\/JANH8359"},{"key":"6636_CR58","unstructured":"Medina, J. R., & Billard, A. (2017). Learning stable task sequences from demonstration with linear parameter varying systems and hidden markov models. In: Conference on Robot Learning, PMLR, pp 175\u2013184."},{"issue":"4","key":"6636_CR59","doi-asserted-by":"publisher","first-page":"8205","DOI":"10.1109\/LRA.2021.3104880","volume":"6","author":"D Meli","year":"2021","unstructured":"Meli, D., & Fiorini, P. (2021). Unsupervised identification of surgical robotic actions from small non-homogeneous datasets. IEEE Robotics and Automation Letters, 6(4), 8205\u20138212.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"6636_CR60","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1016\/j.procs.2020.08.046","volume":"176","author":"D Meli","year":"2020","unstructured":"Meli, D., Fiorini, P., & Sridharan, M. (2020). Towards inductive learning of surgical task knowledge: A preliminary case study of the peg transfer task. Procedia Computer Science, 176, 440\u2013449.","journal-title":"Procedia Computer Science"},{"issue":"7","key":"6636_CR61","doi-asserted-by":"publisher","first-page":"1739","DOI":"10.1007\/s10994-021-06013-7","volume":"110","author":"D Meli","year":"2021","unstructured":"Meli, D., Sridharan, M., & Fiorini, P. (2021). Inductive learning of answer set programs for autonomous surgical task planning. Machine Learning, 110(7), 1739\u20131763.","journal-title":"Machine Learning"},{"key":"6636_CR62","doi-asserted-by":"crossref","unstructured":"Meli, D., Tagliabue, E., Dall\u2019Alba, D., et\u00a0al. (2021b). Autonomous tissue retraction with a biomechanically informed logic based framework. In: 2021 International Symposium on Medical Robotics (ISMR), IEEE, pp 1\u20137.","DOI":"10.1109\/ISMR48346.2021.9661573"},{"key":"6636_CR63","unstructured":"Meli, D., Bombieri, M., Dall\u2019Alba, D., et\u00a0al. (2023a). Inductive learning of surgical task knowledge from intra-operative expert feedback. In: CEUR Workshop Proceedings, pp 48\u201354."},{"issue":"9","key":"6636_CR64","doi-asserted-by":"publisher","first-page":"9011","DOI":"10.1007\/s10462-022-10389-w","volume":"56","author":"D Meli","year":"2023","unstructured":"Meli, D., Nakawala, H., & Fiorini, P. (2023). Logic programming for deliberative robotic task planning. Artificial Intelligence Review, 56(9), 9011\u20139049.","journal-title":"Artificial Intelligence Review"},{"key":"6636_CR65","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1613\/jair.1.15826","volume":"79","author":"D Meli","year":"2024","unstructured":"Meli, D., Castellini, A., & Farinelli, A. (2024). Learning logic specifications for policy guidance in pomdps: an inductive logic programming approach. Journal of Artificial Intelligence Research, 79, 725\u2013776.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6636_CR66","unstructured":"Mota, T., & Sridharan, M. (2020). Axiom Learning and Belief Tracing for Transparent Decision Making in Robotics. In: AAAI Fall Symposium on Artificial Intelligence for Human-Robot Interaction: Trust and Explainability in Artificial Intelligence for Human-Robot Interaction."},{"key":"6636_CR67","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1016\/S1574-6526(07)03017-9","volume":"3","author":"ET Mueller","year":"2008","unstructured":"Mueller, E. T. (2008). Event calculus. Foundations of Artificial Intelligence, 3, 671\u2013708.","journal-title":"Foundations of Artificial Intelligence"},{"issue":"4","key":"6636_CR68","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S Muggleton","year":"1991","unstructured":"Muggleton, S. (1991). Inductive logic programming. New generation computing, 8(4), 295\u2013318.","journal-title":"New generation computing"},{"key":"6636_CR69","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: Theory and methods. The Journal of Logic Programming, 19, 629\u2013679.","journal-title":"The Journal of Logic Programming"},{"key":"6636_CR70","doi-asserted-by":"publisher","first-page":"102231","DOI":"10.1016\/j.rcim.2021.102231","volume":"73","author":"D Mukherjee","year":"2022","unstructured":"Mukherjee, D., Gupta, K., Chang, L. H., et al. (2022). A survey of robot learning strategies for human-robot collaboration in industrial settings. Robotics and Computer-Integrated Manufacturing, 73, 102231.","journal-title":"Robotics and Computer-Integrated Manufacturing"},{"key":"6636_CR71","doi-asserted-by":"crossref","unstructured":"Nikolaidis, S., Ramakrishnan, R., Gu, K., et\u00a0al. (2015). Efficient model learning from joint-action demonstrations for human-robot collaborative tasks. In: Proceedings of the tenth annual ACM\/IEEE international conference on human-robot interaction, pp 189\u2013196.","DOI":"10.1145\/2696454.2696455"},{"key":"6636_CR72","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1146\/annurev-control-042920-095314","volume":"5","author":"P \u00d6gren","year":"2022","unstructured":"\u00d6gren, P., & Sprague, C. I. (2022). Behavior trees in robot control systems. Annual Review of Control, Robotics, and Autonomous Systems, 5, 81\u2013107.","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"key":"6636_CR73","doi-asserted-by":"crossref","unstructured":"Pan, J., Chou, G., & Berenson, D. (2023). Data-efficient learning of natural language to linear temporal logic translators for robot task specification. In: 2023 IEEE International Conference on Robotics and Automation (ICRA), IEEE, pp 11554\u201311561.","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"6636_CR74","doi-asserted-by":"crossref","unstructured":"Rahmatizadeh, R., Abolghasemi, P., B\u00f6l\u00f6ni, L., et\u00a0al. (2018). Vision-based multi-task manipulation for inexpensive robots using end-to-end learning from demonstration. In: 2018 IEEE international conference on robotics and automation (ICRA), IEEE, pp 3758\u20133765.","DOI":"10.1109\/ICRA.2018.8461076"},{"issue":"4","key":"6636_CR75","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1109\/TMRB.2020.3033670","volume":"2","author":"A Roberti","year":"2020","unstructured":"Roberti, A., Piccinelli, N., Meli, D., et al. (2020). Improving rigid 3-D calibration for robotic surgery. IEEE Transactions on Medical Robotics and Bionics, 2(4), 569\u2013573.","journal-title":"IEEE Transactions on Medical Robotics and Bionics"},{"key":"6636_CR76","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/s10458-019-09408-y","volume":"33","author":"A Rosenfeld","year":"2019","unstructured":"Rosenfeld, A., & Richardson, A. (2019). Explainability in human-agent systems. Autonomous Agents and Multi-Agent Systems, 33, 673\u2013705.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"6636_CR77","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-009-5113-y","volume":"76","author":"C Sakama","year":"2009","unstructured":"Sakama, C., & Inoue, K. (2009). Brave induction: A logical framework for learning from incomplete information. Machine Learning, 76(1), 3\u201335.","journal-title":"Machine Learning"},{"key":"6636_CR78","doi-asserted-by":"crossref","unstructured":"Schlenoff, C., Prestes, E., Madhavan, R., et\u00a0al. (2012). An IEEE standard ontology for robotics and automation. In: 2012 IEEE\/RSJ international conference on intelligent robots and systems, IEEE, pp 1337\u20131342.","DOI":"10.1109\/IROS.2012.6385518"},{"key":"6636_CR79","doi-asserted-by":"crossref","unstructured":"Schlenoff, C., Prestes, E., Madhavan, R., et\u00a0al. (2012). An ieee standard ontology for robotics and automation. In: 2012 IEEE\/RSJ International Conference on Intelligent Robots and Systems, pp 1337\u20131342.","DOI":"10.1109\/IROS.2012.6385518"},{"issue":"7","key":"6636_CR80","doi-asserted-by":"publisher","first-page":"1141","DOI":"10.1007\/s10994-018-5708-2","volume":"107","author":"P Sch\u00fcller","year":"2018","unstructured":"Sch\u00fcller, P., & Benz, M. (2018). Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. Machine Learning, 107(7), 1141\u20131169.","journal-title":"Machine Learning"},{"key":"6636_CR81","unstructured":"Shah, D., Osi\u0144ski, B., Levine, S., et\u00a0al. (2023). Lm-nav: Robotic navigation with large pre-trained models of language, vision, and action. In: Conference on robot learning, PMLR, pp 492\u2013504."},{"issue":"1","key":"6636_CR82","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/TMRB.2023.3237772","volume":"5","author":"AA Shahkoo","year":"2023","unstructured":"Shahkoo, A. A., & Abin, A. A. (2023). Autonomous tissue manipulation via surgical robot using deep reinforcement learning and evolutionary algorithm. IEEE Transactions on Medical Robotics and Bionics, 5(1), 30\u201341.","journal-title":"IEEE Transactions on Medical Robotics and Bionics"},{"key":"6636_CR83","unstructured":"Shenfeld, I., Hong, Z. W., Tamar, A., et\u00a0al. (2023). Tgrl: An algorithm for teacher guided reinforcement learning. In: International Conference on Machine Learning, PMLR, pp 31077\u201331093."},{"key":"6636_CR84","doi-asserted-by":"crossref","unstructured":"Shindo, H., Nishino, M., & Yamamoto, A. (2021). Differentiable inductive logic programming for structured examples. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp 5034\u20135041.","DOI":"10.1609\/aaai.v35i6.16637"},{"issue":"9","key":"6636_CR85","first-page":"30","volume":"93","author":"NJ Soper","year":"2008","unstructured":"Soper, N. J., & Fried, G. M. (2008). The fundamentals of laparoscopic surgery: Its time has come. Bulletin of the American College of Surgeons, 93(9), 30\u201332.","journal-title":"Bulletin of the American College of Surgeons"},{"key":"6636_CR86","first-page":"77","volume":"7","author":"M Sridharan","year":"2018","unstructured":"Sridharan, M., & Meadows, B. (2018). Knowledge representation and interactive learning of domain knowledge for human-robot collaboration. Advances in Cognitive Systems, 7, 77\u201396.","journal-title":"Advances in Cognitive Systems"},{"key":"6636_CR87","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1613\/jair.1.11524","volume":"65","author":"M Sridharan","year":"2019","unstructured":"Sridharan, M., Gelfond, M., Zhang, S., et al. (2019). Reba: A refinement-based architecture for knowledge representation and reasoning in robotics. Journal of Artificial Intelligence Research, 65, 87\u2013180.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"6636_CR88","doi-asserted-by":"crossref","unstructured":"Tagliabue, E., Meli, D., Dall\u2019Alba, D., et\u00a0al. (2022). Deliberation in autonomous robotic surgery: a framework for handling anatomical uncertainty. In: 2022 International Conference on Robotics and Automation (ICRA), IEEE, pp 11080\u201311086.","DOI":"10.1109\/ICRA46639.2022.9811820"},{"issue":"1","key":"6636_CR89","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1109\/LRA.2016.2517825","volume":"1","author":"AK Tanwani","year":"2016","unstructured":"Tanwani, A. K., & Calinon, S. (2016). Learning robot manipulation tasks with task-parameterized semitied hidden semi-markov model. IEEE Robotics and Automation Letters, 1(1), 235\u2013242.","journal-title":"IEEE Robotics and Automation Letters"},{"key":"6636_CR90","first-page":"20733","volume":"34","author":"S Topan","year":"2021","unstructured":"Topan, S., Rolnick, D., & Si, X. (2021). Techniques for symbol grounding with satnet. Advances in Neural Information Processing Systems, 34, 20733\u201320744.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"6636_CR91","doi-asserted-by":"crossref","unstructured":"Umili, E., Capobianco, R., & De\u00a0Giacomo, G. (2023). Grounding LTLf specifications in image sequences. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp 668\u2013678.","DOI":"10.24963\/kr.2023\/65"},{"key":"6636_CR2","doi-asserted-by":"crossref","unstructured":"van Amsterdam, B., Nakawala, H., De\u00a0Momi, E., et\u00a0al. (2019). Weakly supervised recognition of surgical gestures. In: 2019 International conference on robotics and automation (ICRA), IEEE, pp 9565\u20139571.","DOI":"10.1109\/ICRA.2019.8793696"},{"key":"6636_CR92","doi-asserted-by":"crossref","unstructured":"Veronese, C., Meli, D., & Farinelli, A. (2024, in publication). Online inductive learning from answer sets for efficient reinforcement learning exploration. In: Proceedings of 3rd International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA).","DOI":"10.1007\/978-3-031-89366-7_7"},{"issue":"2","key":"6636_CR93","doi-asserted-by":"publisher","first-page":"17","DOI":"10.3390\/robotics7020017","volume":"7","author":"Z Zhu","year":"2018","unstructured":"Zhu, Z., & Hu, H. (2018). Robot learning from demonstration in robotic assembly: A survey. Robotics, 7(2), 17.","journal-title":"Robotics"}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-024-06636-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10994-024-06636-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-024-06636-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T01:03:16Z","timestamp":1771462996000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10994-024-06636-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,19]]},"references-count":93,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["6636"],"URL":"https:\/\/doi.org\/10.1007\/s10994-024-06636-6","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,19]]},"assertion":[{"value":"4 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 August 2024","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 November 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 February 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no Conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}},{"value":"Not applicable.","order":4,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent to participate"}},{"value":"Not applicable.","order":5,"name":"Ethics","group":{"name":"EthicsHeading","label":"Consent for publication"}},{"value":"The code is available at","order":6,"name":"Ethics","group":{"name":"EthicsHeading","label":"Code availability"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}],"article-number":"91"}}