{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:34:53Z","timestamp":1725874493140},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_10","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T02:14:29Z","timestamp":1481940869000},"page":"152-162","source":"Crossref","is-referenced-by-count":9,"title":["DALI for Cognitive Robotics: Principles and Prototype Implementation"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[]},{"given":"Giovanni","family":"De Gasperis","sequence":"additional","affiliation":[]},{"given":"Giulio","family":"Nazzicone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"10_CR1","series-title":"Communications in Computer and Information SciencE","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-319-39387-2_2","volume-title":"PAAMS 2016","author":"F Aielli","year":"2016","unstructured":"Aielli, F., Ancona, D., Caianiello, P., Costantini, S., De Gasperis, G., Di Marco, A., Ferrando, A., Mascardi, V.: Friendly&Kind with your health: human-friendly knowledge-intensive dynamic systems for the e-health domain. In: Bajo, J., et al. (eds.) PAAMS 2016. CCIS, vol. 616, pp. 15\u201326. Springer, Heidelberg (2016)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"van Kemenade, M., Konijn, E.A., Hoorn, J.F.: Robots humanize care - moral concerns versus witnessed benefits for the elderly. In: Verdier, C., Bienkiewicz, M., Fred, A.L.N., Gamboa, H., Elias, D. (eds.) Proceedings of HEALTHINF 2015, pp. 648\u2013653. SciTePress (2015)","DOI":"10.5220\/0005287706480653"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Paauwe, R.A., Keyson, D.V., Hoorn, J.F., Konijn, E.A.: Minimal requirements of realism in social robots: designing for patients with acquired brain injury. In: Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, pp. 2139\u20132144. ACM (2015)","DOI":"10.1145\/2702613.2732875"},{"issue":"1","key":"10_CR4","first-page":"61","volume":"23","author":"M Fisher","year":"2007","unstructured":"Fisher, M., Bordini, R.H., Hirsch, B., Torroni, P.: Computational logics and agents: a road map of current technologies and future trends. Comput. Int. J. 23(1), 61\u201391 (2007)","journal-title":"Comput. Int. J."},{"issue":"1","key":"10_CR5","first-page":"33","volume":"30","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., Braubach, L., Dastani, M., ElSeghrouchni, A.F., Gomez-Sanz, J., Leite, J., O\u2019Hare, G., Pokahr, A., Ricci, A.: A survey of programming languages and platforms for multi-agent systems. Informatica (Slovenia) 30(1), 33\u201344 (2006)","journal-title":"Informatica (Slovenia)"},{"issue":"3","key":"10_CR6","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1017\/S0269888997003068","volume":"12","author":"M d\u2019Inverno","year":"1997","unstructured":"d\u2019Inverno, M., Fisher, M., Lomuscio, A., Luck, M., de Rijke, M., Ryan, M., Wooldridge, M.: Formalisms for multi-agent systems. Knowl. Eng. Rev. 12(3), 315\u2013321 (1997)","journal-title":"Knowl. Eng. Rev."},{"key":"10_CR7","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-319-00569-0_3","volume-title":"Management Intelligent Systems","author":"S Costantini","year":"2013","unstructured":"Costantini, S., De Gasperis, G.: Memory, experience and adaptation in logical agents. In: Casillas, J., Mart\u00ednez-L\u00f3pez, F.J., Vicari, R., De la Prieta, F. (eds.) Management Intelligent Systems. AISC, vol. 220, pp. 17\u201324. Springer, Heidelberg (2013)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-642-22546-8_20","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"S Costantini","year":"2011","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M.: Conditional learning of rules and plans by knowledge exchange in logical agents. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011. LNCS, vol. 6826, pp. 250\u2013265. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-22546-8_20"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1007\/978-3-319-26184-3_5","volume-title":"Engineering Multi-Agent Systems","author":"S Costantini","year":"2015","unstructured":"Costantini, S.: ACE: a flexible environment for complex event processing in logical agents. In: Baldoni, M., Baresi, L., Dastani, M. (eds.) EMAS 2015. LNCS, vol. 9318, pp. 70\u201391. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-26184-3_5"},{"key":"10_CR10","unstructured":"Costantini, S., De Gasperis, G.: Runtime self-checking via temporal (meta-)axioms for assurance of logical agent systems. In: Proceedings of LAMAS 2014, 7th Workshop on Logical Aspects of Multi-agent Systems, held at AAMAS 2014, pp. 241\u2013255 (2014)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS, vol. 2424, pp. 1\u201313. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45757-7_1"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol. 3229, pp. 685\u2013688. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30227-8_57"},{"key":"10_CR13","unstructured":"Costantini, S.: The DALI agent-oriented logic programming language: summary and references 2016 (2016). http:\/\/www.di.univaq.it\/stefcost\/info.htm"},{"key":"10_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, New York (2003)"},{"key":"10_CR15","unstructured":"Costantini, S., Dell\u2019Acqua, P., Pereira, L.M., Toni, F.: Towards a model of evolving agents for ambient intelligence. In: Proceedings of the Symposium on Artificial Societies for Ambient Intelligence (ASAmI 2007) (2007)"},{"key":"10_CR16","unstructured":"Costantini, S.: Self-checking logical agents. In: 8th Latin American Works, LA-NMR 2012. CEUR Workshop Proceedings, vol. 911. CEUR-WS.org (2012). 3\u201330 Invited Paper, Extended Abstract in Proceedings of AAMAS 2013"},{"issue":"1","key":"10_CR17","first-page":"3","volume":"64","author":"S Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Alg. Cogn. Inf. Logic 64(1), 3\u201315 (2009)","journal-title":"J. Alg. Cogn. Inf. Logic"},{"key":"10_CR18","unstructured":"De\u00a0Gasperis, G., Costantini, S., Nazzicone, G.: DALI multi agent systems framework, July 2016. http:\/\/github.com\/AAAI-DISIM-UnivAQ\/DALI"},{"issue":"8","key":"10_CR19","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/j.neunet.2010.08.010","volume":"23","author":"G Metta","year":"2010","unstructured":"Metta, G., Natale, L., Nori, F., Sandini, G., Vernon, D., Fadiga, L., Von Hofsten, C., Rosander, K., Lopes, M., Santos-Victor, J., et al.: The iCub humanoid robot: an open-systems platform for research in cognitive development. Neural Netw. 23(8), 1125\u20131134 (2010)","journal-title":"Neural Netw."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51676-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T02:05:36Z","timestamp":1498356336000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}