{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:24:18Z","timestamp":1779074658675,"version":"3.51.4"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227485","type":"print"},{"value":"9783032227492","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22749-2_4","type":"book-chapter","created":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:08:49Z","timestamp":1776258529000},"page":"65-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extending FRET with SLEEC Rules: Formalization, Obligation Inference, and Monitoring"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9052-5408","authenticated-orcid":false,"given":"Mahrokh","family":"Mirani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6734-1318","authenticated-orcid":false,"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5438-2281","authenticated-orcid":false,"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9508-7713","authenticated-orcid":false,"given":"Franco","family":"Raimondi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5763-6080","authenticated-orcid":false,"given":"Nicolas","family":"Troquard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,15]]},"reference":[{"key":"4_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., USA, 1st edn. (1995)"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Alfieri, C., Donati, D., Gozzano, S., Greco, L., Segala, M.: Ethical preferences in the digital world: The EXOSOUL questionnaire. In: 2nd International Conference on Hybrid Human-Artificial Intelligence. pp. 290\u2013299 (2023). https:\/\/doi.org\/10.3233\/FAIA230092","DOI":"10.3233\/FAIA230092"},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"Alfieri, C., Inverardi, P., Migliarini, P., Palmiero, M.: Exosoul: Ethical profiling in the digital world. In: Schlobach, S., P\u00e9rez-Ortiz, M., Tielman, M. (eds.) HHAI 2022: Augmenting Human Intellect - Proceedings of the First International Conference on Hybrid Human-Artificial Intelligence, Amsterdam, The Netherlands, 13-17 June 2022. Frontiers in Artificial Intelligence and Applications, vol.\u00a0354, pp. 128\u2013142. IOS Press (2022).https:\/\/doi.org\/10.3233\/FAIA220194","DOI":"10.3233\/FAIA220194"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Alidoosti, R., Lago, P., Poort, E., Razavian, M., Tang, A.: Incorporating ethical values into software architecture design practices. In: 19th International Conference on Software Architecture Companion. pp. 124\u2013127 (2022). https:\/\/doi.org\/10.1109\/ICSA-C54293.2022.00031","DOI":"10.1109\/ICSA-C54293.2022.00031"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Anderson, M., Anderson, S.L. (eds.): Machine Ethics. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511978036"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Autili, M., De\u00a0Sanctis, M., Inverardi, P., Pelliccione, P.: Engineering digital systems for humanity: A research roadmap. ACM Trans. Softw. Eng. Methodol. 34(5) (May 2025). https:\/\/doi.org\/10.1145\/3712006, https:\/\/doi.org\/10.1145\/3712006","DOI":"10.1145\/3712006"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Awad, E., Dsouza, S., Kim, R., Schulz, J., Henrich, J., Shariff, A., Bonnefon, J.F., Rahwan, I.: The moral machine experiment. Nature 563, 59\u201364 (2018). https:\/\/doi.org\/10.1038\/s41586-018-0637-6","DOI":"10.1038\/s41586-018-0637-6"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: Introduction to Description Logic. Cambridge University Press (2017)","DOI":"10.1017\/9781139025355"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Commission, E., on\u00a0Ethics\u00a0in Science, E.G., Technologies, N., for Research, D.G., Innovation: Statement on artificial intelligence, robotics and \u2019autonomous\u2019 systems \u2013 Brussels, 9 March 2018. Publications Office (2018).https:\/\/doi.org\/10.2777\/531856","DOI":"10.2777\/531856"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (Sep 2001). https:\/\/doi.org\/10.1145\/502807.502810, https:\/\/doi.org\/10.1145\/502807.502810","DOI":"10.1145\/502807.502810"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Baatartogtokh, Y., Ayad, R., de\u00a0Mello, V.O., Townsend, B.A., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G.N., Cavalcanti, A., Calinescu, R., Chechik, M.: Analyzing and debugging normative requirements via satisfiability checking. In: International Conference on Software Engineering. pp. 214:1\u2013214:12. ACM (2024).https:\/\/doi.org\/10.1145\/3597503.3639093","DOI":"10.1145\/3597503.3639093"},{"key":"4_CR12","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Baatartogtokh, Y., Ayad, R., de\u00a0Mello, V.O., Townsend, B.A., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G.N., Cavalcanti, A., Calinescu, R., Chechik, M.: SLEEC case studies (2024), https:\/\/github.com\/NickF0211\/LEGOS-SLEEC"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Standen, I., Baatartogtokh, Y., Ayad, R., de\u00a0Mello, V.O., Townsend, B.A., Bartels, H., Cavalcanti, A., Calinescu, R., Chechik, M.: Normative requirements operationalization with large language models. In: 32nd IEEE International Requirements Engineering Conference. pp. 129\u2013141 (2024). https:\/\/doi.org\/10.1109\/RE59067.2024.00022","DOI":"10.1109\/RE59067.2024.00022"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Townsend, B.A., Cavalcanti, A., Calinescu, R., Chechik, M.: Towards a formal framework for normative requirements elicitation. In: 38th IEEE\/ACM International Conference on Automated Software Engineering. pp. 1776\u20131780 (2023). https:\/\/doi.org\/10.1109\/ASE56229.2023.00152","DOI":"10.1109\/ASE56229.2023.00152"},{"key":"4_CR15","unstructured":"Future of Life Institute: Asilomar ai principles (2017), retrieved July, 2025, from https:\/\/futureoflife.org\/open-letter\/ai-principles\/"},{"key":"4_CR16","unstructured":"Giannakopoulou, D., Pressburger, T., Mavridou, A., Rhein, J., Schumann, J., Shi, N.: Formal requirements elicitation with FRET. In: Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020. CEUR Workshop Proceedings, vol.\u00a02584. CEUR-WS.org (2020), https:\/\/ceur-ws.org\/Vol-2584\/PT-paper4.pdf"},{"issue":"2","key":"4_CR17","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s11245-013-9183-x","volume":"32","author":"M Guarini","year":"2013","unstructured":"Guarini, M.: Introduction: machine ethics and the ethics of building intelligent machines. Topoi 32(2), 213\u2013215 (2013)","journal-title":"Topoi"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Inverardi, P.: The european perspective on responsible computing. Commun. ACM 62(4), \u00a064 (2019). https:\/\/doi.org\/10.1145\/3311783","DOI":"10.1145\/3311783"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Jedlickova, A.: Ensuring ethical standards in the development of autonomous and intelligent systems. IEEE Transactions on Artificial Intelligence 5(12), 5863\u20135872 (2024). https:\/\/doi.org\/10.1109\/TAI.2024.3387403","DOI":"10.1109\/TAI.2024.3387403"},{"key":"4_CR20","unstructured":"Katis, A., Mavridou, A., Pressburger, T., Schumann, J., Trinh, K.: FRET: Formal Requirements Elicitation Tool (2025), https:\/\/github.com\/NASA-SW-VnV\/fret"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Kolyakov, K., Marsso, L., Feng, N., Quan, J., Chechik, M.: LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements . In: 2025 IEEE\/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). pp. 33\u201336. IEEE Computer Society, Los Alamitos, CA, USA (May 2025). https:\/\/doi.org\/10.1109\/ICSE-Companion66252.2025.00018, https:\/\/doi.ieeecomputersociety.org\/10.1109\/ICSE-Companion66252.2025.00018","DOI":"10.1109\/ICSE-Companion66252.2025.00018"},{"key":"4_CR22","unstructured":"Madiega, T.A.: Artificial intelligence act (2024), https:\/\/www.europarl.europa.eu\/RegData\/etudes\/BRIE\/2021\/698792\/EPRS_BRI(2021)698792_EN.pdf, Think Tank European Parliament"},{"key":"4_CR23","unstructured":"Mirani, M., Raimondi, F., Troquard, N.: Towards efficient norm-aware robots\u2019 decision making using datalog (short paper). In: Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), Bolzano, Italy, November 26, 2024. CEUR Workshop Proceedings, vol.\u00a03881, pp. 50\u201359. CEUR-WS.org (2024), https:\/\/ceur-ws.org\/Vol-3881\/paper6.pdf"},{"key":"4_CR24","unstructured":"OECD Council on Artificial Intelligence: Recommendation of the Council on Artificial Intelligence (2019), https:\/\/legalinstruments.oecd.org\/en\/instruments\/OECD-LEGAL-0449, amended in 2024"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Oviedo, J., Rodriguez, M., Trenta, A., Cannas, D., Natale, D., Piattini, M.: Iso\/iec quality standards for ai engineering. Computer Science Review 54, 100681 (2024).https:\/\/doi.org\/10.1016\/j.cosrev.2024.100681, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1574013724000650","DOI":"10.1016\/j.cosrev.2024.100681"},{"key":"4_CR26","volume-title":"Human Compatible: AI and the Problem of Control","author":"S Russel","year":"2019","unstructured":"Russel, S.: Human Compatible: AI and the Problem of Control. Allen Lane, Bristol (2019)"},{"key":"4_CR27","unstructured":"Scholz, B. et al.: Souffl\u00e8 (2025), https:\/\/souffle-lang.github.io\/index.html, https:\/\/souffle-lang.github.io\/index.html"},{"key":"4_CR28","doi-asserted-by":"publisher","unstructured":"Shahin, M., Hussain, W., Nurwidyantoro, A., Perera, H., Shams, R.A., Grundy, J.C., Whittle, J.: Operationalizing human values in software engineering: A survey. IEEE Access 10, 75269\u201375295 (2022).https:\/\/doi.org\/10.1109\/ACCESS.2022.3190975, https:\/\/doi.org\/10.1109\/ACCESS.2022.3190975","DOI":"10.1109\/ACCESS.2022.3190975"},{"key":"4_CR29","doi-asserted-by":"publisher","unstructured":"Suri, S., Das, S.N., Singi, K., Dey, K., Sharma, V.S., Kaulgud, V.: Software engineering using autonomous agents: Are we there yet? In: 38th IEEE\/ACM International Conference on Automated Software Engineering. pp. 1855\u20131857 (2023). https:\/\/doi.org\/10.1109\/ASE56229.2023.00174","DOI":"10.1109\/ASE56229.2023.00174"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Tolmeijer, S., Kneer, M., Sarasua, C., Christen, M., Bernstein, A.: Implementations in machine ethics: A survey. ACM Computing Surveys 53(6), 1\u201338 (2020). https:\/\/doi.org\/10.1145\/3419633","DOI":"10.1145\/3419633"},{"key":"4_CR31","doi-asserted-by":"publisher","unstructured":"Townsend, B., Parnell, K.J., Yaman, S.G., Nemirovsky, G., Calinescu, R.: Normative conflict resolution through human\u2013autonomous agent interaction. Journal of Responsible Technology 21, 100114 (2025).https:\/\/doi.org\/10.1016\/j.jrt.2025.100114, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2666659625000101","DOI":"10.1016\/j.jrt.2025.100114"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Townsend, B.A., Paterson, C., Arvind, T.T., Nemirovsky, G., Calinescu, R., Cavalcanti, A., Habli, I., Thomas, A.: From pluralistic normative principles to autonomous-agent rules. Minds Mach. 32(4), 683\u2013715 (2022).https:\/\/doi.org\/10.1007\/S11023-022-09614-W","DOI":"10.1007\/S11023-022-09614-W"},{"key":"4_CR33","doi-asserted-by":"publisher","unstructured":"Troquard, N., De Sanctis, M., Inverardi, P., Pelliccione, P., Scoccia, G.L.: Social, legal, ethical, empathetic, and cultural rules: Compilation and reasoning. In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Vancouver, Canada. pp. 22385\u201322392. AAAI Press (2024).https:\/\/doi.org\/10.1609\/AAAI.V38I20.30245, https:\/\/doi.org\/10.1609\/aaai.v38i20.30245","DOI":"10.1609\/AAAI.V38I20.30245"},{"key":"4_CR34","unstructured":"UNESCO: Recommendation on the ethics of artificial intelligence, https:\/\/www.unesco.org\/en\/artificial-intelligence\/recommendation-ethics (2022), https:\/\/www.unesco.org\/en\/artificial-intelligence\/recommendation-ethics"},{"key":"4_CR35","unstructured":"United States Government: Blueprint for an AI Bill of Rights Making Automated Systems Work for the American People, https:\/\/www.whitehouse.gov\/wp-content\/uploads\/2022\/10\/Blueprint-for-an-AI-Bill-of-Rights.pdf (2022), https:\/\/www.whitehouse.gov\/wp-content\/uploads\/2022\/10\/Blueprint-for-an-AI-Bill-of-Rights.pdf"},{"key":"4_CR36","unstructured":"W3C OWL Working Group: Owl 2 web ontology language: Document overview. w3c recommendation (2009), available at http:\/\/www.w3.org\/TR\/owl2-overview\/"},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Yaman, S.G., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and validation of normative rules for autonomous agents. In: Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings. Lecture Notes in Computer Science, vol. 13991, pp. 241\u2013248. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-30826-0_13, https:\/\/doi.org\/10.1007\/978-3-031-30826-0_13","DOI":"10.1007\/978-3-031-30826-0_13"},{"key":"4_CR38","doi-asserted-by":"publisher","unstructured":"Yaman, S.G., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C., Townsend, B.A.: Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Journal of Systems and Software 220, 112229 (2025). https:\/\/doi.org\/10.1016\/J.JSS.2024.112229","DOI":"10.1016\/J.JSS.2024.112229"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22749-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T13:08:56Z","timestamp":1776258536000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22749-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227485","9783032227492"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22749-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"15 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TACAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tacas2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/about\/tacas\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}