{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:53:15Z","timestamp":1740099195306,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030001773"},{"type":"electronic","value":"9783030001780"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-3-030-00178-0_10","type":"book-chapter","created":{"date-parts":[[2018,10,22]],"date-time":"2018-10-22T07:13:35Z","timestamp":1540192415000},"page":"157-171","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling, Execution and Analysis of Formalized Legal Norms in Model Based Decision Structures"],"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":[[2018,10,23]]},"reference":[{"key":"10_CR1","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10506-012-9131-x","volume":"20","author":"T Bench-Capon","year":"2012","unstructured":"Bench-Capon, T., et al.: A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20, 215\u2013319 (2012)","journal-title":"Artif. Intell. Law"},{"key":"10_CR2","volume-title":"Legal Reasoning: A Cognitive Approach to the Law, Ser. A Treatise of Legal Philosophy and General Jurisprudence","author":"G Sartor","year":"2005","unstructured":"Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law, Ser. A Treatise of Legal Philosophy and General Jurisprudence. Springer, Dordrecht (2005)"},{"issue":"1\u20132","key":"10_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(03)00122-X","volume":"150","author":"EL Rissland","year":"2003","unstructured":"Rissland, E.L., Ashley, K.D., Loui, R.P.: AI and law: a fruitful synergy. Artif. Intell. 150(1\u20132), 1\u201315 (2003)","journal-title":"Artif. Intell."},{"key":"10_CR4","unstructured":"van Engers, T.M., van Doesburg, R.: First steps towards a formal analysis of law. In: Proceedings of eKNOW (2015)"},{"volume-title":"Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language","year":"2010","key":"10_CR5","unstructured":"Francesconi, E. (ed.): Semantic Processing of Legal Texts: Where the Language of Law Meets the Law of Language. Springer, Heidelberg (2010)"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/j.eswa.2004.08.003","volume":"28","author":"S-H Liao","year":"2005","unstructured":"Liao, S.-H.: Expert system methodologies and applications\u2013a decade review from 1995 to 2004. Expert Syst. Appl. 28(1), 93\u2013103 (2005)","journal-title":"Expert Syst. Appl."},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.artint.2015.06.005","volume":"227","author":"H Prakken","year":"2015","unstructured":"Prakken, H., Sartor, G.: Law and logic: a review from an argumentation perspective. Artif. Intell. 227, 214\u2013245 (2015)","journal-title":"Artif. Intell."},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/64.21892","volume":"3","author":"KD Ashley","year":"1988","unstructured":"Ashley, K.D., Rissland, E.L.: A case-based approach to modeling legal expertise. IEEE Expert 3(3), 70\u201377 (1988)","journal-title":"IEEE Expert"},{"key":"10_CR9","first-page":"31","volume":"12","author":"M Aikenhead","year":"1996","unstructured":"Aikenhead, M.: Uses and abuses of neural networks in law. Santa Clara Comput. High Tech. LJ 12, 31 (1996)","journal-title":"Santa Clara Comput. High Tech. LJ"},{"key":"10_CR10","unstructured":"Gerathewohl, P.: Erschlie\u00dfung unbestimmter Rechtsbegriffe mit Hilfe des Computers: Ein Versuch am Beispiel der angemessenen Wartezeit bei \u00a7142 StGB. Dissertation, Eberhard-Karls-Universit\u00e4t, T\u00fcbingen (1987)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Timmer, S.T., Meyer, J.-J.C., Prakken, H., Renooij, S., Verheij, B.: A structure-guided approach to capturing Bayesian reasoning about legal evidence in argumentation. In: Proceedings of the 15th International Conference on Artificial Intelligence and Law, pp. 109\u2013118 (2015)","DOI":"10.1145\/2746090.2746093"},{"key":"10_CR12","unstructured":"Francesconi, E. (ed.): Proceedings of LOAIT 2010 -: IV Workshop on Legal Ontologies and Artificial Intelligence Techniques"},{"issue":"4","key":"10_CR13","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s10506-008-9070-8","volume":"16","author":"A Wyner","year":"2008","unstructured":"Wyner, A.: An ontology in OWL for legal case-based reasoning. Artif. Intell. Law 16(4), 361\u2013387 (2008)","journal-title":"Artif. Intell. Law"},{"key":"10_CR14","unstructured":"Casanovas, P., Biasiotti, M. A., Francesconi, E., Sagri, M.T. (eds.): Proceedings of LOAIT 2007: II Workshop on Legal Ontologies and Artificial Intelligence Techniques (2007)"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-09870-8_23","volume-title":"Rules on the Web. From Theory to Applications","author":"S Ramakrishna","year":"2014","unstructured":"Ramakrishna, S., Paschke, A.: A process for knowledge transformation and knowledge representation of patent law. In: Bikakis, A., Fodor, P., Roman, D. (eds.) RuleML 2014. LNCS, vol. 8620, pp. 311\u2013328. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09870-8_23"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Islam, M.B., Governatori, G.: Ruleoms: a rule-based online management system. In: Proceedings of the 15th International Conference on Artificial Intelligence and Law. ACM, pp. 187\u2013191 (2015)","DOI":"10.1145\/2746090.2746120"},{"key":"10_CR17","unstructured":"Object Management Group: Unified Modeling Language (UML) 2.4.1 Infrastructure. http:\/\/www.omg.org\/spec\/UML\/2.4.1\/"},{"key":"10_CR18","unstructured":"Object Management Group: Business Process Model and Notation (BPMN), Version 2.0"},{"key":"10_CR19","unstructured":"Object Management Group: Case Management Model And Notation Version 1.0"},{"key":"10_CR20","unstructured":"Object Management Group: Decision Model and Notation Version 1.0"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Governatori, G. (ed.): Law, logic and business processes. In: 2010 Third International Workshop on Requirements Engineering and Law (RELAW) (2010)","DOI":"10.1109\/RELAW.2010.5625356"},{"key":"10_CR22","unstructured":"Waltl, B., Matthes, F., Waltl, T., Grass, T.: LEXIA: a data science environment for Semantic analysis of German legal texts. Jusletter IT (2016)"},{"key":"10_CR23","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":"10_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84978-7","volume-title":"Juristische Expertensysteme: Methodische Grundlagen ihrer Entwicklung","author":"T Jandach","year":"1993","unstructured":"Jandach, T.: Juristische Expertensysteme: Methodische Grundlagen ihrer Entwicklung. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/978-3-642-84978-7"}],"container-title":["Lecture Notes in Computer Science","AI Approaches to the Complexity of Legal Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00178-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T08:07:20Z","timestamp":1572163640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00178-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030001773","9783030001780"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00178-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"AICOL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on AI Approaches to the Complexity of Legal Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","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":"16 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aicol2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.aicol.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}