{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T06:40:37Z","timestamp":1757572837180,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030361495"},{"type":"electronic","value":"9783030361501"}],"license":[{"start":{"date-parts":[[2019,11,20]],"date-time":"2019-11-20T00:00:00Z","timestamp":1574208000000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-36150-1_54","type":"book-chapter","created":{"date-parts":[[2019,11,19]],"date-time":"2019-11-19T14:03:59Z","timestamp":1574172239000},"page":"656-667","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Modelling and Formalisation Tool for Use Case Design in Social Autonomous Robotics"],"prefix":"10.1007","author":[{"given":"Alba","family":"Gragera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alba Mar\u00eda","family":"Garc\u00eda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,11,20]]},"reference":[{"key":"54_CR1","unstructured":"Alc\u00e1zar, V., et al.: PELEA: planning, learning and execution architecture. In: Proceedings of the 28th Workshop of the UK Planning and Scheduling (2010)"},{"key":"54_CR2","doi-asserted-by":"crossref","unstructured":"Cashmore, M., et al.: Rosplan: Planning in the robot operating system. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, 7\u201311 June, pp. 333\u2013341 (2015)","DOI":"10.1609\/icaps.v25i1.13699"},{"key":"54_CR3","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. 20, 61\u2013124 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"54_CR4","doi-asserted-by":"crossref","unstructured":"Geffner, H., Bonet, B.: A concise introduction to models and methods for automated planning. In: Synthesis Lectures on Artificial Intelligence and Machine Learning, chap. 2, pp. 15\u201334. Morgan & Claypool Publishers (2013)","DOI":"10.2200\/S00513ED1V01Y201306AIM022"},{"key":"54_CR5","volume-title":"Automated Planning - Theory and Practice","author":"M Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D.S., Traverso, P.: Automated Planning - Theory and Practice. Elsevier, Amsterdam (2004)"},{"key":"54_CR6","unstructured":"Gonz\u00e1lez, J.C., Fern\u00e1ndez, F., Garc\u00eda-Olaya, A., Fuentetaja, R.: On the application of classical planning to real social robotic tasks. In: Proceedings of the 5th Workshop on Planning and Robotics (PlanRob), ICAPS Conference, Pittsburgh, Pennsylvania, USA, pp. 38\u201347, June 2017"},{"key":"54_CR7","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1016\/j.cogsys.2016.09.003","volume":"43","author":"JC Gonz\u00e1lez","year":"2017","unstructured":"Gonz\u00e1lez, J.C., Pulido, J.C., Fern\u00e1ndez, F.: A three-layer planning architecture for the autonomous control of rehabilitation therapies based on social robots. Cogn. Syst. Res. 43, 232\u2013249 (2017)","journal-title":"Cogn. Syst. Res."},{"issue":"6","key":"54_CR8","doi-asserted-by":"publisher","first-page":"4611","DOI":"10.1016\/j.eswa.2009.12.047","volume":"37","author":"O Hatzi","year":"2010","unstructured":"Hatzi, O., Vrakas, D., Bassiliades, N., Anagnostopoulos, D., Vlahavas, I.P.: A visual programming system for automated problem solving. Expert Syst. Appl. 37(6), 4611\u20134625 (2010)","journal-title":"Expert Syst. Appl."},{"issue":"3","key":"54_CR9","first-page":"57","volume":"22","author":"J Hoffmann","year":"2001","unstructured":"Hoffmann, J.: FF: the fast-forward planning system. AI Mag. 22(3), 57\u201362 (2001)","journal-title":"AI Mag."},{"key":"54_CR10","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1613\/jair.1144","volume":"20","author":"J Hoffmann","year":"2003","unstructured":"Hoffmann, J.: The metric-FF planning system: translating \u201cignoring delete lists\u201d to numeric state variables. J. Artif. Intell. Res. 20, 291\u2013341 (2003)","journal-title":"J. Artif. Intell. Res."},{"key":"54_CR11","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1613\/jair.1492","volume":"22","author":"J Hoffmann","year":"2004","unstructured":"Hoffmann, J., Porteous, J., Sebastia, L.: Ordered landmarks in planning. J. Artif. Intell. Res. 22, 215\u2013278 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"54_CR12","unstructured":"Kambhampati, S.: Model-lite planning for the web age masses: the challenges of planning with incomplete and evolving domain models. In: Proceedings of the Twenty-Second Conference on Artificial Intelligence AAAI, 22\u201326 July, Vancouver, British Columbia, Canada, pp. 1601\u20131605 (2007)"},{"issue":"2","key":"54_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/s12369-013-0178-y","volume":"5","author":"I Leite","year":"2013","unstructured":"Leite, I., Martinho, C., Paiva, A.: Social robots for long-term interaction: a survey. Int. J. Soc. Robot. 5(2), 291\u2013308 (2013)","journal-title":"Int. J. Soc. Robot."},{"issue":"2","key":"54_CR14","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10339-017-0850-5","volume":"19","author":"FJR Lera","year":"2018","unstructured":"Lera, F.J.R., Olivera, V.M., Gonz\u00e1lez, M.\u00c1.C., Rico, F.M.: HiMoP: a three-component architecture to create more human-acceptable social-assistive robots. Cogn. Process. 19(2), 233\u2013244 (2018)","journal-title":"Cogn. Process."},{"key":"54_CR15","unstructured":"Prenzel, O., Feuser, J., Graser, A.: Rehabilitation robot in intelligent home environment-software architecture and implementation of a distributed system. In: 9th International Conference on Rehabilitation Robotics, ICORR. pp. 530\u2013535. IEEE (2005)"},{"key":"54_CR16","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s12369-017-0402-2","volume":"9","author":"JC Pulido","year":"2017","unstructured":"Pulido, J.C., Gonz\u00e1lez, J.C., Su\u00e1rez-Mej\u00edas, C., Bandera, A., Bustos, P., Fern\u00e1ndez, F.: Evaluating the child-robot interaction of the naotherapist platform in pediatric rehabilitation. Int. J. Soc. Robot. 9, 343\u2013358 (2017)","journal-title":"Int. J. Soc. Robot."},{"key":"54_CR17","unstructured":"Quigley, M., et al.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software, Kobe, Japan, vol.\u00a03 (2009)"},{"key":"54_CR18","doi-asserted-by":"crossref","unstructured":"Rajan, K., Py, F.: T-REX: partitioned inference for AUV mission control. In: Further Advances in Unmanned Marine Vehicles, pp. 171\u2013199 (2012)","DOI":"10.1049\/PBCE077E_ch9"},{"issue":"2","key":"54_CR19","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1017\/S0269888907001063","volume":"22","author":"RM Simpson","year":"2007","unstructured":"Simpson, R.M., Kitchin, D.E., McCluskey, T.L.: Planning domain definition using GIPO. Knowl. Eng. Rev. 22(2), 117\u2013134 (2007)","journal-title":"Knowl. Eng. Rev."},{"issue":"1","key":"54_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1109\/MRA.2007.339605","volume":"14","author":"A Tapus","year":"2007","unstructured":"Tapus, A., Mataric, M.J., Scassellati, B.: Socially assistive robotics [grand challenges of robotics]. IEEE Robot. Automat. Mag. 14(1), 35\u201342 (2007)","journal-title":"IEEE Robot. Automat. Mag."},{"key":"54_CR21","unstructured":"Vaquero, T.S., Mohamed, S.C., Nejat, G., Beck, J.C.: The implementation of a planning and scheduling architecture for multiple robots assisting multiple users in a retirement home setting. In: AAAI Workshop, Austin, Texas, USA, January 2015"}],"container-title":["Advances in Intelligent Systems and Computing","Robot 2019: Fourth Iberian Robotics Conference"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-36150-1_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T03:56:24Z","timestamp":1665028584000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-36150-1_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11,20]]},"ISBN":["9783030361495","9783030361501"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-36150-1_54","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,11,20]]},"assertion":[{"value":"20 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ROBOT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iberian Robotics conference","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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":"20 November 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 November 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"robot2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}