{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T15:11:36Z","timestamp":1777129896747,"version":"3.51.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031160776","type":"print"},{"value":"9783031160783","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-16078-3_30","type":"book-chapter","created":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:16:25Z","timestamp":1661991385000},"page":"443-457","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Autonomous Electric Vehicle Battery Disassembly Based on\u00a0NeuroSymbolic Computing"],"prefix":"10.1007","author":[{"given":"Hengwei","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haitao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhigang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shengmin","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,1]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","unstructured":"Dixon, J., Bell, K.: Electric vehicles: battery capacity, charger power, access to charging and the impacts on distribution networks. eTransportation. 4, 100059 (2020). https:\/\/doi.org\/10.1016\/j.etran.2020.100059","DOI":"10.1016\/j.etran.2020.100059"},{"key":"30_CR2","doi-asserted-by":"publisher","unstructured":"Harper, G., et al.: Recycling lithium-ion batteries from electric vehicles. Nature. 575(7781), 75\u201386 (2019). https:\/\/doi.org\/10.1038\/s41586-019-1682-5","DOI":"10.1038\/s41586-019-1682-5"},{"key":"30_CR3","doi-asserted-by":"publisher","unstructured":"Rastegarpanah, A., Gonzalez, H.C., Stolkin, R.: Semi-autonomous behaviour tree-based framework for sorting electric vehicle batteries components. Robotics. 10(2), 82 (2021). https:\/\/doi.org\/10.3390\/robotics10020082","DOI":"10.3390\/robotics10020082"},{"key":"30_CR4","doi-asserted-by":"publisher","unstructured":"Choux, M., Marti Bigorra, E., Tyapin, I.: Task planner for robotic disassembly of electric vehicle battery pack. Metals. 11(3), 387 (2021). https:\/\/doi.org\/10.3390\/met11030387","DOI":"10.3390\/met11030387"},{"key":"30_CR5","doi-asserted-by":"publisher","unstructured":"Wegener, K., Andrew, S., Raatz, A., Dr\u00f6der, K., Herrmann, C.: Disassembly of electric vehicle batteries using the example of the Audi Q5 hybrid system. Procedia CIRP. 23, 155\u2013160 (2014). https:\/\/doi.org\/10.1016\/j.procir.2014.10.098","DOI":"10.1016\/j.procir.2014.10.098"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Zude, Z., et al.: Disassembly sequence planning: recent developments and future trends. Proc. Inst. Mech. Eng. Part B. J. Eng. Manuf. 233, 1450\u20131471 (2018)","DOI":"10.1177\/0954405418789975"},{"key":"30_CR7","doi-asserted-by":"publisher","unstructured":"Ong, S.K., Chang, M.M.L., Nee, A.Y.C.: Product disassembly sequence planning: state-of-the-art, challenges, opportunities and future directions. Int. J. Prod. Res. 59(11), 3493\u20133508 (2021). https:\/\/doi.org\/10.1080\/00207543.2020.1868598","DOI":"10.1080\/00207543.2020.1868598"},{"key":"30_CR8","doi-asserted-by":"publisher","unstructured":"Hellmuth, J.F., DiFilippo, N.M., Jouaneh, M.K.: Assessment of the automation potential of electric vehicle battery disassembly. J. Manuf. Syst. 59, 398\u2013412 (2021). https:\/\/doi.org\/10.1016\/j.jmsy.2021.03.009","DOI":"10.1016\/j.jmsy.2021.03.009"},{"issue":"12","key":"30_CR9","doi-asserted-by":"publisher","first-page":"4457","DOI":"10.1007\/s11837-019-03778-0","volume":"71","author":"L Li","year":"2019","unstructured":"Li, L., Zheng, P., Yang, T., Sturges, R., Ellis, M.W., Li, Z.: Disassembly automation for recycling end-of-life Lithium-Ion pouch cells. JOM 71(12), 4457\u20134464 (2019). https:\/\/doi.org\/10.1007\/s11837-019-03778-0","journal-title":"JOM"},{"key":"30_CR10","doi-asserted-by":"publisher","unstructured":"Garrett, C.R., et al.: Integrated task and motion planning. Ann. Rev. Control Robot. Autonom. Syst. 4(1), 265\u2013293 (2021). https:\/\/doi.org\/10.1146\/annurev-control-091420-084139","DOI":"10.1146\/annurev-control-091420-084139"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Castaman, N., Pagello, E., Menegatti, E., Pretto, A.: Receding horizon task and motion planning in changing environments. arXiv:2009.03139 (2021)","DOI":"10.1016\/j.robot.2021.103863"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An Introduction to the Planning Domain Definition Language. Morgan & Claypool (2019)","DOI":"10.1007\/978-3-031-01584-7"},{"issue":"4","key":"30_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10846-021-01348-8","volume":"101","author":"SA Serrano","year":"2021","unstructured":"Serrano, S.A., Santiago, E., Martinez-Carranza, J., Morales, E.F., Sucar, L.E.: Knowledge-based hierarchical POMDPs for task planning. J. Intell. Robot. Syst. 101(4), 1\u201330 (2021). https:\/\/doi.org\/10.1007\/s10846-021-01348-8","journal-title":"J. Intell. Robot. Syst."},{"key":"30_CR14","unstructured":"Dicong Q., Yibiao Z., Chris L.B.: Latent belief space motion planning under cost, dynamics, and intent uncertainty. In: Proceedings of Robotics: Science and Systems, Corvalis, Oregon, USA (2020)"},{"key":"30_CR15","doi-asserted-by":"publisher","unstructured":"Sarantopoulos, I., Kiatos, M., Doulgeri, Z., Malassiotis, S.: Total singulation with modular reinforcement learning. IEEE Robot. Autom. Lett. 6(2), 4117\u20134124 (2021). https:\/\/doi.org\/10.1109\/LRA.2021.3062295","DOI":"10.1109\/LRA.2021.3062295"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Garrett, C.R., Paxton, C., Lozano-P\u00e9rez, T., Kaelbling, L.P., Fox, D.: Online replanning in belief space for partially observable task and motion problems. In: 2020 IEEE International Conference on Robotics and Automation (ICRA), Paris, France (2020)","DOI":"10.1109\/ICRA40945.2020.9196681"},{"key":"30_CR17","unstructured":"H\u00e5kan L.S., Younes, M., Littman, L.: PPDDL 1.0: An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects. Technical report (2004)"},{"key":"30_CR18","doi-asserted-by":"publisher","unstructured":"Fierens, D., et al.: Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theory Pract. Logic Program. 15, 358\u2013401 (2014). https:\/\/doi.org\/10.1017\/s1471068414000076","DOI":"10.1017\/s1471068414000076"},{"key":"30_CR19","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic prolog and its application in link discovery. In: Proceedings of 20th International Joint Conference on Artificial Intelligence, pp. 2468\u20132473. Morgan Kaufmann, Hyderabad, India (2007)"},{"key":"30_CR20","unstructured":"Garcez, A.A., Lamb, L.C.: Neurosymbolic AI: The 3rd Wave. arXiv: 2012.05876 (2020)"},{"key":"30_CR21","volume-title":"Thinking, Fast and Slow","author":"K Daniel","year":"2013","unstructured":"Daniel, K.: Thinking, Fast and Slow. Farrar Straus and Giroux, New York (2013)"},{"key":"30_CR22","unstructured":"Jiayuan, M., Chuang, G., Pushmeet, K., Joshua, B.T., Jiajun, W.: The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervision. arXiv:1904.12584 (2019)"},{"key":"30_CR23","unstructured":"De Raedt, L., Manhaeve, R., Dumancic, S., Demeester, T., Kimmig, A.: Neuro-symbolic = neural + logical + probabilistic. In: Proceedings of the 2019 International Workshop on Neural- Symbolic Learning and Reasoning, Macao, China (2019)"},{"key":"30_CR24","doi-asserted-by":"publisher","unstructured":"Li, R., et al.: Unfastening of hexagonal headed screws by a collaborative robot. IEEE Trans. Autom. Sci. Eng. 17(3), 1455\u20131468 (2020). https:\/\/doi.org\/10.1109\/TASE.2019.2958712","DOI":"10.1109\/TASE.2019.2958712"},{"key":"30_CR25","doi-asserted-by":"publisher","unstructured":"Van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM. 23(4), 733\u2013742 (1976). https:\/\/doi.org\/10.1145\/321978.321991","DOI":"10.1145\/321978.321991"},{"key":"30_CR26","unstructured":"Simonyan, K., Zisserman, A.: Very Deep Convolutional Networks for Large-Scale Image Recognition. arXiv:1409.1556 (2015)"},{"key":"30_CR27","unstructured":"Shanghai Yongxu Technology Co., Ltd. Passive compliant pneumatic torque actuator at the end of robot, China Patent CN202110783210.2"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Systems and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16078-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:25:42Z","timestamp":1661991942000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16078-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"ISBN":["9783031160776","9783031160783"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16078-3_30","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"value":"2367-3370","type":"print"},{"value":"2367-3389","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,1]]},"assertion":[{"value":"1 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IntelliSys","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Proceedings of SAI Intelligent Systems Conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"intellisys2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/saiconference.com\/IntelliSys","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}