{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,2]],"date-time":"2026-05-02T13:28:15Z","timestamp":1777728495164,"version":"3.51.4"},"reference-count":20,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2015,12,19]]},"DOI":"10.3233\/ia-150084","type":"journal-article","created":{"date-parts":[[2015,12,23]],"date-time":"2015-12-23T09:21:13Z","timestamp":1450862473000},"page":"131-148","source":"Crossref","is-referenced-by-count":3,"title":["Runtime verification of fail-uncontrolled and\u00a0ambient intelligence systems: A\u00a0uniform\u00a0approach"],"prefix":"10.1177","volume":"9","author":[{"given":"Davide","family":"Ancona","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Briola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","reference":[{"issue":"1","key":"10.3233\/IA-150084_ref2","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s10489-013-0513-x","article-title":"On the interaction between knowledge and social commitments in multi-agent systems","volume":"41","author":"Al-Saqqar","year":"2014","journal-title":"Applied Intelligence"},{"key":"10.3233\/IA-150084_ref6","unstructured":"Davide Ancona, Sophia Drossopoulou and Viviana Mascardi. Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason. In DALT X. Revised, Selected and Invited Papers, volume 7784 of LNAI, Springer."},{"issue":"4","key":"10.3233\/IA-150084_ref8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2677206","article-title":"A commitment-based infrastructure for programming sociotechnical systems","volume":"14","author":"Baldoni","year":"2014","journal-title":"ACM Trans Internet Technol"},{"key":"10.3233\/IA-150084_ref9","doi-asserted-by":"crossref","unstructured":"Matteo Baldoni, Cristina Baroglio and Federico Capuzzimati. Typing multi-agent systems via commitments. In Engineering Multi-Agent Systems (2014), 388\u2013405, Springer.","DOI":"10.1007\/978-3-319-14484-9_20"},{"key":"10.3233\/IA-150084_ref11","unstructured":"Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio. Programming with commitments and goals in JaCaMo+. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201915, pages 1705\u20131706, Richland, SC, 2015. International Foundation for Autonomous Agents and Multiagent Systems."},{"key":"10.3233\/IA-150084_ref16","doi-asserted-by":"crossref","unstructured":"Daniela Briola, Viviana Mascardi, and Davide Ancona. Distributed runtime verification of JADE multiagent systems. In Dd Camacho, Lars Braubach, Salvatore Venticinque, and Costin Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014, volume 570 of Studies in Computational Intelligence (2014), 81\u201391, Springer.","DOI":"10.1007\/978-3-319-10422-5_10"},{"key":"10.3233\/IA-150084_ref17","doi-asserted-by":"crossref","unstructured":"Castagna Giuseppe, Dezani-Ciancaglini Mariangiola and Padovani Luca. On global types and multi-party session. Logical Methods in Computer Science 8(1) (2012).","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"10.3233\/IA-150084_ref18","first-page":"146","article-title":"A higher-order agent model with contextual planning management for ambient systems","volume":"8780","author":"Chaouche","year":"2014","journal-title":"T. Computational Collective Intelligence"},{"issue":"1","key":"10.3233\/IA-150084_ref20","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1093\/jigpal\/jzt035","article-title":"Reasoning about constitutive norms in BDI agents","volume":"22","author":"Criado","year":"2014","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"10.3233\/IA-150084_ref23","first-page":"55","article-title":"A fuzzy embedded agent-based approach for realizing ambient intelligence in intelligent inhabited environments","volume":"35","author":"Doctor","year":"2005","journal-title":"IEEE Transac18 D. Ancona, D. Briola, A. Ferrando, V. Mascardi \/ Runtime Verification of Fail-Uncontrolled and AmI Systems tions on Systems, Man, and Cybernetics, Part A"},{"issue":"4","key":"10.3233\/IA-150084_ref24","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1142\/S0129054103001923","article-title":"A logical characterisation of event clock automata","volume":"14","author":"D\u2019Souza","year":"2003","journal-title":"Int J Found Comput Sci"},{"key":"10.3233\/IA-150084_ref27","doi-asserted-by":"crossref","unstructured":"Gascue\u00f1aJos\u00e9 M, Navarro Elena Fern\u00e1ndez-Sotos Patricia, Fern\u00e1ndez-Caballero Antonio and Pav\u00f3n Juan. Idk and icaro to develop multi-agent systems in support of ambient intelligence. Journal of Intelligent and Fuzzy Systems, 2014.","DOI":"10.3233\/IFS-141200"},{"issue":"6","key":"10.3233\/IA-150084_ref32","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MIS.2004.61","article-title":"Creating an ambient-intelligence environment using embedded agents","volume":"19","author":"Hagras","year":"2004","journal-title":"IEEE Intelligent Systems"},{"key":"10.3233\/IA-150084_ref33","unstructured":"Baroglio C. Baldoni M. and Capuzzimati F.. Reasoning about social relationships with Jason. Autonomous Agents and Multi-Agent Systems, 2014."},{"key":"10.3233\/IA-150084_ref36","unstructured":"Viviana Mascardi and Davide Ancona. Attribute global types for dynamic checking of protocols in logic-based multiagent systems (technical communication). To appear in Theory and Practice of Logic Programming, On-line Supplement, as technical communication of the ICLP 2013 conference, 2013."},{"issue":"2","key":"10.3233\/IA-150084_ref42","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MIS.2008.19","article-title":"Ambient intelligence - the next step for artificial intelligence","volume":"23","author":"Ramos","year":"2008","journal-title":"IEEE Intelligent Systems"},{"key":"10.3233\/IA-150084_ref43","unstructured":"Jean-Fran\u00e7ois Raskin. PhD thesis, Namur, BelgiumLogics, automata and classical theories for deciding real-time1999"},{"issue":"1","key":"10.3233\/IA-150084_ref44","doi-asserted-by":"crossref","first-page":"730","DOI":"10.1109\/TII.2013.2273433","article-title":"Semantic-based resource discovery and orchestration in home and building automation: A multi-agent approach","volume":"10","author":"Ruta","year":"2014","journal-title":"Industrial Informatics, IEEE Transactions on"},{"key":"10.3233\/IA-150084_ref46","doi-asserted-by":"crossref","unstructured":"Monica Villaverde, David Perez and Felix Moreno. Cooperative learning model based on multi-agent architecture for embedded intelligent systems. In Industrial Electronics Society, IECON 2014-40th Annual Conference of the IEEE, 2724\u20132730, IEEE.","DOI":"10.1109\/IECON.2014.7048892"},{"issue":"1-3","key":"10.3233\/IA-150084_ref48","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/B:AMAI.0000034528.55456.d9","article-title":"Reasoning about commitments in the event calculus: An approach for specifying and executing protocols","volume":"42","author":"Yolum","year":"2004","journal-title":"Ann Math Artif Intell"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-150084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T10:52:16Z","timestamp":1777459936000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/IA-150084"}},"subtitle":[],"editor":[{"given":"Claudia","family":"Di Napoli","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]},{"given":"Silvia","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"editor","vocabulary":"crossref"}]}],"short-title":[],"issued":{"date-parts":[[2015,12,19]]},"references-count":20,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ia-150084","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"value":"1724-8035","type":"print"},{"value":"2211-0097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,12,19]]}}}