{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:40:11Z","timestamp":1751416811019,"version":"3.41.0"},"reference-count":123,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T00:00:00Z","timestamp":1519430400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.1007\/s10506-018-9220-6","type":"journal-article","created":{"date-parts":[[2018,2,24]],"date-time":"2018-02-24T00:44:36Z","timestamp":1519433076000},"page":"49-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Research in progress: report on the ICAIL 2017 doctoral consortium"],"prefix":"10.1007","volume":"26","author":[{"given":"Maria","family":"Dymitruk","sequence":"first","affiliation":[]},{"given":"R\u00e9ka","family":"Markovich","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2417-3219","authenticated-orcid":false,"given":"R\u016bta","family":"Liepi\u0146a","sequence":"additional","affiliation":[]},{"given":"Mirna","family":"El Ghosh","sequence":"additional","affiliation":[]},{"given":"Robert","family":"van Doesburg","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8927-8751","authenticated-orcid":false,"given":"Bart","family":"Verheij","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,2,24]]},"reference":[{"key":"9220_CR1","doi-asserted-by":"crossref","unstructured":"Aleven V, Ashley KD (1995) Doing things with factors. In: Proceedings of the 5th international conference on artificial intelligence and law, ACM, pp 31\u201341","DOI":"10.1145\/222092.222106"},{"key":"9220_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511610585","volume-title":"Analysis of evidence","author":"T Anderson","year":"2005","unstructured":"Anderson T, Schum D, Twining W (2005) Analysis of evidence. Cambridge University Press, Cambridge"},{"issue":"3","key":"9220_CR3","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1093\/analys\/18.3.69","volume":"18","author":"GEM Anscombe","year":"1958","unstructured":"Anscombe GEM (1958) On brute facts. Analysis 18(3):69\u201372","journal-title":"Analysis"},{"key":"9220_CR4","unstructured":"Antoniou G, Dam\u00e1sio CV, Grosof B, Horrocks I, Kifer M, Ma J, et\u00a0al (2005) Combining rules and ontologies: a survey. Deliverables i3-d3, REWERSE http:\/\/rewerse.net\/deliverables\/m12\/i3-d3.pdf . Accessed 1 Dec 2017"},{"key":"9220_CR5","doi-asserted-by":"crossref","unstructured":"Araszkiewicz M (2015) Incorporation of complex doctrinal theories in a model of statutory interpretation: an example of adequate causal link. In: Proceedings of the 15th international conference on artificial intelligence and law, ACM, pp 161\u2013165","DOI":"10.1145\/2746090.2746114"},{"key":"9220_CR6","volume-title":"Modeling legal arguments: reasoning with cases and hypotheticals","author":"KD Ashley","year":"1991","unstructured":"Ashley KD (1991) Modeling legal arguments: reasoning with cases and hypotheticals. MIT Press, London"},{"issue":"2","key":"9220_CR7","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10506-009-9077-9","volume":"17","author":"KD Ashley","year":"2009","unstructured":"Ashley KD, Br\u00fcninghaus S (2009) Automatically classifying case texts and predicting outcomes. Artif Intell Law 17(2):125\u2013165","journal-title":"Artif Intell Law"},{"key":"9220_CR8","unstructured":"Ashley KD, Rissland EL (1987) But, see, accord: generating blue book citations in hypo. In Proceedings of the 1st international conference on artificial intelligence and law, ACM, pp 67\u201374"},{"key":"9220_CR9","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198245537.001.0001","volume-title":"How to do things with words","author":"JL Austin","year":"1975","unstructured":"Austin JL (1975) How to do things with words. Clarendon Press, Oxford"},{"issue":"2","key":"9220_CR10","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s10506-017-9201-1","volume":"25","author":"TJM Bench-Capon","year":"2017","unstructured":"Bench-Capon TJM (2017) Hypo\u2019s legacy: introduction to the virtual special issue. Artif Intell Law 25(2):205\u2013250","journal-title":"Artif Intell Law"},{"key":"9220_CR11","doi-asserted-by":"crossref","unstructured":"Bex F (2015) An integrated theory of causal stories and evidential arguments. In: Proceedings of the 15th international conference on artificial intelligence and law, ACM, pp 13\u201322","DOI":"10.1145\/2746090.2746094"},{"key":"9220_CR12","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-56883-6_3","volume-title":"Narration as argument","author":"F Bex","year":"2017","unstructured":"Bex F, Bench-Capon T (2017) Arguing with stories. In: Olmos P (ed) Narration as argument. Springer, Berlin, pp 31\u201345"},{"issue":"2","key":"9220_CR13","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s10506-010-9092-x","volume":"18","author":"FJ Bex","year":"2010","unstructured":"Bex FJ, Van Koppen PJ, Prakken H, Verheij B (2010) A hybrid formal theory of arguments, stories and criminal evidence. Artif Intell Law 18(2):123\u2013152","journal-title":"Artif Intell Law"},{"key":"9220_CR14","doi-asserted-by":"crossref","unstructured":"Bochman A, Lifschitz V (2015) Pearl\u2019s causality in a logical setting. In: AAAI, pp 1446\u20131452","DOI":"10.1609\/aaai.v29i1.9411"},{"key":"9220_CR15","unstructured":"Bontas EP, Mochol, M, Tolksdorf R (2005) Case studies on ontology reuse. In: Proceedings of the 5th international conference on knowledge management"},{"issue":"6","key":"9220_CR16","doi-asserted-by":"publisher","first-page":"797","DOI":"10.1016\/0020-7373(91)90012-V","volume":"34","author":"LK Branting","year":"1991","unstructured":"Branting LK (1991) Building explanations from rules and structured cases. Int J Man Mach Stud 34(6):797\u2013837","journal-title":"Int J Man Mach Stud"},{"key":"9220_CR17","volume-title":"Legal requirements acquisition for the specification of legally compliant information systems","author":"TD Breaux","year":"2009","unstructured":"Breaux TD (2009) Legal requirements acquisition for the specification of legally compliant information systems. North Carolina State University, Raleigh"},{"key":"9220_CR18","first-page":"11","volume":"3","author":"A Brenk","year":"2014","unstructured":"Brenk A (2014) Elektroniczne post\u0119powanie upominawcze: kilka uwag na temat e-s\u0105du. Krajowa Rada S\u0105downictwa, Kwartalnik 3, p 11","journal-title":"Krajowa Rada S\u0105downictwa, Kwartalnik"},{"key":"9220_CR19","volume-title":"Rule-based expert systems","author":"BG Buchanan","year":"1984","unstructured":"Buchanan BG, Shortliffe EH et al (1984) Rule-based expert systems, vol 3. Addison-Wesley, Reading"},{"key":"9220_CR20","doi-asserted-by":"crossref","unstructured":"Caldarola EG, Picariello A, Rinaldi AM (2015) An approach to ontology integration for ontology reuse in knowledge based digital ecosystems. In: Proceedings of the 7th international conference on management of computational and collective intelligence in digital ecosystems, ACM, pp 1\u20138","DOI":"10.1145\/2857218.2857219"},{"key":"9220_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal logic: an introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas BF (1980) Modal logic: an introduction. Cambridge University Press, Cambridge"},{"key":"9220_CR22","doi-asserted-by":"crossref","unstructured":"Chockler H, Fenton N, Keppens J, Lagnado DA (2015) Causal analysis for attributing responsibility in legal cases. In: Proceedings of the 15th international conference on artificial intelligence and law, ACM, pp 33\u201342","DOI":"10.1145\/2746090.2746102"},{"key":"9220_CR23","doi-asserted-by":"publisher","first-page":"44","DOI":"10.4018\/978-1-59904-045-5.ch003","volume-title":"Semantic web services: theory, tools and applications","author":"O Corcho","year":"2007","unstructured":"Corcho O, Fer\u00e1ndez-L\u00f3pez M, G\u00f3mez-P\u00e9rez A (2007) Ontological engineering: what are ontologies and how can we build them. In: Jorge C (ed) Semantic web services: theory, tools and applications. IGI Global, Hershey, pp 44\u201370"},{"key":"9220_CR24","unstructured":"Cunningham H, Maynard D, Bontcheva K, Tablan V (2002) Gate: an architecture for development of robust HLT applications. In Proceedings of the 40th annual meeting on association for computational linguistics, Association for Computational Linguistics, pp 168\u2013175"},{"key":"9220_CR25","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1007\/978-3-540-74469-6_85","volume-title":"Database and expert systems applications","author":"M d\u2019Aquin","year":"2007","unstructured":"d\u2019Aquin M, Schlicht A, Stuckenschmidt H, Sabou M (2007) Ontology modularization for knowledge selection: experiments and evaluations. In: Wagner R, Revell N, Pernul, G (eds) Database and expert systems applications. Springer, Berlin, pp 874\u2013883"},{"key":"9220_CR26","first-page":"212","volume-title":"Formal linguistics and law","author":"E Maat De","year":"2009","unstructured":"De Maat E, Winkels R, Van Engers T (2009) Making sense of legal texts. In: Grewendorf G, Rathert M (eds) Formal linguistics and law. Walter de Gruyter, Berlin, pp 212\u2013225"},{"issue":"2","key":"9220_CR27","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1080\/13600860120070466","volume":"15","author":"JJ Dijkstra","year":"2001","unstructured":"Dijkstra JJ (2001) Legal knowledge-based systems: the blind leading the sheep? Int Rev Law Comput Technol 15(2):119\u2013128","journal-title":"Int Rev Law Comput Technol"},{"issue":"2","key":"9220_CR28","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321\u2013357","journal-title":"Artif Intell"},{"key":"9220_CR29","first-page":"465","volume":"37","author":"E Durkheim","year":"1894","unstructured":"Durkheim E (1894) Les r\u00e8gles de la m\u00e9thode sociologique. Revue Philosophique de la France et de l\u2019\u00c9tranger 37:465\u2013498","journal-title":"Revue Philosophique de la France et de l\u2019\u00c9tranger"},{"issue":"12\u201313","key":"9220_CR30","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T Eiter","year":"2008","unstructured":"Eiter T, Ianni G, Lukasiewicz T, Schindlauer R, Tompits H (2008) Combining answer set programming with description logics for the semantic web. Artif Intell 172(12\u201313):1495\u20131539","journal-title":"Artif Intell"},{"issue":"3","key":"9220_CR31","doi-asserted-by":"publisher","first-page":"109","DOI":"10.18178\/ijke.2016.2.3.063","volume":"2","author":"M Ghosh El","year":"2016","unstructured":"El Ghosh M, Naja H, Abdulrab H, Khalil M (2016) Towards a middle-out approach for building legal domain reference ontology. Int J Knowl Eng 2(3):109\u2013114","journal-title":"Int J Knowl Eng"},{"key":"9220_CR32","first-page":"473","volume":"2","author":"M Ghosh El","year":"2017","unstructured":"El Ghosh M, Naja H, Abdulrab H, Khalil M (2017) Ontology learning process as a bottom-up strategy for building domain-specific ontology from legal texts. ICAART 2:473\u2013480","journal-title":"ICAART"},{"key":"9220_CR33","doi-asserted-by":"crossref","unstructured":"Elson DK, McKeown KR (2009) A tool for deep semantic encoding of narrative texts. In: Proceedings of the ACL-IJCNLP 2009 software demonstrations. Association for Computational Linguistics, pp 9\u201312","DOI":"10.3115\/1667872.1667875"},{"key":"9220_CR34","first-page":"114","volume":"36","author":"N Fenton","year":"2011","unstructured":"Fenton N, Neil M (2011) Avoiding probabilistic reasoning fallacies in legal practice using bayesian networks. Austl J Leg Phil 36:114","journal-title":"Austl J Leg Phil"},{"key":"9220_CR35","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1146\/annurev-statistics-041715-033428","volume":"3","author":"N Fenton","year":"2016","unstructured":"Fenton N, Neil M, Berger D (2016) Bayes and the law. Ann Rev Stat Appl 3:51\u201377","journal-title":"Ann Rev Stat Appl"},{"issue":"39\/40","key":"9220_CR36","first-page":"269","volume":"10","author":"FB Fitch","year":"1967","unstructured":"Fitch FB (1967) A revision of hohfeld\u2019s theory of legal concepts. Logique et Anal 10(39\/40):269\u2013276","journal-title":"Logique et Anal"},{"key":"9220_CR37","unstructured":"Gandon F (2002) Distributed artificial intelligence and knowledge management: ontologies and multi-agent systems for a corporate semantic web. Ph.D. thesis, Universit\u00e9 Nice Sophia Antipolis"},{"issue":"3","key":"9220_CR38","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V (1991) Classical negation in logic programs and disjunctive databases. New Gener Comput 9(3):365\u2013385","journal-title":"New Gener Comput"},{"key":"9220_CR39","doi-asserted-by":"crossref","unstructured":"Girju R (2003) Automatic detection of causal relations for question answering. In: Proceedings of the ACL 2003 workshop on multilingual summarization and question answering. Association for Computational Linguistics, vol 12, pp 76\u201383","DOI":"10.3115\/1119312.1119322"},{"key":"9220_CR40","unstructured":"G\u00f3ra-B\u0142aszczykowska A (2016) Kodeks post\u0119powania cywilnego. Tom I. Art. 1\u2013729, C.H. Beck, Warszawa"},{"key":"9220_CR41","doi-asserted-by":"crossref","unstructured":"Grosof BN, Horrocks I, Volz R, Decker S (2003) Description logic programs: combining logic programs with description logic. In: Proceedings of the 12th international conference on world wide web, ACM, pp 48\u201357","DOI":"10.1145\/775152.775160"},{"key":"9220_CR42","first-page":"407","volume-title":"Handbook of deontic logic and normative systems","author":"D Grossi","year":"2013","unstructured":"Grossi D, Jones A (2013) Constitutive rules and count as conditionals. In: Gabbay D, Horty J, Parent X, Van Der Meyden R, Van Der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, Los Angeles, pp 407\u2013442"},{"key":"9220_CR43","doi-asserted-by":"crossref","unstructured":"Guerson J, Sales TP, Guizzardi G, Almeida JPA (2015) Ontouml lightweight editor: a model-based environment to build, evaluate and implement reference ontologies. In: 2015 IEEE 19th international enterprise distributed object computing workshop (EDOCW), IEEE, pp 144\u2013147","DOI":"10.1109\/EDOCW.2015.17"},{"key":"9220_CR44","volume-title":"Ontological foundations for structural conceptual models","author":"G Guizzardi","year":"2005","unstructured":"Guizzardi G (2005) Ontological foundations for structural conceptual models. CTIT Centre for Telematics and Information Technology, Enschede"},{"key":"9220_CR45","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-90-481-8847-5_8","volume-title":"Theory and applications of ontology: computer applications","author":"G Guizzardi","year":"2010","unstructured":"Guizzardi G, Wagner G (2010) Using the unified foundational ontology (UFO) as a foundation for general conceptual modeling languages. In: Poli R, Healy M, Kameas A (eds) Theory and applications of ontology: computer applications. Springer, Berlin, pp 175\u2013196"},{"key":"9220_CR47","first-page":"198","volume-title":"Principles of knowledge representation and reasoning","author":"JY Halpern","year":"2008","unstructured":"Halpern JY (2008) Defaults and normality in causal structures. In: Brewka G, Lang J (eds) Principles of knowledge representation and reasoning. AAAI Press, Palo Alto, pp 198\u2013208"},{"key":"9220_CR46","first-page":"383","volume-title":"Heuristics, probability and causality: a tribute to Judea Pearl","author":"J Halpern","year":"2010","unstructured":"Halpern J, Hitchcock C (2010) Actual causation and the art of modelling. In: Dechter R, Geffner H (eds) Heuristics, probability and causality: a tribute to Judea Pearl. College Publications, Los Angeles, pp 383\u2013406"},{"issue":"2","key":"9220_CR48","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1093\/bjps\/axt050","volume":"66","author":"JY Halpern","year":"2014","unstructured":"Halpern JY, Hitchcock C (2014) Graded causation and defaults. Br J Philos Sci 66(2):413\u2013457","journal-title":"Br J Philos Sci"},{"key":"9220_CR49","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198254744.001.0001","volume-title":"Causation in the law","author":"HLA Hart","year":"1985","unstructured":"Hart HLA, Honor\u00e9 T (1985) Causation in the law. OUP, Oxford"},{"key":"9220_CR50","doi-asserted-by":"crossref","unstructured":"Herrestad H, Krogh C (1995) Obligations directed from bearers to counterparts. In: Proceedings of the 5th international conference on artificial intelligence and law, ACM, pp 210\u2013218","DOI":"10.1145\/222092.222243"},{"key":"9220_CR51","volume-title":"Ontology representation: design patterns and ontologies that make sense","author":"R Hoekstra","year":"2000","unstructured":"Hoekstra R (2000) Ontology representation: design patterns and ontologies that make sense. IOS Press, Amsterdam"},{"key":"9220_CR52","unstructured":"Hoekstra R, Breuker J, Di\u00a0Bello M, Boer A, et al (2007) The LKIF core ontology of basic legal concepts. In: Proceedings of the workshop on legal ontologies and artificial intelligence techniques, pp 43\u201363"},{"issue":"8","key":"9220_CR53","doi-asserted-by":"publisher","first-page":"710","DOI":"10.2307\/786270","volume":"26","author":"WN Hohfeld","year":"1917","unstructured":"Hohfeld WN (1917) Fundamental legal conceptions as applied in judicial reasoning. Yale Law J 26(8):710\u2013770","journal-title":"Yale Law J"},{"key":"9220_CR54","volume-title":"The stanford encyclopedia of philosophy","author":"A Honor\u00e9","year":"2010","unstructured":"Honor\u00e9 A (2010) Causation in the law. In: Zalta EN (ed) The stanford encyclopedia of philosophy, winter 2010 edn. Metaphysics Research Lab, Stanford University, Stanford","edition":"winter 2010"},{"key":"9220_CR55","volume-title":"A treatise on human nature","author":"D Hume","year":"1739","unstructured":"Hume D (1739) A treatise on human nature. John Noon, London"},{"key":"9220_CR56","unstructured":"Jod\u0142owski J, Resich Z, Lapierre J, Misiuk-Jod\u0142owska T, Weitz K (2014) Post\u0119powanie cywilne. Wolters Kluwer, Warszawa"},{"issue":"3","key":"9220_CR57","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1093\/jigpal\/4.3.427","volume":"4","author":"AJ Jones","year":"1996","unstructured":"Jones AJ, Sergot M (1996) A formal characterisation of institutionalised power. Logic J IGPL 4(3):427\u2013443","journal-title":"Logic J IGPL"},{"key":"9220_CR58","first-page":"71","volume":"38","author":"S Kanger","year":"1985","unstructured":"Kanger S (1985) On realization of human rights. Acta Philos Fennica 38:71\u201378","journal-title":"Acta Philos Fennica"},{"issue":"2","key":"9220_CR59","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger S, Kanger H (1966) Rights and parliamentarism. Theoria 32(2):85\u2013115","journal-title":"Theoria"},{"key":"9220_CR60","volume-title":"Sztuczna inteligencja i logika. Podsumowanie przedsi\u0229wzi\u0229cia naukowego","author":"A Kisielewicz","year":"2011","unstructured":"Kisielewicz A (2011) Sztuczna inteligencja i logika. Podsumowanie przedsi\u0229wzi\u0229cia naukowego. WNT, Warszawa"},{"key":"9220_CR62","unstructured":"Lang W, Wr\u00f3blewski J, Zawadzki S (1986) Teoria pa\u0144stwa i prawa. Pa\u0144stwowe Wydawnictwo Naukowe, Warszawa"},{"issue":"3","key":"9220_CR63","doi-asserted-by":"publisher","first-page":"3444","DOI":"10.3182\/20140824-6-ZA-1003.02512","volume":"47","author":"C Legat","year":"2014","unstructured":"Legat C, Seitz C, Lamparter S, Feldmann S (2014) Semantics to the shop floor: towards ontology modularization and reuse in the automation domain. IFAC Proc 47(3):3444\u20133449","journal-title":"IFAC Proc"},{"issue":"4","key":"9220_CR64","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s10506-005-4157-y","volume":"12","author":"J Lehmann","year":"2004","unstructured":"Lehmann J, Breuker J, Brouwer B (2004) Causation in AI and law. Artif Intell Law 12(4):279\u2013315","journal-title":"Artif Intell Law"},{"key":"9220_CR65","unstructured":"Leszczy\u0144ski L (2003) Podejmowanie decyzji prawnych: tworzenie i stosowanie prawa. Wy\u017csza Szko\u0142a Zarz\u0105dzania i Administracji, Zamo\u015b\u0107"},{"key":"9220_CR66","series-title":"Studies in logic and the foundations of mathematics","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1016\/S0049-237X(06)80080-7","volume-title":"Logic, methodology and philosophy of science IX, Proceedings of the ninth international congress of logic, methodology and philosophy of science","author":"L Lindahl","year":"1995","unstructured":"Lindahl L (1995) Stig Kanger\u2019s theory of rights. In: Prawitz D, Skyrms B, Westerst\u00e5hl D (eds) Logic, methodology and philosophy of science IX, Proceedings of the ninth international congress of logic, methodology and philosophy of science. Studies in logic and the foundations of mathematics, vol 134. Elsevier, Amsterdam, pp 889\u2013911"},{"issue":"4","key":"9220_CR67","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson D (1986) On the formal representation of rights relations. J Philos Logic 15(4):403\u2013425","journal-title":"J Philos Logic"},{"key":"9220_CR68","doi-asserted-by":"crossref","unstructured":"Markovich R (2015) No match-making but biconditionals: agents and the role of the state in legal relations. In: JURIX, pp 161\u2013164","DOI":"10.3233\/978-1-61499-609-5-161"},{"key":"9220_CR69","unstructured":"Markovich R (2016) Agents, roles, and rights. a formal analysis on the hohfeldian conceptions. In: AiML\u20192016 short presentations, pp 161\u2013164"},{"key":"9220_CR70","doi-asserted-by":"publisher","first-page":"837","DOI":"10.2307\/1340132","volume":"90","author":"LT McCarty","year":"1976","unstructured":"McCarty LT (1976) Reflections on TAXMAN: an experiment in artificial intelligence and legal reasoning. Harv Law Rev 90:837","journal-title":"Harvard Law Rev"},{"key":"9220_CR71","volume-title":"Commonsense reasoning: an event calculus based approach","author":"ET Mueller","year":"2014","unstructured":"Mueller ET (2014) Commonsense reasoning: an event calculus based approach. Morgan Kaufmann, Burlington"},{"key":"9220_CR72","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality","author":"J Pearl","year":"2009","unstructured":"Pearl J (2009) Causality. Cambridge University Press, Cambridge"},{"issue":"1","key":"9220_CR73","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0010-0277(93)90038-W","volume":"49","author":"N Pennington","year":"1993","unstructured":"Pennington N, Hastie R (1993) Reasoning in explanation-based decision making. Cognition 49(1):123\u2013163","journal-title":"Cognition"},{"key":"9220_CR74","unstructured":"Piasecki K (2016) Kodeks post\u0119powania cywilnego. Tom I. Komentarz do art. 1\u2013366. C.H. Beck, Warszawa"},{"key":"9220_CR75","volume-title":"The stuff of thought: language as a window into human nature","author":"S Pinker","year":"2007","unstructured":"Pinker S (2007) The stuff of thought: language as a window into human nature. Penguin, Westminster"},{"issue":"4","key":"9220_CR76","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1207\/s15516709cog1104_4","volume":"11","author":"JL Pollock","year":"1987","unstructured":"Pollock JL (1987) Defeasible reasoning. Cogn Sci 11(4):481\u2013518","journal-title":"Cogn Sci"},{"key":"9220_CR77","doi-asserted-by":"crossref","unstructured":"Prakken H (1993) A logical framework for modelling legal argument. In: Proceedings of the 4th international conference on artificial intelligence and law, ACM, pp 1\u20139","DOI":"10.1145\/158976.158977"},{"issue":"4","key":"9220_CR78","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s10506-008-9069-1","volume":"16","author":"H Prakken","year":"2008","unstructured":"Prakken H (2008) Formalising ordinary legal disputes: a case study. Artif Intell Law 16(4):333\u2013359","journal-title":"Artif Intell Law"},{"issue":"1","key":"9220_CR79","doi-asserted-by":"publisher","first-page":"3","DOI":"10.2307\/2182230","volume":"64","author":"J Rawls","year":"1955","unstructured":"Rawls J (1955) Two concepts of rules. Philos Rev 64(1):3\u201332","journal-title":"Philos Rev"},{"issue":"04","key":"9220_CR80","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1142\/S0218213004001922","volume":"13","author":"C Reed","year":"2004","unstructured":"Reed C, Rowe G (2004) Araucaria: software for argument analysis, diagramming and representation. Int J Artif Intell Tools 13(04):961\u2013979","journal-title":"Int J Artif Intell Tools"},{"issue":"1","key":"9220_CR81","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00123994","volume":"4","author":"EL Rissland","year":"1996","unstructured":"Rissland EL, Skalak DB, Friedman MT (1996) Bankxx: supporting legal arguments through heuristic retrieval. Artif Intell Law 4(1):1\u201371","journal-title":"Artif Intell Law"},{"key":"9220_CR82","unstructured":"Rosa DE, Carbonera JL, Torres GM, Abel M (2012) Using events from UFO-B in an ontology collaborative construction environment. In: ONTOBRAS-MOST, pp 278\u2013283"},{"key":"9220_CR83","unstructured":"Rosati R (2006) Dl+log: tight integration of description logics and disjunctive datalog. In: Proceedings of the tenth international conference on principles of knowledge representation and reasoning (KR 2006), pp 68\u201378"},{"key":"9220_CR84","doi-asserted-by":"publisher","first-page":"812","DOI":"10.2307\/1337744","volume":"70","author":"A Ross","year":"1957","unstructured":"Ross A (1957) T\u00fb-t\u00fb. Harv Law Rev 70:812\u2013825","journal-title":"Harv Law Rev"},{"key":"9220_CR85","volume-title":"Artificial intelligence: a modern approach","author":"S Russell","year":"2014","unstructured":"Russell S, Norvig P (2014) Artificial intelligence: a modern approach. Prentice Hall, Upper Saddle River"},{"key":"9220_CR86","volume-title":"The problems of philosophy","author":"B Russell","year":"1912","unstructured":"Russell B (1912) The problems of philosophy. Williams and Norgate, London"},{"issue":"1","key":"9220_CR87","first-page":"101","volume":"14","author":"G Sartor","year":"2006","unstructured":"Sartor G (2006) Fundamental legal concepts: a formal and teleological characterisation. Artif Intell Law 14(1):101\u2013142","journal-title":"Artif Intell Law"},{"key":"9220_CR88","volume-title":"The construction of social reality","author":"JR Searle","year":"1995","unstructured":"Searle JR (1995) The construction of social reality. Simon and Schuster, New York"},{"key":"9220_CR89","volume-title":"The Stanford encyclopedia of philosophy","author":"K Segerberg","year":"2016","unstructured":"Segerberg K, Meyer J-J, Kracht M (2016) The logic of action. In: Zalta EN (ed) The Stanford encyclopedia of philosophy, winter 2016 edn. Metaphysics Research Lab, Stanford University, Stanford","edition":"winter 2016"},{"key":"9220_CR90","first-page":"353","volume-title":"Handbook of deontic logic and normative systems","author":"M Sergot","year":"2013","unstructured":"Sergot M (2013) Normative positions. In: Gabbay D, Horty J, Parent X, Van Der Meyden R, Van Der Torre L (eds) Handbook of deontic logic and normative systems. College Publications, London, pp 353\u2013406"},{"issue":"5","key":"9220_CR91","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"MJ Sergot","year":"1986","unstructured":"Sergot MJ, Sadri F, Kowalski RA, Kriwaczek F, Hammond P, Cory HT (1986) The british nationality act as a logic program. Commun ACM 29(5):370\u2013386","journal-title":"Commun ACM"},{"issue":"5","key":"9220_CR92","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"C Shannon","year":"1948","unstructured":"Shannon C (1948) A mathematical theory of communication. Bell Syst Tech J 27(5):379\u2013423","journal-title":"Bell Syst Tech J"},{"key":"9220_CR93","unstructured":"Sileno G, Boer A, Van Engers T (2017) A Petri net-based notation for normative modeling: evaluation on deontic paradoxes. In: Mirel workshop, co-located with ICAIL 2017"},{"issue":"1","key":"9220_CR94","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"DB Skalak","year":"1992","unstructured":"Skalak DB, Rissland EL (1992) Arguments and cases: an inevitable intertwining. Artif Intell Law 1(1):3\u201344","journal-title":"Artif Intell Law"},{"issue":"4","key":"9220_CR95","doi-asserted-by":"publisher","first-page":"265","DOI":"10.2307\/1192298","volume":"64","author":"LM Solan","year":"2001","unstructured":"Solan LM, Darley JM (2001) Causation, contribution, and legal liability: an empirical study. Law Contemp Probl 64(4):265\u2013298","journal-title":"Law Contemp Probl"},{"issue":"1","key":"9220_CR96","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1207\/s15516709cog1201_2","volume":"12","author":"L Talmy","year":"1988","unstructured":"Talmy L (1988) Force dynamics in language and cognition. Cogn Sci 12(1):49\u2013100","journal-title":"Cogn Sci"},{"key":"9220_CR97","volume-title":"The Oxford handbook of language and law","author":"PM Tiersma","year":"2012","unstructured":"Tiersma PM, Solan L (2012) The Oxford handbook of language and law. Oxford University Press, Oxford"},{"key":"9220_CR98","unstructured":"Timmer S, Prakken H, Meyer J-JC, Renooij S, Verheij B (2014) Extracting legal arguments from forensic Bayesian networks. In: JURIX 2014: the twenty-seventh annual conference legal knowledge and information systems. IOS Press, vol 271, pp 71\u201380"},{"key":"9220_CR99","volume-title":"The uses of argument","author":"S Toulmin","year":"1958","unstructured":"Toulmin S (1958) The uses of argument. Cambridge University Press, Cambridge"},{"key":"9220_CR100","volume-title":"Legal knowledge engineering","author":"A Valente","year":"1995","unstructured":"Valente A (1995) Legal knowledge engineering. IOS Press, Amsterdam"},{"key":"9220_CR101","first-page":"73","volume":"1","author":"R Doesburg Van","year":"2016","unstructured":"Van Doesburg R, Van Der Storm T, Van Engers T (2016a) Calculemus: towards a formal language for the interpretation of normative systems. AI4J Artif Intell Justice 1:73","journal-title":"AI4J Artif Intell Justice"},{"key":"9220_CR123","unstructured":"Van Doesburg R, et al (2016b) Towards a method for a formal analysis of law, study case report. In: ICT with industry workshop 2015, NWO. https:\/\/www.nwo.nl\/over-nwo\/organisatie\/nwo-onderdelen\/ew\/bijeenkomsten\/ict+with+industry+workshop\/proceedings . Accessed 01 June 2017"},{"key":"9220_CR102","doi-asserted-by":"crossref","unstructured":"Van Doesburg R, Van Engers T (2017) Arguments on the correct interpretation of sources of law. In: Proceedings of AICOL (In Press)","DOI":"10.1007\/978-3-030-00178-0_33"},{"key":"9220_CR103","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-9473-5","volume-title":"Handbook of argumentation theory","author":"FH Eemeren Van","year":"2014","unstructured":"Van Eemeren FH, Garssen B, Krabbe EC, Henkemans AFS, Verheij B, Wagemans JH (2014) Handbook of argumentation theory. Springer, Berlin"},{"issue":"1","key":"9220_CR104","doi-asserted-by":"publisher","first-page":"99","DOI":"10.29379\/jedem.v3i1.51","volume":"3","author":"T Engers Van","year":"2011","unstructured":"Van Engers T, Boer A (2011) Public agility and change in a network environment. JeDEM-eJ eDemocr Open Gov 3(1):99\u2013117","journal-title":"JeDEM-eJ eDemocr Open Gov"},{"key":"9220_CR105","unstructured":"Van Engers T, Van Doesburg R (2016) Modeling the interpretation of sources of norms. In: Proceedings of eKNOW, pp 41\u201350"},{"key":"9220_CR106","unstructured":"Van\u00a0Engers TM, Kordelaar PJ,\u00a0Den Hartog J, Glass\u00e9e E (2000) Power: programme for an ontology based working environment for modeling and use of regulations and legislation. In: Proceedings of 11th international workshop on database and expert systems applications, IEEE, pp 327\u2013334"},{"key":"9220_CR61","volume-title":"Frame-based conceptual models of statute law","author":"RW Kralingen Van","year":"1995","unstructured":"Van Kralingen RW (1995) Frame-based conceptual models of statute law. Kluwer Law International, Alphen aan den Rijn"},{"issue":"6","key":"9220_CR107","doi-asserted-by":"publisher","first-page":"1127","DOI":"10.1006\/ijhc.1999.0300","volume":"51","author":"RW Kralingen Van","year":"1999","unstructured":"Van Kralingen RW, Visser PR, Bench-Capon TJ, Van Den Herik HJ (1999) A principled approach to developing legal knowledge systems. Int J Hum Comput Stud 51(6):1127\u20131154","journal-title":"Int J Hum Comput Stud"},{"issue":"2","key":"9220_CR108","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1023\/B:ARTI.0000046008.49443.36","volume":"11","author":"B Verheij","year":"2003","unstructured":"Verheij B (2003) Dialectical argumentation with argumentation schemes: an approach to legal logic. Artif Intell Law 11(2):167\u2013195","journal-title":"Artif Intell Law"},{"issue":"1","key":"9220_CR109","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1093\/lpr\/mgv013","volume":"15","author":"B Verheij","year":"2015","unstructured":"Verheij B, Bex F, Timmer ST, Vlek CS, Meyer J-JC, Renooij S, Prakken H (2015) Arguments, scenarios and probabilities: connections between three normative frameworks for evidential reasoning. Law Prob Risk 15(1):35\u201370","journal-title":"Law Prob Risk"},{"key":"9220_CR110","volume-title":"Knowledge specification for multiple legal tasks: a case study of the interaction problem in the legal domain","author":"PR Visser","year":"1995","unstructured":"Visser PR (1995) Knowledge specification for multiple legal tasks: a case study of the interaction problem in the legal domain. Kluwer Law International, Alphen aan den Rijn"},{"issue":"4","key":"9220_CR111","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s10506-014-9161-7","volume":"22","author":"CS Vlek","year":"2014","unstructured":"Vlek CS, Prakken H, Renooij S, Verheij B (2014) Building bayesian networks for legal evidence with narratives: a case study evaluation. Artif Intell Law 22(4):375\u2013421","journal-title":"Artif Intell Law"},{"key":"9220_CR112","volume-title":"Norm and action: a logical enquiry","author":"GH Wright Von","year":"1963","unstructured":"Von Wright GH (1963) Norm and action: a logical enquiry. Routledge and Kegan Paul, Abingdon"},{"key":"9220_CR113","volume-title":"Argumentation methods for artificial intelligence in law","author":"D Walton","year":"2005","unstructured":"Walton D (2005) Argumentation methods for artificial intelligence in law. Springer, Berlin"},{"issue":"1","key":"9220_CR114","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/s10506-016-9179-0","volume":"24","author":"D Walton","year":"2016","unstructured":"Walton D, Sartor G, Macagno F (2016) An argumentation framework for contested cases of statutory interpretation. Artif Intell Law 24(1):51\u201391","journal-title":"Artif Intell Law"},{"issue":"1","key":"9220_CR115","doi-asserted-by":"publisher","first-page":"183","DOI":"10.5840\/philtopics199018122","volume":"18","author":"C Wellman","year":"1990","unstructured":"Wellman C (1990) Relative duties in the law. Philos Top 18(1):183\u2013202","journal-title":"Philos Top"},{"issue":"3","key":"9220_CR116","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1111\/j.1088-4963.2005.00032.x","volume":"33","author":"L Wenar","year":"2005","unstructured":"Wenar L (2005) The nature of rights. Philos Public Affairs 33(3):223\u2013252","journal-title":"Philos Public Affairs"},{"key":"9220_CR117","volume-title":"The science of judicial proof, as given by logic, psychology, and general experience, and illustrated in judicial trials","author":"JH Wigmore","year":"1937","unstructured":"Wigmore JH (1937) The science of judicial proof, as given by logic, psychology, and general experience, and illustrated in judicial trials. Little Brown, and Co., Boston"},{"issue":"6","key":"9220_CR118","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.2307\/3480373","volume":"73","author":"RW Wright","year":"1985","unstructured":"Wright RW (1985) Causation in tort law. Calif Law Rev 73(6):1735\u20131828","journal-title":"Calif Law Rev"},{"key":"9220_CR119","unstructured":"Wright RW (2011) The NESS account of natural causation: a response to criticisms. http:\/\/scholarship.kentlaw.iit.edu\/fac_school\/716 . Accessed 1 May 2017"},{"issue":"1","key":"9220_CR120","doi-asserted-by":"crossref","first-page":"69","DOI":"10.3233\/AAC-160002","volume":"7","author":"A Wyner","year":"2016","unstructured":"Wyner A, Van Engers T, Hunter A (2016) Working on the argument pipeline: through flow issues between natural language argument, instantiated arguments, and argumentation frameworks. Argum Comput 7(1):69\u201389","journal-title":"Argum Comput"},{"key":"9220_CR121","unstructured":"Zieli\u0144ski A (2017) Kodeks post\u0119powania cywilnego. Komentarz, C.H. Beck, Warszawa"},{"key":"9220_CR122","unstructured":"Ziembi\u0144ski Z (1978) Teoria prawa, Pozna\u0144 \u2013 Warszawa"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-018-9220-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9220-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-018-9220-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T00:26:13Z","timestamp":1751415973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-018-9220-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,2,24]]},"references-count":123,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["9220"],"URL":"https:\/\/doi.org\/10.1007\/s10506-018-9220-6","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"type":"print","value":"0924-8463"},{"type":"electronic","value":"1572-8382"}],"subject":[],"published":{"date-parts":[[2018,2,24]]},"assertion":[{"value":"24 February 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}