{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:11Z","timestamp":1779074591653,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T00:00:00Z","timestamp":1712880000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"UKRI","award":["EP\/V02647\/1"],"award-info":[{"award-number":["EP\/V02647\/1"]}]},{"name":"UKRI","award":["EP\/R025479\/1"],"award-info":[{"award-number":["EP\/R025479\/1"]}]},{"name":"UKRI","award":["EP\/V026801\/2"],"award-info":[{"award-number":["EP\/V026801\/2"]}]},{"name":"the Royal Academy of Engineering Grant","award":["CiET1718\/45"],"award-info":[{"award-number":["CiET1718\/45"]}]},{"name":"the Assuring Autonomy International Programme"},{"name":"NSERC"},{"name":"Amazon Research Award"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,12]]},"DOI":"10.1145\/3597503.3639093","type":"proceedings-article","created":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T16:43:26Z","timestamp":1712940206000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Analyzing and Debugging Normative Requirements via Satisfiability Checking"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-3908-2755","authenticated-orcid":false,"given":"Nick","family":"Feng","sequence":"first","affiliation":[{"name":"University of, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0220-191X","authenticated-orcid":false,"given":"Lina","family":"Marsso","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3944-6574","authenticated-orcid":false,"given":"Sinem","family":"Getir Yaman","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7946-0074","authenticated-orcid":false,"given":"Yesugen","family":"Baatartogtokh","sequence":"additional","affiliation":[{"name":"Smith College, Northampton, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7775-2871","authenticated-orcid":false,"given":"Reem","family":"Ayad","sequence":"additional","affiliation":[{"name":"Department of Psychology, University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2867-8529","authenticated-orcid":false,"given":"Victoria Oldemburgo","family":"De Mello","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8486-6041","authenticated-orcid":false,"given":"Beverley","family":"Townsend","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0486-3778","authenticated-orcid":false,"given":"Isobel","family":"Standen","sequence":"additional","affiliation":[{"name":"Department of Philosophy, University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3741-252X","authenticated-orcid":false,"given":"Ioannis","family":"Stefanakos","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3198-9226","authenticated-orcid":false,"given":"Calum","family":"Imrie","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1661-8131","authenticated-orcid":false,"given":"Genaina Nunes","family":"Rodrigues","sequence":"additional","affiliation":[{"name":"University of Brasilia, Brasilia, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0831-1976","authenticated-orcid":false,"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2209.09722"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v28i4.2065"},{"key":"e_1_3_2_1_3_1","volume-title":"Kasap","author":"Bahad\u0131r B.N.","unstructured":"Bahad\u0131r, B.N., Kasap, Z.: AutoCar Project, https:\/\/acp317315180.wordpress.com\/"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2019.2898267"},{"issue":"1","key":"e_1_3_2_1_5_1","first-page":"41","volume":"72","author":"Brunero J.","year":"2022","unstructured":"Brunero, J.: Reasons and Defeasible Reasoning. The Philosophical Quarterly 72(1), 41--64 (2022)","journal-title":"Reasons and Defeasible Reasoning. The Philosophical Quarterly"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.103201"},{"key":"e_1_3_2_1_7_1","first-page":"90","volume-title":"M.: Maintaining Driver Attentiveness in Shared-Control Autonomous Driving. In: 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).","author":"Calinescu R.","year":"2021","unstructured":"Calinescu, R., Alasmari, N., Gleirscher, M.: Maintaining Driver Attentiveness in Shared-Control Autonomous Driving. In: 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). pp. 90--96. IEEE (2021)"},{"key":"e_1_3_2_1_8_1","volume-title":"Ashaolu","author":"Calinescu R.","year":"2022","unstructured":"Calinescu, R., Ashaolu, O.: Diagnostic AI System for Robot-Assisted A&E Triage (DAISY) website., https:\/\/twitter.com\/NorwichChloe\/status\/1679112358843613184?t=ALk7s8wcyHztZyyHJoB5pg&s=19, https:\/\/tas.ac.uk\/research-projects-2022-23\/daisy\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-020-00333-1"},{"key":"e_1_3_2_1_10_1","volume-title":"Calinescu","author":"Dandy N.","year":"2023","unstructured":"Dandy, N., Calinescu, R.: Autonomous Systems for Forest ProtEctioN (ASPEN) website., https:\/\/tas.ac.uk\/research-projects-2023-24\/autonomous-systems-for-forest-protection\/"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00152"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37709-9_18"},{"key":"e_1_3_2_1_13_1","volume-title":"Chechik","author":"Feng N.","year":"2024","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Townsend, B., Baatartogtokh, Y., Ayad, R., de Mello, V.O., Kholodetska, Y., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G., Cavalcanti, A., Calinescu, R., Chechik, M.: The Real-world UsE CaSEs NoRmatiVe REquirements Repository (2024), http:\/\/www.cs.toronto.edu\/~sleec\/"},{"key":"e_1_3_2_1_14_1","volume-title":"Stefanakos, I., Imrie, C., Rodrigues, G., Cavalcant, A., Calinescu, R.","author":"Feng N.","year":"2024","unstructured":"Feng, N., Marsso, L., Yaman, S.G., Townsend, B., Baatartogtokh, Y., Ayad, R., de Mello, V.O., sobel Standen, Stefanakos, I., Imrie, C., Rodrigues, G., Cavalcant, A., Calinescu, R., Chechik, M.: Analyzing and Debugging Normative Requirements via Satisfiability Checking (2024), https:\/\/arxiv.org\/abs\/2401.05673"},{"key":"e_1_3_2_1_15_1","volume-title":"A.: Specification and Validation of Normative Rules for Autonomous Agents. In: Proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering (FASE'2023)","author":"Getir-Yaman S.","year":"2023","unstructured":"Getir-Yaman, S., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and Validation of Normative Rules for Autonomous Agents. In: Proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering (FASE'2023), Paris, France. Lecture Notes in Computer Science, Springer (2023)"},{"key":"e_1_3_2_1_16_1","volume-title":"Townsend","author":"Getir-Yaman S.","year":"2023","unstructured":"Getir-Yaman, S., Cavalcanti, A., Calinescu, R., Paterson, C., Ribeiro, P., Townsend, B.: Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents (2023), https:\/\/arxiv.org\/abs\/2307.03697"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS51251.2021.00037"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.59"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.371.12"},{"key":"e_1_3_2_1_20_1","first-page":"181","volume-title":"FMCAD 2013","author":"Heule M., Jr., W.A.H.","year":"2013","unstructured":"Heule, M., Jr., W.A.H., Wetzler, N.: Trimming while checking clausal proofs. In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013. pp. 181--188. IEEE (2013), https:\/\/ieeexplore.ieee.org\/document\/6679408\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCDS.2018.2817283"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCDS.2018.2817283"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.11.001"},{"key":"e_1_3_2_1_25_1","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Specifications","author":"van Lamsweerde A.","year":"2009","unstructured":"van Lamsweerde, A.: Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICHI54592.2022.00066"},{"key":"e_1_3_2_1_28_1","first-page":"31","volume-title":"Zowghi","author":"Mairiza D.","year":"2011","unstructured":"Mairiza, D., Zowghi, D.: Constructing a catalogue of conflicts among nonfunctional requirements. In: Maciaszek, L.A., Loucopoulos, P. (eds.) Evaluation of Novel Approaches to Software Engineering. pp. 31--44. Springer Berlin Heidelberg, Berlin, Heidelberg (2011)"},{"key":"e_1_3_2_1_29_1","volume-title":"Pnueli","author":"Manna Z.","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, Berlin, Heidelberg (1992)"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2017.08.006"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387905.3388610"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2021.1929471"},{"key":"e_1_3_2_1_33_1","volume-title":"Lina","author":"Nick F.","year":"2024","unstructured":"Nick, F., Lina, M.: Supplementary material for: Analyzing and debugging normative requirements via satisfiability checking (2024), https:\/\/github.com\/NickF0211\/LEGOS-SLEEC"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597512.3599711"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2016.7852280"},{"key":"e_1_3_2_1_37_1","volume-title":"Chaki","author":"Roy M.","year":"2023","unstructured":"Roy, M., Bag, R., Deb, N., Cortesi, A., Chaki, R., Chaki, N.: SCARS: Suturing Wounds due to Conflicts between Non-Functional Requirements in Robotic Systems. Authorea Preprints (2023)"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488521500197"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17108-6_17"},{"key":"e_1_3_2_1_40_1","first-page":"1","volume-title":"Thomas","author":"Townsend B.","year":"2022","unstructured":"Townsend, B., Paterson, C., Arvind, T., Nemirovsky, G., Calinescu, R., Cavalcanti, A., Habli, I., Thomas, A.: From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds and Machines pp. 1--33 (2022)"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1218875.1218881"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3639093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:11Z","timestamp":1750286951000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3639093"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,12]]},"references-count":40,"alternative-id":["10.1145\/3597503.3639093","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3639093","relation":{},"subject":[],"published":{"date-parts":[[2024,4,12]]},"assertion":[{"value":"2024-04-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}