{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T04:08:54Z","timestamp":1750392534640,"version":"3.41.0"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031939297","type":"print"},{"value":"9783031939303","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-93930-3_16","type":"book-chapter","created":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:25:59Z","timestamp":1750346759000},"page":"274-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Rules2Lab: from\u00a0Prolog Knowledge-Base, to\u00a0Learning Agents, to\u00a0Norm Engineering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6378-5886","authenticated-orcid":false,"given":"Peter","family":"Fratri\u010d","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0844-1391","authenticated-orcid":false,"given":"Nils","family":"Holzenberger","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2841-2563","authenticated-orcid":false,"given":"David Restrepo","family":"Amariles","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,20]]},"reference":[{"key":"16_CR1","unstructured":"Abadi, M., et\u00a0al.: $$\\{$$TensorFlow$$\\}$$: a system for $$\\{$$Large-Scale$$\\}$$ machine learning. In: 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16), pp. 265\u2013283 (2016)"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-031-43264-4_19","volume-title":"Multi-Agent Systems","author":"AT Ali","year":"2023","unstructured":"Ali, A.T., Leucker, M., Schuldei, A., Stellbrink, L., Sachenbacher, M.: A comparative analysis of multi-agent simulation platforms for energy and mobility management. In: Malvone, V., Murano, A. (eds.) Multi-Agent Systems, pp. 295\u2013311. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-43264-4_19"},{"key":"16_CR3","unstructured":"Amariles, D.R., Troussel, A.C., Hamdani, R.E.: Compliance generation for privacy documents under gdpr: a roadmap for implementing automation and machine learning. arXiv preprint arXiv:2012.12718 (2020)"},{"key":"16_CR4","doi-asserted-by":"publisher","unstructured":"Badica, C., Becheru, A., Felton, S.: Integration of jason reinforcement learning agents into an interactive application. In: 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 361\u2013368 (2017). https:\/\/doi.org\/10.1109\/SYNASC.2017.00065","DOI":"10.1109\/SYNASC.2017.00065"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/s10506-013-9143-1","volume":"21","author":"T Balke","year":"2013","unstructured":"Balke, T., De Vos, M., Padget, J.: I-abm: combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artif. Intell. Law 21, 371\u2013398 (2013)","journal-title":"Artif. Intell. Law"},{"key":"16_CR6","doi-asserted-by":"publisher","unstructured":"Bench-Capon, T.J.M., Robinson, G.O., Routen, T., Sergot, M.J.: Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. In: Proceedings of the First International Conference on Artificial Intelligence and Law, ICAIL \u201987, Boston, MA, USA, 27\u201329 May 1987, pp. 190\u2013198. ACM (1987). https:\/\/doi.org\/10.1145\/41735.41757","DOI":"10.1145\/41735.41757"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-030-51417-4_9","volume-title":"Engineering Multi-Agent Systems","author":"M Bosello","year":"2020","unstructured":"Bosello, M., Ricci, A.: From programming agents to educating agents \u2013 a jason-based framework for\u00a0integrating learning in the development of\u00a0cognitive agents. In: Dennis, L.A., Bordini, R.H., Lesp\u00e9rance, Y. (eds.) EMAS 2019. LNCS (LNAI), vol. 12058, pp. 175\u2013194. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51417-4_9"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.websem.2016.06.001","volume":"39","author":"L B\u00fchmann","year":"2016","unstructured":"B\u00fchmann, L., Lehmann, J., Westphal, P.: Dl-learner-a framework for inductive learning on the semantic web. J. Web Semant. 39, 15\u201324 (2016)","journal-title":"J. Web Semant."},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09478-3","volume":"35","author":"R Calegari","year":"2021","unstructured":"Calegari, R., Ciatto, G., Mascardi, V., Omicini, A.: Logic-based technologies for multi-agent systems: a systematic literature review. Auton. Agent. Multi-Agent Syst. 35(1), 1 (2021)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"16_CR10","doi-asserted-by":"publisher","unstructured":"Collenette, J., Atkinson, K., Bench-Capon, T.: Explainable AI tools for legal reasoning about cases: a study on the European court of human rights. Artif. Intell. 317, 103861 (2023). https:\/\/doi.org\/10.1016\/J.ARTINT.2023.103861","DOI":"10.1016\/J.ARTINT.2023.103861"},{"key":"16_CR11","unstructured":"Costantini, S., De\u00a0Gasperis, G., Migliarini, P.: Constraint-procedural logic generated environments for deep q-learning agent training and benchmarking. In: CILC, pp. 268\u2013278 (2022)"},{"key":"16_CR12","unstructured":"Cranefield, S., Savarimuthu, B.T.R.: Normative multi-agent systems and human-robot interaction. In: Workshop on Robot Behavior Adaptation to Human Social Norms (TSAR) (2021)"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"233","DOI":"10.3233\/AIC-2011-0502","volume":"24","author":"N Criado","year":"2011","unstructured":"Criado, N., Argente, E., Botti, V.: Open issues for normative multi-agent systems. AI Commun. 24(3), 233\u2013264 (2011)","journal-title":"AI Commun."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1613\/jair.1.13507","volume":"74","author":"A Cropper","year":"2022","unstructured":"Cropper, A., Duman\u010di\u0107, S.: Inductive logic programming at 30: a new introduction. J. Artif. Intell. Res. 74, 765\u2013850 (2022)","journal-title":"J. Artif. Intell. Res."},{"issue":"4","key":"16_CR15","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1007\/s10994-020-05934-z","volume":"110","author":"A Cropper","year":"2021","unstructured":"Cropper, A., Morel, R.: Learning programs by learning from failures. Mach. Learn. 110(4), 801\u2013856 (2021). https:\/\/doi.org\/10.1007\/s10994-020-05934-z","journal-title":"Mach. Learn."},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"16_CR17","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1016\/j.future.2017.10.020","volume":"107","author":"S Galland","year":"2020","unstructured":"Galland, S., Rodriguez, S., Gaud, N.: Run-time environment for the sarl agent-programming language: the example of the janus platform. Futur. Gener. Comput. Syst. 107, 1105\u20131115 (2020). https:\/\/doi.org\/10.1016\/j.future.2017.10.020","journal-title":"Futur. Gener. Comput. Syst."},{"key":"16_CR18","unstructured":"Hadfield-Menell, D., Russell, S.J., Abbeel, P., Dragan, A.: Cooperative inverse reinforcement learning. Adv. Neural Inf. Process. Syst. 29 (2016)"},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.future.2015.09.013","volume":"56","author":"C Kroi\u00df","year":"2016","unstructured":"Kroi\u00df, C., Bure\u0161, T.: Logic-based modeling of information transfer in cyber-physical multi-agent systems. Futur. Gener. Comput. Syst. 56, 124\u2013139 (2016). https:\/\/doi.org\/10.1016\/j.future.2015.09.013","journal-title":"Futur. Gener. Comput. Syst."},{"issue":"1\u20133","key":"16_CR20","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"HJ Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: a logic programming language for dynamic domains. J. Logic Program. 31(1\u20133), 59\u201383 (1997)","journal-title":"J. Logic Program."},{"key":"16_CR21","unstructured":"Liang, E., et al.: Rllib: abstractions for distributed reinforcement learning. In: International Conference on Machine Learning, pp. 3053\u20133062. PMLR (2018)"},{"key":"16_CR22","unstructured":"Muggleton, S.H., Feng, C., et\u00a0al.: Efficient induction of logic programs. Turing Institute (1990)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/BFb0031845","volume-title":"Agents Breaking Away","author":"AS Rao","year":"1996","unstructured":"Rao, A.S.: AgentSpeak(L): BDI agents speak out in a logical computable language. In: Van de Velde, W., Perram, J.W. (eds.) MAAMAW 1996. LNCS, vol. 1038, pp. 42\u201355. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/BFb0031845"},{"key":"16_CR24","doi-asserted-by":"publisher","unstructured":"Satoh, K.: PROLEG: practical legal reasoning system. In: Warren, D.S., Dahl, V., Eiter, T., Hermenegildo, M.V., Kowalski, R.A., Rossi, F. (eds.) Prolog: The Next 50 Years, Lecture Notes in Computer Science, vol. 13900, pp. 277\u2013283. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-35254-6_23","DOI":"10.1007\/978-3-031-35254-6_23"},{"key":"16_CR25","doi-asserted-by":"publisher","unstructured":"Stamatopoulou, I., Sakellariou, I., Kefalas, P.: Formal agent-based modelling and simulation of crowd behaviour in emergency evacuation plans. In: 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, vol.\u00a01, pp. 1133\u20131138 (2012). https:\/\/doi.org\/10.1109\/ICTAI.2012.161","DOI":"10.1109\/ICTAI.2012.161"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Tan, Z.X., Brawer, J., Scassellati, B.: That\u2019s mine! learning ownership relations and norms for robots. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a033, pp. 8058\u20138065 (2019)","DOI":"10.1609\/aaai.v33i01.33018058"},{"key":"16_CR27","unstructured":"Tisue, S., Wilensky, U.: Netlogo: a simple environment for modeling complexity. In: International Conference on Complex Systems, vol.\u00a021, pp. 16\u201321. Citeseer (2004)"},{"key":"16_CR28","unstructured":"Towers, M., et al.: Gymnasium: a standard interface for reinforcement learning environments (2024), https:\/\/arxiv.org\/abs\/2407.17032"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313\u2013327. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30082-3_23"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Williams, T.G., et al.: Integrating equity considerations into agent-based modeling: a conceptual framework and practical guidance. J. Artif. Soc. Soc. Simul. 25(3) (2022)","DOI":"10.18564\/jasss.4816"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-93930-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:26:09Z","timestamp":1750346769000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-93930-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031939297","9783031939303"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-93930-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"20 June 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EUMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dublin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ireland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 August 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eumas2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/euramas.github.io\/eumas2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}