{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:52:36Z","timestamp":1743087156911,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319644707"},{"type":"electronic","value":"9783319644714"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-64471-4_11","type":"book-chapter","created":{"date-parts":[[2017,8,1]],"date-time":"2017-08-01T10:37:25Z","timestamp":1501583845000},"page":"118-125","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Process and Tool-Support to Collaboratively Formalize Statutory Texts by Executable Models"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Waltl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reschenhofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Matthes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"11_CR1","unstructured":"Bundesministerium des Innern, Gemeinsame Gesch\u00e4ftsordnung der Bundesministerien, Berlin"},{"key":"11_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-08709-1","volume-title":"Methodenlehre der Rechtswissenschaft","author":"K Larenz","year":"1995","unstructured":"Larenz, K., Canaris, C.-W.: Methodenlehre der Rechtswissenschaft. Springer, Berlin [u.a.] (1995)"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/BF00118493","volume":"4","author":"J Hage","year":"1996","unstructured":"Hage, J.: A theory of legal reasoning and a logic to match. Artif. Intell. Law 4, 199\u2013273 (1996)","journal-title":"Artif. Intell. Law"},{"key":"11_CR4","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Legal Knowledge and Information Systems: JURIX 2015: The Twenty-Eighth Annual Conference","author":"A Rotolo","year":"2015","unstructured":"Rotolo, A.: Legal Knowledge and Information Systems: JURIX 2015: The Twenty-Eighth Annual Conference. Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam (2015)"},{"key":"11_CR5","unstructured":"Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL 2015, San Diego, California. ACM, New York (2015). ISBN 978-1-4503-3522-5"},{"key":"11_CR6","unstructured":"van Engers, T.M., van Doesburg, R.: First steps towards a formal analysis of law. In: Proceedings of eKNOW (2015)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Reschenhofer, T., Bhat, M., Hernandez-Mendez, A., Matthes, F.: Lessons learned in aligning data and model evolution in collaborative information systems. In: Proceedings of the International Conference on Software Engineering (2016). (accepted for publication)","DOI":"10.1145\/2889160.2889235"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Reschenhofer, T., Monahov, I., Matthes, F.: Type-safety in EA model analysis. In: IEEE EDOCW (2014)","DOI":"10.1109\/EDOCW.2014.21"},{"key":"11_CR9","unstructured":"Waltl, B., Matthes, F., Waltl, T., Grass, T.: LEXIA: a data science environment for Semantic analysis of German legal texts. In: Jusletter IT (2016)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","volume-title":"Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language","year":"2010","unstructured":"Francesconi, E., Montemagni, S., Peters, W., Tiscornia, D. (eds.): Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language. LNCS (LNAI), vol. 6036. Springer, Heidelberg (2010)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Grabmair, M., Ashley, K.D., Chen, R., Sureshkumar, P., Wang, C., Nyberg, E., Walker, V.R.: Introducing LUIMA: an experiment in legal conceptual retrieval of vaccine injury decisions using a UIMA type system and tools. In: ICAIL 2015: Proceedings of the 15th International Conference on Artificial Intelligence and Law, pp. 69\u201378. ACM, New York (2015)","DOI":"10.1145\/2746090.2746096"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64471-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T20:11:16Z","timestamp":1710360676000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-64471-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319644707","9783319644714"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64471-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"2 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DEXA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Database and Expert Systems Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lyon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 August 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"dexa2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.dexa.org\/dexa2017","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}