{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:08:48Z","timestamp":1745989728550,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030958916"},{"type":"electronic","value":"9783030958923"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-030-95892-3_43","type":"book-chapter","created":{"date-parts":[[2022,4,7]],"date-time":"2022-04-07T07:02:54Z","timestamp":1649314974000},"page":"563-579","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Planning Domain Definition Language Generator, Interpreter, and\u00a0Knowledge Base for\u00a0Efficient Automated Planning"],"prefix":"10.1007","author":[{"given":"Luca","family":"Tagliapietra","sequence":"first","affiliation":[]},{"given":"Elisa","family":"Tosello","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Pagello","sequence":"additional","affiliation":[]},{"given":"Emanuele","family":"Menegatti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,4,8]]},"reference":[{"issue":"3","key":"43_CR1","first-page":"57","volume":"22","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J.: FF: the fast-forward planning system. AI Mag. 22(3), 57 (2001)","journal-title":"AI Mag."},{"key":"43_CR2","unstructured":"Ghallab, M., et al.: PDDL\u2013The Planning Domain Definition Language (1998)"},{"issue":"3","key":"43_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"RE Fikes","year":"1971","unstructured":"Fikes, R.E., Nilsson, N.J.: STRIPS: a new approach to the application of theorem proving to problem solving. Artif. Intell. 2(3), 189\u2013208 (1971)","journal-title":"Artif. Intell."},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Haslum, P., Lipovetzky, N., Magazzeni, D., Muise, C.: An Introduction to the Planning Domain Definition Language (2019)","DOI":"10.2200\/S00900ED2V01Y201902AIM042"},{"key":"43_CR5","unstructured":"Tagliapietra, L., Tosello, E., MEnegatti, E.: CURAMI: human-robot collaboration for intelligent assembly tasks. In: Seconda Conferenza Italiana di Robotica e Macchine Intelligenti, I-RIM 2020 (2020)"},{"key":"43_CR6","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-48036-7_21","volume-title":"Intelligent Autonomous Systems 14","author":"E Tosello","year":"2017","unstructured":"Tosello, E., Fan, Z., Castro, A.G., Pagello, E.: Cloud-based task planning for smart robots. In: Chen, W., Hosoda, K., Menegatti, E., Shimizu, M., Wang, H. (eds.) IAS 2016. AISC, vol. 531, pp. 285\u2013300. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-48036-7_21"},{"key":"43_CR7","unstructured":"Tosello, E., Fan, Z., Pagello, E.: A semantic knowledge base for cognitive robotics manipulator. In: Workshop on Toward Intelligent Social Robots - Current Advances in Cognitive Robotics (2015)"},{"key":"43_CR8","unstructured":"Fan, Z., Tosello, E., Palmia, M., Pagello, E.: Applying semantic web technologies to multi-robot coordination. In: Workshop on New Research Frontiers for Intelligent Autonomous Systems, NRF-IAS-2014 (2014)"},{"key":"43_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., Kahl, Y.: Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press, Cambridge (2014)"},{"key":"43_CR10","unstructured":"Crosby, M., Jonsson, A., Rovatsos, M.: A single-agent approach to multiagent planning. In: Proceedings of the 21st European Conference on Artificial Intelligence, ECAI 2014, pp. 237\u2013242. IOS Press (2014)"},{"key":"43_CR11","unstructured":"Kovacs, D.L.: A multi-agent extension of PDDL 3.1. In: Proceedings of the 3rd Workshop on the International Planning Competition (IPC), pp. 19\u201327 (2012)"},{"key":"43_CR12","unstructured":"Gerevini, A., Long, D.: Plan constraints and preferences in PDDL 3 - the language of the fifth international planning competition. Technical report (2005)"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Balakirsky, S., Kootbally, Z.: An ontology based approach to action verification for agile manufacturing. In: Advances in Intelligent Systems and Computing, vol. 274, pp. 201\u2013217 (January 2014)","DOI":"10.1007\/978-3-319-05582-4_18"},{"key":"43_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1613\/jair.1129","volume":"20","author":"M Fox","year":"2003","unstructured":"Fox, M., Long, D.: PDDL2.1: an extension to PDDL for expressing temporal planning domains. J. Artif. Intell. Res. (JAIR) 20, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"11","key":"43_CR15","doi-asserted-by":"publisher","first-page":"1193","DOI":"10.1016\/j.robot.2013.04.005","volume":"61","author":"E Prestes","year":"2013","unstructured":"Prestes, E., et al.: Towards a core ontology for robotics and automation. Robot. Auton. Syst. 61(11), 1193\u20131204 (2013). Ubiquitous Robotics","journal-title":"Robot. Auton. Syst."},{"key":"43_CR16","unstructured":"de Freitas, E.P., et al.: Ontological concepts for information sharing in cloud robotics. J. Ambient Intell. Humanized Comput. (2020)"},{"key":"43_CR17","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1631\/FITEE.1800514","volume":"20","author":"Y Jiang","year":"2019","unstructured":"Jiang, Y., Zhang, S., Khandelwal, P., Stone, P.: Task planning in robotics: an empirical comparison of PDDL- and ASP-based systems. Front. Inf. Technol. Electron. Eng. 20, 363\u2013373 (2019)","journal-title":"Front. Inf. Technol. Electron. Eng."},{"key":"43_CR18","unstructured":"Garc\u00eda, C.T., Carrillo, P.S.S., Trigueros, J.A.: A PDDL-based simulation system. In: Proceedings of the IADIS International Conference Intelligent Systems and Agents, pp. 81\u201388. International Association for Development of the Information Society (IADIS) (July 2015)"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. The Morgan Kaufmann Series in Artificial Intelligence. Morgan Kaufmann, Amsterdam (2004)","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"Nicola, G., Tagliapietra, L., Tosello, E., Navarin, N., Ghidoni, S., Menegatti, E.: Robotic object sorting via deep reinforcement learning: a generalized approach. In: 2020 29th IEEE International Conference on Robot and Human Interactive Communication (RO-MAN), pp. 1266\u20131273 (2020)","DOI":"10.1109\/RO-MAN47096.2020.9223484"},{"key":"43_CR21","doi-asserted-by":"crossref","unstructured":"Ceola, F., Tosello, E., Tagliapietra, L., Nicola, G., Ghidoni, S.: Robot task planning via deep reinforcement learning: a tabletop object sorting application. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 486\u2013492 (2019)","DOI":"10.1109\/SMC.2019.8914278"},{"key":"43_CR22","unstructured":"Tosello, E., Michieletto, S., Bisson, A., Pagello, E., Menegatti, E.: A learning from demonstration framework for manipulation tasks. In: 41st International Symposium on Robotics, ISR\/Robotik 2014, pp. 1\u20137 (2014)"},{"key":"43_CR23","doi-asserted-by":"crossref","unstructured":"Niles, I., Pease, A.: Towards a standard upper ontology. In: Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS 2001, New York, NY, USA, vol. 2001, pp. 2\u20139. Association for Computing Machinery (2001)","DOI":"10.1145\/505168.505170"},{"key":"43_CR24","unstructured":"Mascardi, V., Cord\u2018i, V., Rosso, P.: A comparison of upper ontologies. Technical report DISI-TR-06-21, Dipartimento di Informatica e Scienze dell\u2019Informazione (DISI), Universit\u2019a degli Studi di Genova, Via Dodecaneso 35, 16146, Genova, Italy (2006)"},{"issue":"3","key":"43_CR25","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/s00366-018-0630-6","volume":"35","author":"S Borgo","year":"2018","unstructured":"Borgo, S., Cesta, A., Orlandini, A., Umbrico, A.: Knowledge-based adaptive agents for manufacturing domains. Eng. Comput. 35(3), 755\u2013779 (2018). https:\/\/doi.org\/10.1007\/s00366-018-0630-6","journal-title":"Eng. Comput."},{"key":"43_CR26","doi-asserted-by":"crossref","unstructured":"Barwise, J.: An introduction to first-order logic. In: Barwise, J. (eds.) Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics, vol. 90, pp. 5\u201346. Elsevier (1977)","DOI":"10.1016\/S0049-237X(08)71097-8"},{"key":"43_CR27","doi-asserted-by":"crossref","unstructured":"Vargas, J., Mari\u00f1o, C., Aldas, C., Morales, L., Toasa, R.: Kinect sensor performance for windows v2 through graphical processing. In: Proceedings of the 2018 10th International Conference on Machine Learning and Computing, ICMLC 2018, New York, NY, USA, pp. 263\u2013268. Association for Computing Machinery (2018)","DOI":"10.1145\/3195106.3195116"},{"key":"43_CR28","unstructured":"Quigley, M., et al.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software (2009)"},{"key":"43_CR29","doi-asserted-by":"crossref","unstructured":"Koenig, N., Howard, A.: Design and use paradigms for gazebo, an open-source multi-robot simulator. In: 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No. 04CH37566), vol. 3, pp. 2149\u20132154 (2004)","DOI":"10.1109\/IROS.2004.1389727"},{"key":"43_CR30","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF planning system: fast plan generation through heuristic search. J. Artif. Intell. Res. 14, 253\u2013302 (2001)","journal-title":"J. Artif. Intell. Res."},{"issue":"5","key":"43_CR31","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1090\/S0002-9904-1952-09620-8","volume":"58","author":"H Robbins","year":"1952","unstructured":"Robbins, H.: Some aspects of the sequential design of experiments. Bull. Am. Math. Soc. 58(5), 527\u2013535 (1952)","journal-title":"Bull. Am. Math. Soc."},{"key":"43_CR32","unstructured":"Kaelbling, L.P., Garrett, C.R., Lozano-P\u00e9rez, T.: PDDLStream: integrating symbolic planners and blackbox samplers via optimistic adaptive planning. In: International Conference on Automated Planning and Scheduling (ICAPS) (2020)"}],"container-title":["Lecture Notes in Networks and Systems","Intelligent Autonomous Systems 16"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95892-3_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,21]],"date-time":"2024-09-21T19:01:39Z","timestamp":1726945299000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95892-3_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030958916","9783030958923"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95892-3_43","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"8 April 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Autonomous Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ias2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ias-16.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}