{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,28]],"date-time":"2025-06-28T04:09:32Z","timestamp":1751083772412,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","funder":[{"name":"Kansen voor West","award":["EFRO grant KVW00309"],"award-info":[{"award-number":["EFRO grant KVW00309"]}]},{"name":"Dutch Metropolitan Innovations ecosystem made possible by the Nationaal Groeifonds","award":["AMdEX-DMI"],"award-info":[{"award-number":["AMdEX-DMI"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,27]]},"DOI":"10.1145\/3742876.3742882","type":"proceedings-article","created":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T20:24:46Z","timestamp":1751055886000},"page":"80-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9124-9092","authenticated-orcid":false,"given":"Christopher A.","family":"Esterhuyse","sequence":"first","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9759-5973","authenticated-orcid":false,"given":"Tim","family":"M\u00fcller","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8113-2221","authenticated-orcid":false,"given":"L. Thomas","family":"van Binsbergen","sequence":"additional","affiliation":[{"name":"University of Amsterdam, Amsterdam, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11775331_16"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.Commit2Data.2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.306.10"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","first-page":"951","DOI":"10.1007\/s11406-015-9637-z","article-title":"Hohfeldian normative systems","volume":"43","author":"Biasetti Pierfrancesco","year":"2015","unstructured":"Pierfrancesco Biasetti. 2015. Hohfeldian normative systems. Philosophia, 43 (2015), 951\u2013959.","journal-title":"Philosophia"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ARTINT.2015.09.008"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/69.43410"},{"key":"e_1_3_2_1_7_1","volume-title":"Model Checking Normative Systems","author":"de Geus Florine","unstructured":"Florine de Geus. 2022. Model Checking Normative Systems. University of Amsterdam."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","first-page":"554","DOI":"10.1111\/phc3.12342","article-title":"Fundamental legal concepts: the Hohfeldian framework","volume":"11","author":"Almeida Lu\u00eds Duarte","year":"2016","unstructured":"Lu\u00eds Duarte d\u2019Almeida. 2016. Fundamental legal concepts: the Hohfeldian framework. Philosophy Compass, 11, 10 (2016), 554\u2013569.","journal-title":"Philosophy Compass"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3687997.3695635"},{"key":"e_1_3_2_1_10_1","unstructured":"European Commission. 2016. Regulation (EU) 2016\/679 of the European Parliament and of the Council of 27 April 2016 on the protection of natural persons with regard to the processing of personal data and on the free movement of such data and repealing Directive 95\/46\/EC (General Data Protection Regulation) (Text with EEA relevance). https:\/\/eur-lex.europa.eu\/eli\/reg\/2016\/679\/oj"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"e_1_3_2_1_12_1","volume-title":"Answer set solving in practice","author":"Gebser Martin","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2022. Answer set solving in practice. Springer Nature."},{"key":"e_1_3_2_1_13_1","first-page":"1070","article-title":"The stable model semantics for logic programming","volume":"88","author":"Gelfond Michael","year":"1988","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming.. In ICLP\/SLP. 88, 1070\u20131080.","journal-title":"ICLP\/SLP."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.7561\/SACS.2012.1.201"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_23"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA200872"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"John McCarthy. 1963. Situations actions and causal laws.","DOI":"10.21236\/AD0785031"},{"key":"e_1_3_2_1_18_1","unstructured":"John McCarthy. 2002. Actions and other events in situation calculus. In Kr. 615\u2013628."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Tim M\u00fcller Christopher A. Esterhuyse and L. Thomas van Binsbergen. 2025. Source Code and Experimental Data for a Translatfrom eFLINT Normative Specifications to Clingo Answer-Set Programs. https:\/\/doi.org\/10.5281\/zenodo.15188960 This URL and DOI refer to the most recent version of our artefact from where the URL and DOI of each (fixed) version is accessible. Version1 has DOI 10.5281\/zenodo.15188959 and version2 has DOI 10.5281\/zenodo.15470286. The latter is the most recent at time of writing and accompanies this article 10.5281\/zenodo.15188960","DOI":"10.5281\/zenodo.15188960"},{"key":"e_1_3_2_1_20_1","first-page":"335","article-title":"A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic","volume":"3","author":"Olkhovikov Grigory K.","year":"2016","unstructured":"Grigory K. Olkhovikov. 2016. A Complete, Correct, and Independent Axiomatization of the First-Order Fragment of a Three-Valued Paraconsistent Logic. FLAP, 3, 3 (2016), 335\u2013340. http:\/\/www.collegepublications.co.uk\/downloads\/ifcolog00007.pdf","journal-title":"FLAP"},{"key":"e_1_3_2_1_21_1","first-page":"317","article-title":"On a New Three-Valued Paraconsistent Logic","volume":"3","author":"Olkhovikov Grigory K.","year":"2016","unstructured":"Grigory K. Olkhovikov. 2016. On a New Three-Valued Paraconsistent Logic. FLAP, 3, 3 (2016), 317\u2013334. http:\/\/www.collegepublications.co.uk\/downloads\/ifcolog00007.pdf","journal-title":"FLAP"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENTCS.2020.10.012"},{"key":"e_1_3_2_1_23_1","volume-title":"Datalog as a (non-logic) Programming Language. Ph. D. Dissertation","author":"Pacak Andr\u00e9","year":"2030","unstructured":"Andr\u00e9 Pacak. 2024. Datalog as a (non-logic) Programming Language. Ph. D. Dissertation. University of Mainz, Germany. https:\/\/openscience.ub.uni-mainz.de\/handle\/20.500.12030\/10930"},{"key":"e_1_3_2_1_24_1","volume-title":"A Modular Architecture for\u00a0Integrating Normative Advisors in\u00a0MAS","author":"Parizi Mostafa Mohajeri","year":"2061","unstructured":"Mostafa Mohajeri Parizi, L. Thomas van Binsbergen, Giovanni Sileno, and Tom van Engers. 2022. A Modular Architecture for\u00a0Integrating Normative Advisors in\u00a0MAS. In Multi-Agent Systems, Dorothea Baumeister and J\u00f6rg Rothe (Eds.). Springer International Publishing, Cham. 312\u2013329. isbn:978-3-031-20614-6"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3550355.3552449"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-022-01053-6"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference","author":"Schiffel Stephan","year":"2006","unstructured":"Stephan Schiffel and Michael Thielscher. 2006. Reconciling Situation Calculus and Fluent Calculus. In Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA. AAAI Press, 287\u2013292. http:\/\/www.aaai.org\/Library\/AAAI\/2006\/aaai06-046.php"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90027-2"},{"key":"e_1_3_2_1_29_1","volume-title":"Artificial intelligence today: Recent trends and developments","author":"Shanahan Murray","unstructured":"Murray Shanahan. 2001. The event calculus explained. In Artificial intelligence today: Recent trends and developments. Springer, 409\u2013430."},{"key":"e_1_3_2_1_30_1","volume-title":"Symboleo: Towards a specification language for legal contracts. In 2020 IEEE 28th international requirements engineering conference (RE). 364\u2013369.","author":"Sharifi Sepehr","year":"2020","unstructured":"Sepehr Sharifi, Alireza Parvizimosaed, Daniel Amyot, Luigi Logrippo, and John Mylopoulos. 2020. Symboleo: Towards a specification language for legal contracts. In 2020 IEEE 28th international requirements engineering conference (RE). 364\u2013369."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","unstructured":"Giovanni Sileno Thomas van Binsbergen Matteo Pascucci and Tom van Engers. 2022. DPCL: a language template for normative specifications. arXiv preprint arXiv:2201.04477 https:\/\/doi.org\/10.48550\/arXiv.2201.04477 Available at 10.48550\/arXiv.2201.04477","DOI":"10.48550\/arXiv.2201.04477"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA-C63560.2024.00008"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.PROCS.2021.12.221"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3425898.3426958"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"L. Thomas van Binsbergen Merrick Oost-Rosengren Hayo Schreijer Freek Dijkstra and Taco van Dijk. 2024. AMdEX Reference Architecture \u2013 version 1.0.0. https:\/\/doi.org\/10.5281\/zenodo.10565915 10.5281\/zenodo.10565915","DOI":"10.5281\/zenodo.10565915"},{"key":"e_1_3_2_1_36_1","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems III, Jaime Sim\u00e3o Sichman","author":"Vigan\u00f2 Francesco","unstructured":"Francesco Vigan\u00f2 and Marco Colombetti. 2008. Model Checking Norms and Sanctions in Institutions. In Coordination, Organizations, Institutions, and Norms in Agent Systems III, Jaime Sim\u00e3o Sichman, Julian Padget, Sascha Ossowski, and Pablo Noriega (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 316\u2013329. isbn:978-3-540-79003-7"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.3233\/FAIA220479"}],"event":{"name":"GPCE '25: 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","location":"Bergen Norway","acronym":"GPCE '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3742876.3742882","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T20:25:15Z","timestamp":1751055915000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3742876.3742882"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,27]]},"references-count":37,"alternative-id":["10.1145\/3742876.3742882","10.1145\/3742876"],"URL":"https:\/\/doi.org\/10.1145\/3742876.3742882","relation":{},"subject":[],"published":{"date-parts":[[2025,6,27]]},"assertion":[{"value":"2025-06-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}