{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:40:37Z","timestamp":1742985637391,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030205270"},{"type":"electronic","value":"9783030205287"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-20528-7_3","type":"book-chapter","created":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T14:34:37Z","timestamp":1558362877000},"page":"32-44","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7356-1579","authenticated-orcid":false,"given":"Riccardo","family":"Bertolucci","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8495-5987","authenticated-orcid":false,"given":"Alessio","family":"Capitanelli","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5617-5286","authenticated-orcid":false,"given":"Carmine","family":"Dodaro","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9742-1252","authenticated-orcid":false,"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9034-2527","authenticated-orcid":false,"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5913-1898","authenticated-orcid":false,"given":"Fulvio","family":"Mastrogiovanni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8429-3570","authenticated-orcid":false,"given":"Mauro","family":"Vallati","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,12]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"468","DOI":"10.1007\/978-3-319-70169-1_35","volume-title":"AI*IA 2017 Advances in Artificial Intelligence","author":"M Alviano","year":"2017","unstructured":"Alviano, M., Dodaro, C., Maratea, M.: An advanced answer set programming encoding for nurse scheduling. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F.A. (eds.) (AI*IA 2017). LNCS, vol. 10640, pp. 468\u2013482. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_35"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-319-49130-1_13","volume-title":"AI*IA 2016 Advances in Artificial Intelligence","author":"G Amendola","year":"2016","unstructured":"Amendola, G., Dodaro, C., Leone, N., Ricca, F.: On the application of answer set programming to the conference paper assignment problem. In: Adorni, G., Cagnoni, S., Gori, M., Maratea, M. (eds.) AI*IA 2016. LNCS (LNAI), vol. 10037, pp. 164\u2013178. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49130-1_13"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-319-23264-5_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"B Andres","year":"2015","unstructured":"Andres, B., Rajaratnam, D., Sabuncu, O., Schaub, T.: Integrating ASP into ROS for reasoning in robots. In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) LPNMR 2015. LNCS (LNAI), vol. 9345, pp. 69\u201382. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23264-5_7"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1109\/TASE.2014.2320157","volume":"11","author":"L Bodenhagen","year":"2014","unstructured":"Bodenhagen, L., et al.: An adaptable robot vision system performing manipulation actions with flexible objects. IEEE Trans. Autom. Sci. Eng. 11(3), 749\u2013765 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"12","key":"3_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"3_CR6","unstructured":"Calimeri, F., et al.: ASP-Core-2 Input Language Format (2013)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-319-70169-1_36","volume-title":"AI*IA 2017 Advances in Artificial Intelligence","author":"A Capitanelli","year":"2017","unstructured":"Capitanelli, A., Maratea, M., Mastrogiovanni, F., Vallati, M.: Automated planning techniques for robot manipulation tasks involving articulated objects. In: Esposito, F., Basili, R., Ferilli, S., Lisi, F. (eds.) AI*IA 2017. LNCS, pp. 483\u2013497. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-70169-1_36"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.robot.2018.08.003","volume":"109","author":"A Capitanelli","year":"2018","unstructured":"Capitanelli, A., Maratea, M., Mastrogiovanni, F., Vallati, M.: On the manipulation of articulated objects in human-robot cooperation scenarios. Robot. Auton. Syst. 109, 139\u2013155 (2018)","journal-title":"Robot. Auton. Syst."},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10601-010-9095-y","volume":"15","author":"E Rosa Di","year":"2010","unstructured":"Di Rosa, E., Giunchiglia, E., Maratea, M.: Solving satisfiability problems with preferences. Constraints 15(4), 485\u2013515 (2010)","journal-title":"Constraints"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/978-3-319-61660-5_26","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"Y Dimopoulos","year":"2017","unstructured":"Dimopoulos, Y., Gebser, M., L\u00fchne, P., Romero, J., Schaub, T.: plasp 3: towards effective ASP planning. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 286\u2013300. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_26"},{"issue":"2\u20133","key":"3_CR11","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.: Applications of ASP in robotics. K\u00fcnstliche Intelligenz 32(2\u20133), 143\u2013149 (2018)","journal-title":"K\u00fcnstliche Intelligenz"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Erdem, E., Patoglu, V., Saribatur, Z.G.: Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: Proceedings of ICRA, pp. 2007\u20132013. IEEE (2015)","DOI":"10.1109\/ICRA.2015.7139461"},{"issue":"4\u20135","key":"3_CR13","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1017\/S1471068413000525","volume":"13","author":"E Erdem","year":"2013","unstructured":"Erdem, E., Patoglu, V., Saribatur, Z.G., Sch\u00fcller, P., Uras, T.: Finding optimal plans for multiple teams of robots through a mediator: a logic-based approach. Theory Pract. Log. Program. 13(4\u20135), 831\u2013846 (2013)","journal-title":"Theory Pract. Log. Program."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/978-3-642-40564-8_35","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2013","unstructured":"Gebser, M., et al.: Ricochet robots: a transverse ASP benchmark. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol. 8148, pp. 348\u2013360. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40564-8_35"},{"key":"3_CR15","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: Proceedings of the Technical Communications of the International Conference on Logic Programming (ICLP), pp. 2:1\u20132:15. Schloss Dagstuhl (2016)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1613\/jair.5373","volume":"60","author":"M Gebser","year":"2017","unstructured":"Gebser, M., Maratea, M., Ricca, F.: The sixth answer set programming competition. J. Artif. Intell. Res. 60, 41\u201395 (2017)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR17","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Conference on Logic Programming (ICLP), pp. 1070\u20131080. MIT Press (1988)"},{"key":"3_CR18","unstructured":"Giunchiglia, E., Maratea, M.: Solving optimization problems with DLL. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006). Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 377\u2013381. IOS Press (2006)"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0167-2789(90)90087-6","volume":"42","author":"S Harnad","year":"1990","unstructured":"Harnad, S.: The symbol grounding problem. Physica D 42, 335\u2013346 (1990)","journal-title":"Physica D"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Heyer, C.: Human-robot interaction and future industrial robotics applications. In: Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 4749\u20134754. IEEE (2010)","DOI":"10.1109\/IROS.2010.5651294"},{"key":"3_CR21","unstructured":"Howey, R., Long, D., Fox, M.: VAL: automatic plan validation, continuous effects and mixed initiative planning using PDDL. In: Proceedings of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI), pp. 294\u2013301. IEEE Computer Society (2004)"},{"key":"3_CR22","unstructured":"Kautz, H.A., Selman, B.: Planning as satisfiability. In: Proceedings of the European Conference on Artificial Intelligence (ECAI), pp. 359\u2013363 (1992)"},{"issue":"5\u20137","key":"3_CR23","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1177\/0278364916688949","volume":"36","author":"P Khandelwal","year":"2017","unstructured":"Khandelwal, P., Zhang, S., Sinapov, J., Leonetti, M., Thomason, J., Yang, F., Gori, I., Svetlik, M., Khante, P., Lifschitz, V., Aggarwal, J.K., Mooney, R.J., Stone, P.: Bwibots: a platform for bridging the gap between AI and human-robot interaction research. Int. J. Robot. Res. 36(5\u20137), 635\u2013659 (2017)","journal-title":"Int. J. Robot. Res."},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1016\/j.cirp.2009.09.009","volume":"58","author":"J Kr\u00fcger","year":"2009","unstructured":"Kr\u00fcger, J., Lien, T.K., Verl, A.: Cooperation of human and machines in assembly lines. CIRP Ann. 58(2), 628\u2013646 (2009)","journal-title":"CIRP Ann."},{"key":"3_CR25","unstructured":"Lee, J., Lifschitz, V., Yang, F.: Action language BC: preliminary report. In: Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), pp. 983\u2013989. IJCAI\/AAAI (2013)"},{"issue":"1\u20132","key":"3_CR26","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artif. Intell. J. 138(1\u20132), 39\u201354 (2002)","journal-title":"Artif. Intell. J."},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Nair, A., et al.: Combining self-supervised learning and imitation for vision-based rope manipulation. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 2146\u20132153. IEEE (2017)","DOI":"10.1109\/ICRA.2017.7989247"},{"issue":"3\u20134","key":"3_CR28","first-page":"241","volume":"25","author":"I Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. AMAI 25(3\u20134), 241\u2013273 (1999)","journal-title":"AMAI"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Sch\u00e4pers, B., Niemueller, T., Lakemeyer, G., Gebser, M., Schaub, T.: ASP-based time-bounded planning for logistics robots. In: Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS), pp. 509\u2013517. AAAI Press (2018)","DOI":"10.1609\/icaps.v28i1.13927"},{"key":"3_CR30","series-title":"Springer Tracts in Advanced Robotics","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-28872-7_20","volume-title":"Robotics Research","author":"J Schulman","year":"2016","unstructured":"Schulman, J., Ho, J., Lee, C., Abbeel, P.: Learning from demonstrations through the use of non-rigid registration. In: Inaba, M., Corke, P. (eds.) Robotics Research. STAR, vol. 114, pp. 339\u2013354. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-28872-7_20"},{"issue":"4","key":"3_CR31","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1177\/0278364906064819","volume":"25","author":"H Wakamatsu","year":"2006","unstructured":"Wakamatsu, H., Arai, E., Hirai, S.: Knotting\/unknotting manipulation of deformable linear objects. Int. J. Robot. Res. 25(4), 371\u2013395 (2006)","journal-title":"Int. J. Robot. Res."},{"key":"3_CR32","first-page":"1","volume":"10","author":"Y Yamakawa","year":"2013","unstructured":"Yamakawa, Y., Namiki, A., Ishikawa, M.: Dynamic high-speed knotting of a rope by a manipulator. IJARS 10, 1\u201312 (2013)","journal-title":"IJARS"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-20528-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T19:19:50Z","timestamp":1694891990000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-20528-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030205270","9783030205287"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-20528-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"12 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Philadelphia, PA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.sju.edu\/plw\/lpnmr-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}