Skip to main content
Top
Published in: AI & SOCIETY 3/2017

14-10-2015 | Open Forum

Digital technologies and artificial intelligence’s present and foreseeable impact on lawyering, judging, policing and law enforcement

Published in: AI & SOCIETY | Issue 3/2017

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

‘AI & Law’ research has been around since the 1970s, even though with shifting emphasis. This is an overview of the contributions of digital technologies, both artificial intelligence and non-AI smart tools, to both the legal professions and the police. For example, we briefly consider text mining and case-automated summarization, tools supporting argumentation, tools concerning sentencing based on the technique of case-based reasoning, the role of abductive reasoning, research into applying AI to legal evidence, tools for fighting crime and tools for identification.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literature
go back to reference Agrawal R, Srikant R (1994) Fast algorithms for mining association rules. In: Proceedings of the 20th international conference on very large data bases (VLDB’94), Santiago, Chile, pp 487–99 Agrawal R, Srikant R (1994) Fast algorithms for mining association rules. In: Proceedings of the 20th international conference on very large data bases (VLDB’94), Santiago, Chile, pp 487–99
go back to reference Akin L (2012) Effects of velocity on blood drops and blood spatter, in Nissan (2012), Sec. 8.8.5 Akin L (2012) Effects of velocity on blood drops and blood spatter, in Nissan (2012), Sec. 8.8.5
go back to reference Aleven V, Ashley KD (1997) Evaluating a learning environment for case-based argumentation skills. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 170–179 Aleven V, Ashley KD (1997) Evaluating a learning environment for case-based argumentation skills. In: Proceedings of the sixth international conference on artificial intelligence and law. ACM Press, New York, pp 170–179
go back to reference Alheit K (1989) Expert systems in law: issues of liability, in Martino (1989), vol 2, pp 43–52 Alheit K (1989) Expert systems in law: issues of liability, in Martino (1989), vol 2, pp 43–52
go back to reference Allen RJ (1991) The nature of juridical proof. Cardozo Law Review 13:373–422 Allen RJ (1991) The nature of juridical proof. Cardozo Law Review 13:373–422
go back to reference Allen RJ (1994) Factual ambiguity and a theory of evidence. Northeastern University Law Review 88:604–640 Allen RJ (1994) Factual ambiguity and a theory of evidence. Northeastern University Law Review 88:604–640
go back to reference Allen RJ (2008b) Juridical proof and the best explanation. Law & Philosophy 27:223–268CrossRef Allen RJ (2008b) Juridical proof and the best explanation. Law & Philosophy 27:223–268CrossRef
go back to reference Allen RJ, Pardo MS (2007) The problematic value of mathematical models of evidence. Journal of Legal Studies 36:107–140CrossRef Allen RJ, Pardo MS (2007) The problematic value of mathematical models of evidence. Journal of Legal Studies 36:107–140CrossRef
go back to reference Allen RJ, Pardo MS (2008) Juridical proof and the best explanation. Law & Philosophy 27:223–268CrossRef Allen RJ, Pardo MS (2008) Juridical proof and the best explanation. Law & Philosophy 27:223–268CrossRef
go back to reference Allen R, Redmayne M (eds) (1997) In: Bayesianism and juridical proof, special issue of the International Journal of Evidence and Proof, 1 (Blackstone, London), pp 253–360 Allen R, Redmayne M (eds) (1997) In: Bayesianism and juridical proof, special issue of the International Journal of Evidence and Proof, 1 (Blackstone, London), pp 253–360
go back to reference Anderson T, Schum D, Twining W (2005) Analysis of evidence: how to do things with facts. Based on Wigmore’s science of judicial proof. Cambridge University Press, Cambridge, UKCrossRef Anderson T, Schum D, Twining W (2005) Analysis of evidence: how to do things with facts. Based on Wigmore’s science of judicial proof. Cambridge University Press, Cambridge, UKCrossRef
go back to reference Åqvist L (1984) Deontic logic. In: Gabbay D, Guenthner F (eds) Handbook of Philosphical Logic, Extensions of classical logic, vol 2. Reidel (Kluwer, now Springer), Dordrecht, pp 605–714 Åqvist L (1984) Deontic logic. In: Gabbay D, Guenthner F (eds) Handbook of Philosphical Logic, Extensions of classical logic, vol 2. Reidel (Kluwer, now Springer), Dordrecht, pp 605–714
go back to reference Åqvist L (1986) Introduction to Deontic Logic and the Theory of Normative Systems (Indices. Monographs in Philosophical Logic and Formal Linguistics, 4). Bibliopolis, Naples, Italy Åqvist L (1986) Introduction to Deontic Logic and the Theory of Normative Systems (Indices. Monographs in Philosophical Logic and Formal Linguistics, 4). Bibliopolis, Naples, Italy
go back to reference Åqvist L (1992) Towards a logical theory of legal evidence: Semantic analysis of the Bolding–Ekelöf degrees of evidential strength. In: Martino AA (ed) Expert systems in law. North-Holland, Amsterdam, pp 67–86 Åqvist L (1992) Towards a logical theory of legal evidence: Semantic analysis of the Bolding–Ekelöf degrees of evidential strength. In: Martino AA (ed) Expert systems in law. North-Holland, Amsterdam, pp 67–86
go back to reference Aron J (2012) CSI: augmented reality could help solve murders. In: New Scientist (UK edition), vol 213(2849), London, 28 Jan 2012, p 23 Aron J (2012) CSI: augmented reality could help solve murders. In: New Scientist (UK edition), vol 213(2849), London, 28 Jan 2012, p 23
go back to reference Asaro C (2012) Ingegneria della conoscenza giuridica applicata al diritto penale. Aracne, Rome Asaro C (2012) Ingegneria della conoscenza giuridica applicata al diritto penale. Aracne, Rome
go back to reference Asaro C, Nissan E, Martino AA (2012) Daedalus, a procedural-support tool for the italian examining magistrate and prosecutor, in Nissan (2012), Sec. 4.1.3 Asaro C, Nissan E, Martino AA (2012) Daedalus, a procedural-support tool for the italian examining magistrate and prosecutor, in Nissan (2012), Sec. 4.1.3
go back to reference Ashley K (1991) Modeling legal argument: reasoning with cases and Hypotheticals. The MIT Press (Bradford Books), Cambridge, MA Ashley K (1991) Modeling legal argument: reasoning with cases and Hypotheticals. The MIT Press (Bradford Books), Cambridge, MA
go back to reference Baber C (2010) Distributed cognition at the crime scene. AI & Society 25:423–432CrossRef Baber C (2010) Distributed cognition at the crime scene. AI & Society 25:423–432CrossRef
go back to reference Badiru AB, Karasz JM, Holloway RT (1988) Arest: [sic] armed robbery eidetic suspect typing expert system. Journal of Police Science and Administration 16(3):210–216 Badiru AB, Karasz JM, Holloway RT (1988) Arest: [sic] armed robbery eidetic suspect typing expert system. Journal of Police Science and Administration 16(3):210–216
go back to reference Bain WM (1986) Case-based reasoning: a computer model of subjective assessment, Ph.D. thesis. Computer Science Department, Yale University, New Haven, CT Bain WM (1986) Case-based reasoning: a computer model of subjective assessment, Ph.D. thesis. Computer Science Department, Yale University, New Haven, CT
go back to reference Bain WM (1989a) Judge. In: Riesbeck CK, Schank RC (eds) Inside case-based reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ, pp 93–140 Bain WM (1989a) Judge. In: Riesbeck CK, Schank RC (eds) Inside case-based reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ, pp 93–140
go back to reference Bain WM (1989b) Microjudge. In: Riesbeck CK, Schank RC (eds) Inside case-based reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ, pp 141–163 Bain WM (1989b) Microjudge. In: Riesbeck CK, Schank RC (eds) Inside case-based reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ, pp 141–163
go back to reference Ball WJ (1994) Using Virgil to analyse public policy arguments: a system based on Toulmin’s informal logic. Social Science Computer Review 12(1):26–37CrossRef Ball WJ (1994) Using Virgil to analyse public policy arguments: a system based on Toulmin’s informal logic. Social Science Computer Review 12(1):26–37CrossRef
go back to reference Barnden JA (2001) Uncertain reasoning about agents’ beliefs and reasoning. Artificial Intelligence and Law 9(2/3):115–152CrossRef Barnden JA (2001) Uncertain reasoning about agents’ beliefs and reasoning. Artificial Intelligence and Law 9(2/3):115–152CrossRef
go back to reference Basta S, Giannotti F, Manco G, Pedreschi D, Spisanti L (2009) SNIPER: a data mining methodology for fiscal fraud detection. In: Mathematics for Finance and Economy, special issue of ERCIM News, 78 (July), pp 27–28 Basta S, Giannotti F, Manco G, Pedreschi D, Spisanti L (2009) SNIPER: a data mining methodology for fiscal fraud detection. In: Mathematics for Finance and Economy, special issue of ERCIM News, 78 (July), pp 27–28
go back to reference Bayse WA, Morris CG (1987) FBI automation strategy: development of AI applications for national investigative programs, Signal Magazine, May Bayse WA, Morris CG (1987) FBI automation strategy: development of AI applications for national investigative programs, Signal Magazine, May
go back to reference Bench-Capon TJM (1998) Specification and implementation of Toulmin dialogue game. In: Hage JC, Bench-Capon T, Koers A, de Vey Mestdagh C, Grutters C (eds) Jurix 1998: foundation for legal knowledge based systems. Gerard Noodt Institut, Nijmegen, Netherlands, pp 5–20 Bench-Capon TJM (1998) Specification and implementation of Toulmin dialogue game. In: Hage JC, Bench-Capon T, Koers A, de Vey Mestdagh C, Grutters C (eds) Jurix 1998: foundation for legal knowledge based systems. Gerard Noodt Institut, Nijmegen, Netherlands, pp 5–20
go back to reference Bex FJ (2011) Arguments, stories and criminal evidence: a formal hybrid theory (law and philosophy series, 92). Springer, DordrechtCrossRef Bex FJ (2011) Arguments, stories and criminal evidence: a formal hybrid theory (law and philosophy series, 92). Springer, DordrechtCrossRef
go back to reference Blackman SJ (1988) Expert systems in case-based law: the rule against hearsay. LL.M. thesis, Faculty of Law, University of British Columbia, Vancouver, Canada Blackman SJ (1988) Expert systems in case-based law: the rule against hearsay. LL.M. thesis, Faculty of Law, University of British Columbia, Vancouver, Canada
go back to reference Boba R (2005) Crime Analysis and crime mapping. Sage, Thousand Oaks, CA Boba R (2005) Crime Analysis and crime mapping. Sage, Thousand Oaks, CA
go back to reference Bolding PO (1960) Aspects of the burden of proof, Scandinavian Studies in Law (Faculty of Law, Stockholm University), 4, pp 9–28 Bolding PO (1960) Aspects of the burden of proof, Scandinavian Studies in Law (Faculty of Law, Stockholm University), 4, pp 9–28
go back to reference Bromby M (2010) Identification, trust and privacy: how biometrics can aid certification of digital signatures. International Review of Law, Computers and Technology 24(1):1–9CrossRef Bromby M (2010) Identification, trust and privacy: how biometrics can aid certification of digital signatures. International Review of Law, Computers and Technology 24(1):1–9CrossRef
go back to reference Bromby MC, Hall MJJ (2002) The development and rapid evaluation of the knowledge model of ADVOKATE: an advisory system to assess the credibility of eyewitness testimony. In: Bench-Capon T, Daskalopulu A, Winkels R (eds) Legal Knowledge and Information Systems, JURIX 2002: the fifteenth annual conference. IOS Publications, Amsterdam, pp 143–152 Bromby MC, Hall MJJ (2002) The development and rapid evaluation of the knowledge model of ADVOKATE: an advisory system to assess the credibility of eyewitness testimony. In: Bench-Capon T, Daskalopulu A, Winkels R (eds) Legal Knowledge and Information Systems, JURIX 2002: the fifteenth annual conference. IOS Publications, Amsterdam, pp 143–152
go back to reference Bromby M, MacMillan M, McKellar P (2003) A common-KADS representation for a knowledge based system to evaluate eyewitness identification. International Review of Law Computers and Technology 17(1):99–108CrossRef Bromby M, MacMillan M, McKellar P (2003) A common-KADS representation for a knowledge based system to evaluate eyewitness identification. International Review of Law Computers and Technology 17(1):99–108CrossRef
go back to reference Bromby M, MacMillan M, McKellar P (2007) An examination of criminal jury directions in relation to eyewitness identification in commonwealth jurisdictions. Common Law World Review 36(4):303–336CrossRef Bromby M, MacMillan M, McKellar P (2007) An examination of criminal jury directions in relation to eyewitness identification in commonwealth jurisdictions. Common Law World Review 36(4):303–336CrossRef
go back to reference Carr CS (2003) Using computer supported argument visualization to teach legal argumentation. In: Kirschner PA, Buckingham Shum SJ, Carr CS (eds) Visualizing argumentation: software tools for collaborative and educational sense-making. Springer, London, pp 75–96CrossRef Carr CS (2003) Using computer supported argument visualization to teach legal argumentation. In: Kirschner PA, Buckingham Shum SJ, Carr CS (eds) Visualizing argumentation: software tools for collaborative and educational sense-making. Springer, London, pp 75–96CrossRef
go back to reference Chan H, Lee R, Dillon T, Chang E (2001) E-commerce: fundamentals and applications. Wiley, Chichester, UK Chan H, Lee R, Dillon T, Chang E (2001) E-commerce: fundamentals and applications. Wiley, Chichester, UK
go back to reference Chau DH, Pandit S, Faloutsos C (2006) Detecting fraudulent personalities in networks of online auctioneers. In: Proceedings of the European conference on machine learning (ECM) and Principles and practice of knowledge discovery in databases (PKDD) 2006. Berlin, 18–22 Sept 2006, pp 103–114 Chau DH, Pandit S, Faloutsos C (2006) Detecting fraudulent personalities in networks of online auctioneers. In: Proceedings of the European conference on machine learning (ECM) and Principles and practice of knowledge discovery in databases (PKDD) 2006. Berlin, 18–22 Sept 2006, pp 103–114
go back to reference Chen H, Chung W, Xu JJ, Wang G, Qin Y, Chau M (2004) Crime data mining. IEEE Computer 37(4):50–56CrossRef Chen H, Chung W, Xu JJ, Wang G, Qin Y, Chau M (2004) Crime data mining. IEEE Computer 37(4):50–56CrossRef
go back to reference Choueka Y (1989) Responsa, a full-text retrieval system with linguistic processing for a 65 million-word corpus of Jewish heritage in Hebrew. In: Special issue on non-english interfaces to databases, data engineering (IEEE Computer Society), 12(4), pp 22–31 Choueka Y (1989) Responsa, a full-text retrieval system with linguistic processing for a 65 million-word corpus of Jewish heritage in Hebrew. In: Special issue on non-english interfaces to databases, data engineering (IEEE Computer Society), 12(4), pp 22–31
go back to reference Choueka Y, Cohen M, Dueck J, Fraenkel AS, Slae M (1971) Full-text document retrieval: Hebrew legal texts (report on the first phase of the Responsa Retrieval Project). In: Minker M, Rosenfeld S (eds) Proceedings of the ACM symposium on information storage and retrieval (Maryland, 1971). Association for Computing Machinery, New York, pp 61–79 Choueka Y, Cohen M, Dueck J, Fraenkel AS, Slae M (1971) Full-text document retrieval: Hebrew legal texts (report on the first phase of the Responsa Retrieval Project). In: Minker M, Rosenfeld S (eds) Proceedings of the ACM symposium on information storage and retrieval (Maryland, 1971). Association for Computing Machinery, New York, pp 61–79
go back to reference Choueka, Y., Cohen, M., Dueck, J., Fraenkel, A.S., and Slae, M. (1972), Full-text law retrieval: the responsa project (working papers on legal information processing series, 3), J. Schweitzer Verlag, Berlin, p 64 (a solicited expanded form of the preceding paper) Choueka, Y., Cohen, M., Dueck, J., Fraenkel, A.S., and Slae, M. (1972), Full-text law retrieval: the responsa project (working papers on legal information processing series, 3), J. Schweitzer Verlag, Berlin, p 64 (a solicited expanded form of the preceding paper)
go back to reference Choueka Y, Slae M, Schreiber A (1980) The responsa project: computerization of traditional Jewish law, Ch. 18. In: Erez B (ed) Legal and legislative information processing. Greenwood Press, New York, pp 261–286 Choueka Y, Slae M, Schreiber A (1980) The responsa project: computerization of traditional Jewish law, Ch. 18. In: Erez B (ed) Legal and legislative information processing. Greenwood Press, New York, pp 261–286
go back to reference Ciampolini A, Torroni P (2004) Using abductive logic agents for modelling judicial evaluation of criminal evidence. Applied Artificial Intelligence 18(3/4):251–275CrossRef Ciampolini A, Torroni P (2004) Using abductive logic agents for modelling judicial evaluation of criminal evidence. Applied Artificial Intelligence 18(3/4):251–275CrossRef
go back to reference Coady WF (1985) Automated link analysis: artificial intelligence-based tool for investigators. Police Chief 52(9):22–23 Coady WF (1985) Automated link analysis: artificial intelligence-based tool for investigators. Police Chief 52(9):22–23
go back to reference Combrink-Kuiters CJM, De Mulder RV, van Noortwijk C (2000) Jurimetrical research on judicial decision-making: a review, at Intelligent decision support for legal practice (IDS 2000). In: Proceedings of the international ICSC congress “Intelligent systems and applications” (ISA 2000), Wollongong, New South Wales, Australia, December 2000. Wetaskiwin, ICSC Academic Press, Alberta, Canada, 2000, Vol. 1, pp 109–117 Combrink-Kuiters CJM, De Mulder RV, van Noortwijk C (2000) Jurimetrical research on judicial decision-making: a review, at Intelligent decision support for legal practice (IDS 2000). In: Proceedings of the international ICSC congress “Intelligent systems and applications” (ISA 2000), Wollongong, New South Wales, Australia, December 2000. Wetaskiwin, ICSC Academic Press, Alberta, Canada, 2000, Vol. 1, pp 109–117
go back to reference Console L, Torasso P (1991) A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7(3):133–141CrossRef Console L, Torasso P (1991) A spectrum of logical definitions of model-based diagnosis. Computational Intelligence 7(3):133–141CrossRef
go back to reference Daniels JJ, Rissland EL (1997) Finding legally relevant passages in case opinions. In: Proceedings of the sixth international conference on artificial intelligence and law. Melbourne, Australia. ACM Press, New York, pp 39–46 Daniels JJ, Rissland EL (1997) Finding legally relevant passages in case opinions. In: Proceedings of the sixth international conference on artificial intelligence and law. Melbourne, Australia. ACM Press, New York, pp 39–46
go back to reference de Kleer J (1986) An assumption-based TMS. Artificial Intelligence 28:127–162CrossRef de Kleer J (1986) An assumption-based TMS. Artificial Intelligence 28:127–162CrossRef
go back to reference de Kleer J (1988) A general labeling algorithm for assumption-based truth maintenance. In: Proceedings of the 7th national conference on artificial intelligence, pp 188–192 de Kleer J (1988) A general labeling algorithm for assumption-based truth maintenance. In: Proceedings of the 7th national conference on artificial intelligence, pp 188–192
go back to reference Dyer MG (1983) In-depth understanding: a computer model of integrated processing of narrative comprehension. The MIT Press, Cambridge, MA Dyer MG (1983) In-depth understanding: a computer model of integrated processing of narrative comprehension. The MIT Press, Cambridge, MA
go back to reference Ebert LC, Ruder T, Zimmermann D, Zuber S, Buck U, Roggo A, Thali M, Hatch G (2012) Virtopsy: the virtual autopsy, in Nissan (2012), Chapter 9 Ebert LC, Ruder T, Zimmermann D, Zuber S, Buck U, Roggo A, Thali M, Hatch G (2012) Virtopsy: the virtual autopsy, in Nissan (2012), Chapter 9
go back to reference Ekelöf PO (1964) Free evaluation of evidence. Scandinavian Studies in Law (Faculty of Law, Stockholm University), 8, pp 45–66 Ekelöf PO (1964) Free evaluation of evidence. Scandinavian Studies in Law (Faculty of Law, Stockholm University), 8, pp 45–66
go back to reference Fakher-Eldeen F, Kuflik T, Nissan E, Puni G, Salfati R, Shaul Y, Spanioli A (1993) Interpretation of imputed behaviour in ALIBI (1 to 3) and skill. Informatica e Diritto (Florence), Year 19, 2nd Series, 2(1/2), pp 213–242 Fakher-Eldeen F, Kuflik T, Nissan E, Puni G, Salfati R, Shaul Y, Spanioli A (1993) Interpretation of imputed behaviour in ALIBI (1 to 3) and skill. Informatica e Diritto (Florence), Year 19, 2nd Series, 2(1/2), pp 213–242
go back to reference Falkenhainer B, Forbus K (1991) Compositional modeling: finding the right model for the job. Artificial Intelligence 51:95–143CrossRef Falkenhainer B, Forbus K (1991) Compositional modeling: finding the right model for the job. Artificial Intelligence 51:95–143CrossRef
go back to reference Fenton NE, Neil M (2000), The jury observation fallacy and the use of Bayesian networks to present probabilistic legal arguments. Mathematics today: bulletin of the Institute of Mathematics and its Application (IMA), 36(6), 180–187. http://www.agena.co.uk/resources.html Fenton NE, Neil M (2000), The jury observation fallacy and the use of Bayesian networks to present probabilistic legal arguments. Mathematics today: bulletin of the Institute of Mathematics and its Application (IMA), 36(6), 180–187. http://​www.​agena.​co.​uk/​resources.​html
go back to reference Finkelstein MO, Levin B (2003) On the probative value of evidence from a screening search. Jurimetrics Journal 43:265–290 Finkelstein MO, Levin B (2003) On the probative value of evidence from a screening search. Jurimetrics Journal 43:265–290
go back to reference Freeman K, Farley AM (1996) A model of argumentation and its application to legal reasoning. Artificial Intelligence and Law 4(3/4):157–161 Freeman K, Farley AM (1996) A model of argumentation and its application to legal reasoning. Artificial Intelligence and Law 4(3/4):157–161
go back to reference Fu X, Boongoen T, Shen Q (2010) Evidence directed generation of plausible crime scenarios with identity resolution. Applied Artificial Intelligence 24(4):253–276CrossRef Fu X, Boongoen T, Shen Q (2010) Evidence directed generation of plausible crime scenarios with identity resolution. Applied Artificial Intelligence 24(4):253–276CrossRef
go back to reference Furtado V, Vasconcelos E (2007) Geosimulation in education: a system for teaching police resource allocation. International Journal of Artificial Intelligence in Education 17:57–81 Furtado V, Vasconcelos E (2007) Geosimulation in education: a system for teaching police resource allocation. International Journal of Artificial Intelligence in Education 17:57–81
go back to reference Gelbart D, Smith JC (1993) FLEXICON: an evaluation of a statistical model adapted to intelligent text management. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL’93), Amsterdam. ACM Press, New York, pp 142–151 Gelbart D, Smith JC (1993) FLEXICON: an evaluation of a statistical model adapted to intelligent text management. In: Proceedings of the fourth international conference on artificial intelligence and law (ICAIL’93), Amsterdam. ACM Press, New York, pp 142–151
go back to reference Gilbreth FB, Gilbreth LM (1917) Applied motion study. Sturgis and Walton, New York Gilbreth FB, Gilbreth LM (1917) Applied motion study. Sturgis and Walton, New York
go back to reference Goble L (1999) Deontic logic with relevance. In: McNamara P, Prakken H (eds) Norms, logics and information systems. ISO Press, Amsterdam, pp 331–346 Goble L (1999) Deontic logic with relevance. In: McNamara P, Prakken H (eds) Norms, logics and information systems. ISO Press, Amsterdam, pp 331–346
go back to reference Goldberg HG, Wong RWH (1998) Restructuring transactional data for link analysis in the FinCEN AI system. In Jensen D, Goldberg H (eds) Artificial intelligence and link analysis: papers from the AAAI fall symposium, Orlando, Florida Goldberg HG, Wong RWH (1998) Restructuring transactional data for link analysis in the FinCEN AI system. In Jensen D, Goldberg H (eds) Artificial intelligence and link analysis: papers from the AAAI fall symposium, Orlando, Florida
go back to reference Gordon TF, Walton D (2006) The Carneades argumentation framework: using presumptions and exceptions to model critical questions, at The sixth international workshop on computational models of natural argument, held together with ECAI’06, Riva del Garda, Italy, August 2006 Gordon TF, Walton D (2006) The Carneades argumentation framework: using presumptions and exceptions to model critical questions, at The sixth international workshop on computational models of natural argument, held together with ECAI’06, Riva del Garda, Italy, August 2006
go back to reference Grover C, Hachey B, Hughson I, Korycinski C (2003) Automatic summarisation of legal documents. In: Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland. ACM Press, New York, pp 243–251 Grover C, Hachey B, Hughson I, Korycinski C (2003) Automatic summarisation of legal documents. In: Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland. ACM Press, New York, pp 243–251
go back to reference Gulotta G, Zappalà A (2001) The conflict between prosecution and defense in a child sexual abuse case and in an attempted homicide case. In: Peterson DM, Barnden JA, Nissan E (eds) Artificial intelligence and law, special issue of Information and Communications Technology Law, 10(1), pp 91–108 Gulotta G, Zappalà A (2001) The conflict between prosecution and defense in a child sexual abuse case and in an attempted homicide case. In: Peterson DM, Barnden JA, Nissan E (eds) Artificial intelligence and law, special issue of Information and Communications Technology Law, 10(1), pp 91–108
go back to reference HaCohen-Kerner Y, Schild UJ (1999) The judge’s apprentice. In: Knight B, Nissan E (eds) Forum on Case-Based Reasoning, thematic section in the New Review of Applied Expert Systems, vol 5, pp 191–202 HaCohen-Kerner Y, Schild UJ (1999) The judge’s apprentice. In: Knight B, Nissan E (eds) Forum on Case-Based Reasoning, thematic section in the New Review of Applied Expert Systems, vol 5, pp 191–202
go back to reference Hahn U, Mani I (2000) The challenges of automatic summarization. IEEE Computer 33(11):29–36CrossRef Hahn U, Mani I (2000) The challenges of automatic summarization. IEEE Computer 33(11):29–36CrossRef
go back to reference Hartley JRM, Varley G (2001) The design and evaluation of simulations for the development of complex decision-making skills. In: Okamoto T, Hartley R, Kinshuk, Klus JP (eds) Proceedings of the IEEE international conference on advanced learning technology: issues, achievements and challenge. IEEE computer society, Washington, DC, pp 145–148CrossRef Hartley JRM, Varley G (2001) The design and evaluation of simulations for the development of complex decision-making skills. In: Okamoto T, Hartley R, Kinshuk, Klus JP (eds) Proceedings of the IEEE international conference on advanced learning technology: issues, achievements and challenge. IEEE computer society, Washington, DC, pp 145–148CrossRef
go back to reference Hitchcock D, Verheij B (2005) The Toulmin model today: introduction to the special issue on contemporary work using Stephen Edelston Toulmin’s layout of arguments. Argumentation 19:255–258CrossRef Hitchcock D, Verheij B (2005) The Toulmin model today: introduction to the special issue on contemporary work using Stephen Edelston Toulmin’s layout of arguments. Argumentation 19:255–258CrossRef
go back to reference Holmström-Hintikka G (1995) Expert witnesses in legal argumentation. Argumentation 9(3):489–502CrossRef Holmström-Hintikka G (1995) Expert witnesses in legal argumentation. Argumentation 9(3):489–502CrossRef
go back to reference Holmström-Hintikka G (2001) Expert witnesses in the model of interrogation. In: Martino AA, Nissan E (eds) Software, Formal models, and artificial intelligence for legal evidence, special issue of Computing and Informatics, 20(6):555–579 Holmström-Hintikka G (2001) Expert witnesses in the model of interrogation. In: Martino AA, Nissan E (eds) Software, Formal models, and artificial intelligence for legal evidence, special issue of Computing and Informatics, 20(6):555–579
go back to reference Horty JF (1993) Deontic logic as founded on nonmonotonic logic. In: Meyer JJ, Wieringa R (eds) Deontic logic in computer science. Annals of Mathematics and Artificial Intelligence, vol 9. Baltzer, Basel, pp 69–91 Horty JF (1993) Deontic logic as founded on nonmonotonic logic. In: Meyer JJ, Wieringa R (eds) Deontic logic in computer science. Annals of Mathematics and Artificial Intelligence, vol 9. Baltzer, Basel, pp 69–91
go back to reference Jain AK, Bolleand R, Pankanti S (1999) Biometrics: personal identification in networked society. Kluwer (now Springer), DordrechtCrossRef Jain AK, Bolleand R, Pankanti S (1999) Biometrics: personal identification in networked society. Kluwer (now Springer), DordrechtCrossRef
go back to reference Jain AK, Prabhakar S, Hong L, Pankanti S (2000) Filterbank-based fingerprint matching. IEEE Transactions on Image Processing 9(5):846–859CrossRef Jain AK, Prabhakar S, Hong L, Pankanti S (2000) Filterbank-based fingerprint matching. IEEE Transactions on Image Processing 9(5):846–859CrossRef
go back to reference Jedrzejek C, Falkowski M, Smolenski M (2009) Link analysis of fuel laundering scams and implications of results for scheme understanding and prosecutor strategy. In: Governatori G (ed) Proceedings of Legal Knowledge and Information Systems: JURIX 2009, 25 July 2009. IOS Press, Amsterdam, pp 79–88 Jedrzejek C, Falkowski M, Smolenski M (2009) Link analysis of fuel laundering scams and implications of results for scheme understanding and prosecutor strategy. In: Governatori G (ed) Proceedings of Legal Knowledge and Information Systems: JURIX 2009, 25 July 2009. IOS Press, Amsterdam, pp 79–88
go back to reference Johnson MK, Farid H (2007) Exposing digital forgeries in complex lighting environments. IEEE Transactions on Information Forensics and Security 2(3):450–461CrossRef Johnson MK, Farid H (2007) Exposing digital forgeries in complex lighting environments. IEEE Transactions on Information Forensics and Security 2(3):450–461CrossRef
go back to reference Johnston VS, Caldwell C (1997) Tracking a criminal suspect through face space with a genetic algorithm. In: Bäck T, Fogel DB, Michalewics Z (eds) Handbook of evolutionary computation. Institute of Physics Publishing and Oxford University Press, Bristol and New York Johnston VS, Caldwell C (1997) Tracking a criminal suspect through face space with a genetic algorithm. In: Bäck T, Fogel DB, Michalewics Z (eds) Handbook of evolutionary computation. Institute of Physics Publishing and Oxford University Press, Bristol and New York
go back to reference Josephson JR, Josephson SG (eds) (1994) Abductive inference: computation, philosophy, technology. Cambridge University Press, Cambridge, UKMATH Josephson JR, Josephson SG (eds) (1994) Abductive inference: computation, philosophy, technology. Cambridge University Press, Cambridge, UKMATH
go back to reference Kangas LJ, Terrones KM, Keppel RD, La Moria RD (2003) Computer aided tracking and characterization of homicides and sexual assaults (CATCH). Sec. 12.6 in Mena (2003), pp 364–375 Kangas LJ, Terrones KM, Keppel RD, La Moria RD (2003) Computer aided tracking and characterization of homicides and sexual assaults (CATCH). Sec. 12.6 in Mena (2003), pp 364–375
go back to reference Kaptein H, Prakken H, Verheij B (eds) (2009) Legal evidence and proof: statistics, stories, logic. Applied legal philosophy series, Ashgate Publishing, Farnham, Surrey, UK Kaptein H, Prakken H, Verheij B (eds) (2009) Legal evidence and proof: statistics, stories, logic. Applied legal philosophy series, Ashgate Publishing, Farnham, Surrey, UK
go back to reference Keppens J, Schafer B (2003b) Assumption based peg unification for crime scenario modelling. In: Proceeding of the 2003 conference on legal knowledge and information systems; JURIX 2003: the eighteenth annual conference. IOS Press, Amsterdam. http://www.jurix.nl/pdf/j05-07.pdf Keppens J, Schafer B (2003b) Assumption based peg unification for crime scenario modelling. In: Proceeding of the 2003 conference on legal knowledge and information systems; JURIX 2003: the eighteenth annual conference. IOS Press, Amsterdam. http://​www.​jurix.​nl/​pdf/​j05-07.​pdf
go back to reference Keppens J, Schafer B (2004) “Murdered by persons unknown”—Speculative reasoning in law and logic. In: Gordon T (ed) Legal knowledge and information systems. Jurix 2004: the seventeenth annual conference. IOS Press, Amsterdam, 2004, pp 109–118 Keppens J, Schafer B (2004) “Murdered by persons unknown”—Speculative reasoning in law and logic. In: Gordon T (ed) Legal knowledge and information systems. Jurix 2004: the seventeenth annual conference. IOS Press, Amsterdam, 2004, pp 109–118
go back to reference Keppens J, Schafer B (2005) Assumption based peg unification for crime scenario modelling. In: Proceeding of the 2005 conference on legal knowledge and information systems; JURIX 2005: the eighteenth annual conference (frontiers in artificial intelligence and applications, 134), IOS Press, Amsterdam, pp 49–58 Keppens J, Schafer B (2005) Assumption based peg unification for crime scenario modelling. In: Proceeding of the 2005 conference on legal knowledge and information systems; JURIX 2005: the eighteenth annual conference (frontiers in artificial intelligence and applications, 134), IOS Press, Amsterdam, pp 49–58
go back to reference Keppens J, Schafer B (2006) Knowledge based crime scenario modelling. Expert Systems with Applications 30(2):203–222CrossRef Keppens J, Schafer B (2006) Knowledge based crime scenario modelling. Expert Systems with Applications 30(2):203–222CrossRef
go back to reference Keppens J, Zeleznikow J (2002) On the role of model-based reasoning in decision support in crime investigation. In: Proceedings of the IASTED third international conference on law and technology (LawTech2002). ACTA Press, Anaheim, CA, pp 77–83 Keppens J, Zeleznikow J (2002) On the role of model-based reasoning in decision support in crime investigation. In: Proceedings of the IASTED third international conference on law and technology (LawTech2002). ACTA Press, Anaheim, CA, pp 77–83
go back to reference Keppens J, Zeleznikow J (2003) A model based reasoning approach for generating plausible crime scene scenarios from evidence. In: Sartor G (ed). Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland, 24–28 June 2003. ACM Press, New York, pp 51–59 Keppens J, Zeleznikow J (2003) A model based reasoning approach for generating plausible crime scene scenarios from evidence. In: Sartor G (ed). Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland, 24–28 June 2003. ACM Press, New York, pp 51–59
go back to reference Keppens J, Shen Q, Lee M (2005) Compositional Bayesian modelling and its application to decision support in crime investigation. In: Proceedings of the 19th international workshop on qualitative reasoning, pp 138–148 Keppens J, Shen Q, Lee M (2005) Compositional Bayesian modelling and its application to decision support in crime investigation. In: Proceedings of the 19th international workshop on qualitative reasoning, pp 138–148
go back to reference Khuwaja GA (2006) A multimodal biometric identification system using compressed finger images. Cybernetics and Systems 37(1):23–46CrossRef Khuwaja GA (2006) A multimodal biometric identification system using compressed finger images. Cybernetics and Systems 37(1):23–46CrossRef
go back to reference Kuflik T, Nissan E, Puni G (1989) Finding excuses with ALIBI: alternative plans that are deontically more defensible. In: Proceedings of the International Symposium on Communication, Meaning and Knowledge vs. Information Technology, Lisbon, September 1989. Then again in Computers and Artificial Intelligence, 10(4), 1991, pp 297–325. Then in a selection from the Lisbon conference: Lopes Alves J (ed) Information Technology and Society: Theory, Uses, Impacts. Associação Portuguesa para o Desenvolvimento das Comunicações (APDC), Lisbon, and Sociedade Portuguesa de Filosofia (SPF), Lisbon, 1992, pp 484–510 Kuflik T, Nissan E, Puni G (1989) Finding excuses with ALIBI: alternative plans that are deontically more defensible. In: Proceedings of the International Symposium on Communication, Meaning and Knowledge vs. Information Technology, Lisbon, September 1989. Then again in Computers and Artificial Intelligence, 10(4), 1991, pp 297–325. Then in a selection from the Lisbon conference: Lopes Alves J (ed) Information Technology and Society: Theory, Uses, Impacts. Associação Portuguesa para o Desenvolvimento das Comunicações (APDC), Lisbon, and Sociedade Portuguesa de Filosofia (SPF), Lisbon, 1992, pp 484–510
go back to reference Leary R (2012) FLINTS, a Tool for police investigation and intelligence analysis, in Nissan (2012), Chapter 7 Leary R (2012) FLINTS, a Tool for police investigation and intelligence analysis, in Nissan (2012), Chapter 7
go back to reference MacCrimmon M (1989) Facts, stories and the hearsay rule, in Martino (1989), vol 1, pp 461–475 MacCrimmon M (1989) Facts, stories and the hearsay rule, in Martino (1989), vol 1, pp 461–475
go back to reference MacCrimmon M, Tillers P (eds) (2002) The dynamics of judicial proof: computation, logic, and common sense (Studies in Fuzziness and Soft Computing, 94). Physica-Verlag, Heidelberg MacCrimmon M, Tillers P (eds) (2002) The dynamics of judicial proof: computation, logic, and common sense (Studies in Fuzziness and Soft Computing, 94). Physica-Verlag, Heidelberg
go back to reference Mani I (2001) Automatic summarization (natural language processing, 3). Benjamins, AmsterdamCrossRef Mani I (2001) Automatic summarization (natural language processing, 3). Benjamins, AmsterdamCrossRef
go back to reference Marks P (2014) Hands off: an app that creates maps of sexual harassment could help women in Bangladesh fight back. In: New Scientist (UK edition), vol 222(2971), 31 May 2014, p 21 Marks P (2014) Hands off: an app that creates maps of sexual harassment could help women in Bangladesh fight back. In: New Scientist (UK edition), vol 222(2971), 31 May 2014, p 21
go back to reference Martino AA (ed) (1989) Pre-proceedings of the third international conference on “Logica, Informatica, Diritto: Legal expert systems”, Florence, 1989 (2 vols + Appendix). Istituto per la Documentazione Giuridica, Consiglio Nazionale delle Ricerche, Florence Martino AA (ed) (1989) Pre-proceedings of the third international conference on “Logica, Informatica, Diritto: Legal expert systems”, Florence, 1989 (2 vols + Appendix). Istituto per la Documentazione Giuridica, Consiglio Nazionale delle Ricerche, Florence
go back to reference Martino AA, Nissan E (eds) (1998) Formal Models of Legal Time, special issue of Information and Communications Technology Law, 7(3) Martino AA, Nissan E (eds) (1998) Formal Models of Legal Time, special issue of Information and Communications Technology Law, 7(3)
go back to reference Martino AA, Nissan E (eds) (2001) Formal approaches to legal evidence, special issue of Artificial Intelligence and Law, 9(2/3), pp 85–224 Martino AA, Nissan E (eds) (2001) Formal approaches to legal evidence, special issue of Artificial Intelligence and Law, 9(2/3), pp 85–224
go back to reference McGinnis JO, Pearce RG (2014) The great disruption: how machine intelligence will transform the role of lawyers in the delivery of legal services. Fordham Law Review 82:3041–3066 McGinnis JO, Pearce RG (2014) The great disruption: how machine intelligence will transform the role of lawyers in the delivery of legal services. Fordham Law Review 82:3041–3066
go back to reference Mena J (2003) Investigative data mining for security and criminal detection. Butterworth, Boston, MA Mena J (2003) Investigative data mining for security and criminal detection. Butterworth, Boston, MA
go back to reference Moens M-F (2000) Automatic indexing and abstracting of document texts. Kluwer Academic Publishers, Dordrecht Moens M-F (2000) Automatic indexing and abstracting of document texts. Kluwer Academic Publishers, Dordrecht
go back to reference Moens M-F (2001) Legal text retrieval. Artificial Intelligence and Law 9(1):29–57CrossRef Moens M-F (2001) Legal text retrieval. Artificial Intelligence and Law 9(1):29–57CrossRef
go back to reference Moens M-F, Uyttendaele C, Dumortier J (1997). Abstracting of legal cases: The SALOMON experience. In: Proceedings of the sixth international conference on artificial intelligence and law, Melbourne, Australia. ACM Press, New York, pp 114–122 Moens M-F, Uyttendaele C, Dumortier J (1997). Abstracting of legal cases: The SALOMON experience. In: Proceedings of the sixth international conference on artificial intelligence and law, Melbourne, Australia. ACM Press, New York, pp 114–122
go back to reference Moens M-F, Uyttendaele C, Dumortier J (1999) Abstracting of legal cases: the potential of clustering based on the selection of representative objects. Journal of the American Society for Information Science 50(2):151–161CrossRef Moens M-F, Uyttendaele C, Dumortier J (1999) Abstracting of legal cases: the potential of clustering based on the selection of representative objects. Journal of the American Society for Information Science 50(2):151–161CrossRef
go back to reference Murbach R, Nonn E (1991) Sentencing by artificial intelligence tools: some possibilities and limitations. In: The joint meeting of the law and society association and the research committee of the sociology of law of the International Sociological Association, Amsterdam Murbach R, Nonn E (1991) Sentencing by artificial intelligence tools: some possibilities and limitations. In: The joint meeting of the law and society association and the research committee of the sociology of law of the International Sociological Association, Amsterdam
go back to reference Murphy BL, Morrison RD (eds) (2002) Introduction to environmental forensics. Academic Press, San Diego, CA Murphy BL, Morrison RD (eds) (2002) Introduction to environmental forensics. Academic Press, San Diego, CA
go back to reference Nance DA, Morris SB (2002) An empirical assessment of presentation formats for trace evidence with a relatively large and quantifiable random match probability. Jurimetrics Journal 42:403–445 Nance DA, Morris SB (2002) An empirical assessment of presentation formats for trace evidence with a relatively large and quantifiable random match probability. Jurimetrics Journal 42:403–445
go back to reference Nirenburg S, Raskin V (2004) Principles of ontological semantics. MIT Press, Cambridge, MA Nirenburg S, Raskin V (2004) Principles of ontological semantics. MIT Press, Cambridge, MA
go back to reference Nissan E (2001a) An AI formalism for competing claims of identification: capturing the “Smemorato di Collegno” amnesia case. Computing and Informatics 20(6):625–656MathSciNetMATH Nissan E (2001a) An AI formalism for competing claims of identification: capturing the “Smemorato di Collegno” amnesia case. Computing and Informatics 20(6):625–656MathSciNetMATH
go back to reference Nissan E (2001b) ‘The Bayesianism debate in legal scholarship’ [review article on Allen and Redmayne (1997)]. Artificial Intelligence and Law 9(2/3):199–214CrossRef Nissan E (2001b) ‘The Bayesianism debate in legal scholarship’ [review article on Allen and Redmayne (1997)]. Artificial Intelligence and Law 9(2/3):199–214CrossRef
go back to reference Nissan E (2012) Legal evidence, police investigation, case argumentation, and computer tools, (Law, Governance and Technology series, 5), vol 2. Springer, DordrechtCrossRef Nissan E (2012) Legal evidence, police investigation, case argumentation, and computer tools, (Law, Governance and Technology series, 5), vol 2. Springer, DordrechtCrossRef
go back to reference Nissan E, Martino AA (eds) (2001), Software, formal models, and artificial intelligence for legal evidence, special issue of Computing and Informatics, 20(6), pp 509–656 Nissan E, Martino AA (eds) (2001), Software, formal models, and artificial intelligence for legal evidence, special issue of Computing and Informatics, 20(6), pp 509–656
go back to reference Nissan E, Martino AA (eds) (2003) Building blocks for an artificial intelligence framework in the field of legal evidence, special issue (two parts) of Cybernetics and Systems, 34(4/5), pp 233–411; 34(6/7), pp 413–583 Nissan E, Martino AA (eds) (2003) Building blocks for an artificial intelligence framework in the field of legal evidence, special issue (two parts) of Cybernetics and Systems, 34(4/5), pp 233–411; 34(6/7), pp 413–583
go back to reference Nissan E, Martino AA (eds) (2004) The construction of judicial proof: a challenge for artificial intelligence modelling, special issue of Applied Artificial Intelligence, 18(3/4), pp 183–393 Nissan E, Martino AA (eds) (2004) The construction of judicial proof: a challenge for artificial intelligence modelling, special issue of Applied Artificial Intelligence, 18(3/4), pp 183–393
go back to reference Nissan E, Hall D, Lobina E, de la Motte R (2004) A formalism for a case study in the watertime project: the city water system in Grenoble, from privatization to remunicipalization. Applied Artificial Intelligence 18(3/4):305–366CrossRef Nissan E, Hall D, Lobina E, de la Motte R (2004) A formalism for a case study in the watertime project: the city water system in Grenoble, from privatization to remunicipalization. Applied Artificial Intelligence 18(3/4):305–366CrossRef
go back to reference Nute D (ed) (1996) Defeasible deontic logic (Synthese Library, 263). Kluwer, Dordrecht Nute D (ed) (1996) Defeasible deontic logic (Synthese Library, 263). Kluwer, Dordrecht
go back to reference Oatley G, Ewart B (2003) Crimes analysis software: “Pins in Maps”, clustering and Bayes net prediction. Expert Systems with Applications 25(4):569–588CrossRef Oatley G, Ewart B (2003) Crimes analysis software: “Pins in Maps”, clustering and Bayes net prediction. Expert Systems with Applications 25(4):569–588CrossRef
go back to reference Oatley G, Ewart B (2011) Data mining and crime analysis. Wiley Interdisciplinary Reviews (WIREs): Data Minining and Knowledge Discovery 1(2):147–153 Oatley G, Ewart B (2011) Data mining and crime analysis. Wiley Interdisciplinary Reviews (WIREs): Data Minining and Knowledge Discovery 1(2):147–153
go back to reference Oatley G, Ewart B, Zeleznikow J (2006) Decision support systems for police: lessons from the application of data mining techniques to “soft” forensic evidence. Journal of Artificial Intelligence and Law 14(1/2):35–100 Oatley G, Ewart B, Zeleznikow J (2006) Decision support systems for police: lessons from the application of data mining techniques to “soft” forensic evidence. Journal of Artificial Intelligence and Law 14(1/2):35–100
go back to reference Pamula VK (2003) Detection of explosives, Chapter 23. In: Pearce TC, Schiffman SS, Nagle HT, Gardner JW (eds) Handbook of Machine olfaction: electronic nose technology. Wiley–VCH, Weinheim, Baden-Württemberg, Germany, pp 547–560. doi:10.1002/3527601597.ch23 Pamula VK (2003) Detection of explosives, Chapter 23. In: Pearce TC, Schiffman SS, Nagle HT, Gardner JW (eds) Handbook of Machine olfaction: electronic nose technology. Wiley–VCH, Weinheim, Baden-Württemberg, Germany, pp 547–560. doi:10.​1002/​3527601597.​ch23
go back to reference Pandit S, Chau DH, Wang S, Faloutsos C (2007) NetProbe: a fast and scalable system for fraud detection in online auction networks. In: WWW 2007: Proceedings of the 16th international conference on World Wide Web, Banff, Alberta, Canada, Track: Data Mining, Session: Mining in Social Networks. ACM, New York, pp 201–210 Pandit S, Chau DH, Wang S, Faloutsos C (2007) NetProbe: a fast and scalable system for fraud detection in online auction networks. In: WWW 2007: Proceedings of the 16th international conference on World Wide Web, Banff, Alberta, Canada, Track: Data Mining, Session: Mining in Social Networks. ACM, New York, pp 201–210
go back to reference Peterson DM, Barnden JA, Nissan E (eds) (2001) Artificial intelligence and law, special issue of Information and Communications Technology Law, 10(1) Peterson DM, Barnden JA, Nissan E (eds) (2001) Artificial intelligence and law, special issue of Information and Communications Technology Law, 10(1)
go back to reference Poole P (2002) Logical argumentation, abduction and Bayesian decision theory: a Bayesian approach to logical arguments and its application to legal evidential reasoning, in MacCrimmon and Tillers (2002), pp 385–396 Poole P (2002) Logical argumentation, abduction and Bayesian decision theory: a Bayesian approach to logical arguments and its application to legal evidential reasoning, in MacCrimmon and Tillers (2002), pp 385–396
go back to reference Prakken H (2001) Modelling reasoning about evidence in legal procedure.In: Proceedings of the eighth international conference on artificial intelligence and law (ICAIL 2001), St. Louis, Missouri. ACM Press, New York, pp 119–128 Prakken H (2001) Modelling reasoning about evidence in legal procedure.In: Proceedings of the eighth international conference on artificial intelligence and law (ICAIL 2001), St. Louis, Missouri. ACM Press, New York, pp 119–128
go back to reference Prakken H (2002) Incomplete arguments in legal discourse: a case study. In: Bench-Capon TJM, Daskalopulu A, Winkels R (eds), Legal Knowledge and Information Systems. JURIX 2002: the fifteenth annual conference. IOS Press, Amsterdam, pp 93–102 Prakken H (2002) Incomplete arguments in legal discourse: a case study. In: Bench-Capon TJM, Daskalopulu A, Winkels R (eds), Legal Knowledge and Information Systems. JURIX 2002: the fifteenth annual conference. IOS Press, Amsterdam, pp 93–102
go back to reference Prakken H (2004) Analysing reasoning about evidence with formal models of argumentation. Law, Probability & Risk 3:33–50CrossRef Prakken H (2004) Analysing reasoning about evidence with formal models of argumentation. Law, Probability & Risk 3:33–50CrossRef
go back to reference Prakken H (2006) Formal systems for persuasion dialogue. The Knowledge Engineering Review 21:163–188CrossRef Prakken H (2006) Formal systems for persuasion dialogue. The Knowledge Engineering Review 21:163–188CrossRef
go back to reference Prakken H (2008) A formal model of adjudication dialogues. Artificial Intelligence and Law 16:305–328CrossRef Prakken H (2008) A formal model of adjudication dialogues. Artificial Intelligence and Law 16:305–328CrossRef
go back to reference Prakken H, Renooij S (2001) Reconstructing causal reasoning about evidence: a case study. In: Verheij B, Lodder AR, Loui RP, Muntjwerff AJ (eds) Legal knowledge and information systems. Jurix 2001: the 14th annual conference, IOS Press, Amsterdam, pp 131–137 Prakken H, Renooij S (2001) Reconstructing causal reasoning about evidence: a case study. In: Verheij B, Lodder AR, Loui RP, Muntjwerff AJ (eds) Legal knowledge and information systems. Jurix 2001: the 14th annual conference, IOS Press, Amsterdam, pp 131–137
go back to reference Prakken H, Sartor G (2002) The role of logic in computational models of logic argument: a critical survey. In: Kakas A, Sadri F (eds) Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski, Part II (lecture notes in computer science, 2048). Springer, Berlin, pp 342–380 Prakken H, Sartor G (2002) The role of logic in computational models of logic argument: a critical survey. In: Kakas A, Sadri F (eds) Computational logic: logic programming and beyond. Essays in honour of Robert A. Kowalski, Part II (lecture notes in computer science, 2048). Springer, Berlin, pp 342–380
go back to reference Prakken H, Reed C, Walton DN (2003) Argumentation schemes and generalisations in reasoning about evidence. In: Sartor G (ed) Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland, 24–28 June 2003. ACM Press, New York, pp 32–41 Prakken H, Reed C, Walton DN (2003) Argumentation schemes and generalisations in reasoning about evidence. In: Sartor G (ed) Proceedings of the ninth international conference on artificial intelligence and law (ICAIL 2003), Edinburgh, Scotland, 24–28 June 2003. ACM Press, New York, pp 32–41
go back to reference Rattani A, Mehrotra H, And H, Gupta P (2008) Multimodal biometric systems. In: Quigley M (ed) Encyclopedia of information ethics and security. IGI Global, Hershey, PA, pp 478–485 Rattani A, Mehrotra H, And H, Gupta P (2008) Multimodal biometric systems. In: Quigley M (ed) Encyclopedia of information ethics and security. IGI Global, Hershey, PA, pp 478–485
go back to reference Redmond MA, Blackburn C (2003) Empirical analysis of case-based reasoning and other prediction methods in a social science domain: repeat criminal victimization. In: Ashley KD, Bridge DG (eds) Case-based reasoning research and development: proceedings of the 5th international conference on case-based reasoning (ICCBR 2003), Trondheim, Norway, 23–26 June 2003, (Lecture Notes in Computer Science, 2689), Springer, Berlin Redmond MA, Blackburn C (2003) Empirical analysis of case-based reasoning and other prediction methods in a social science domain: repeat criminal victimization. In: Ashley KD, Bridge DG (eds) Case-based reasoning research and development: proceedings of the 5th international conference on case-based reasoning (ICCBR 2003), Trondheim, Norway, 23–26 June 2003, (Lecture Notes in Computer Science, 2689), Springer, Berlin
go back to reference Reed CA, Rowe GWA (2004) Araucaria: software for argument analysis, diagramming and representation. International Journal on Artificial Intelligence Tools 14(3/4):961–980CrossRef Reed CA, Rowe GWA (2004) Araucaria: software for argument analysis, diagramming and representation. International Journal on Artificial Intelligence Tools 14(3/4):961–980CrossRef
go back to reference Rissland EL, Skalak DB (1991) CABARET: statutory interpretation in a hybrid architecture. International Journal of Man-Machine Studies 34:839–887CrossRef Rissland EL, Skalak DB (1991) CABARET: statutory interpretation in a hybrid architecture. International Journal of Man-Machine Studies 34:839–887CrossRef
go back to reference Ross A, Jain AK (2003) Information fusion in biometrics. Pattern Recognition Letters 24(13):2115–2125CrossRef Ross A, Jain AK (2003) Information fusion in biometrics. Pattern Recognition Letters 24(13):2115–2125CrossRef
go back to reference Ruger TW, Kim PT, Martin AD, Quinn KM (2004) The Supreme Court forecasting project: legal and political science approaches to predicting Supreme Court decisionmaking. Columbia Law Review 104:1150–1209CrossRef Ruger TW, Kim PT, Martin AD, Quinn KM (2004) The Supreme Court forecasting project: legal and political science approaches to predicting Supreme Court decisionmaking. Columbia Law Review 104:1150–1209CrossRef
go back to reference Rutkin A (2014) Information from the inside: a device that keeps tabs on inmates vital signs could save lives in the slammer. New Scientist (UK edition), vol 222(2971), 31 May 2014, p 22 Rutkin A (2014) Information from the inside: a device that keeps tabs on inmates vital signs could save lives in the slammer. New Scientist (UK edition), vol 222(2971), 31 May 2014, p 22
go back to reference Schank RG (1972) Conceptual dependency: a theory of natural language understanding. Cognitive Psychology 3:552–631CrossRef Schank RG (1972) Conceptual dependency: a theory of natural language understanding. Cognitive Psychology 3:552–631CrossRef
go back to reference Schank P, Ranney M (1995) Improved reasoning with convince me. In: CHI 95: conference companion on human factors in computing systems, ACM Press, New York, pp 276–277 Schank P, Ranney M (1995) Improved reasoning with convince me. In: CHI 95: conference companion on human factors in computing systems, ACM Press, New York, pp 276–277
go back to reference Schank RG, Riesbeck CK (eds) (1981) Inside Computer Understanding: Five Programs Plus Miniatures. Erlbaum, Hillsdale, NJ (afterwards, Mahwa, NJ) Schank RG, Riesbeck CK (eds) (1981) Inside Computer Understanding: Five Programs Plus Miniatures. Erlbaum, Hillsdale, NJ (afterwards, Mahwa, NJ)
go back to reference Schroeder J, Xu J, Chen H, Chau M (2007) Automated criminal link analysis based on domain knowledge. Journal of the American Society for Information Science and Technology 58(6):842–855CrossRef Schroeder J, Xu J, Chen H, Chau M (2007) Automated criminal link analysis based on domain knowledge. Journal of the American Society for Information Science and Technology 58(6):842–855CrossRef
go back to reference Shen Q, Keppens J, Aitken C, Schafer B, Lee M (2006) A scenario-driven decision support system for serious crime investigation. Law, Probability & Risk 5:87–117CrossRef Shen Q, Keppens J, Aitken C, Schafer B, Lee M (2006) A scenario-driven decision support system for serious crime investigation. Law, Probability & Risk 5:87–117CrossRef
go back to reference Shimony SE, Nissan E (2001) Kappa calculus and evidential strength: a note on Åqvist’s logical theory of legal evidence. Artificial Intelligence and Law 9(2/3):153–163CrossRef Shimony SE, Nissan E (2001) Kappa calculus and evidential strength: a note on Åqvist’s logical theory of legal evidence. Artificial Intelligence and Law 9(2/3):153–163CrossRef
go back to reference Simon E, Gaes G, Rhodes W (1991) ASSYST: the design and implementation of computer assisted sentencing. Federal Probation 55:46–55 Simon E, Gaes G, Rhodes W (1991) ASSYST: the design and implementation of computer assisted sentencing. Federal Probation 55:46–55
go back to reference Snow P, Belis M (2002) Structured deliberation for dynamic uncertain inference, in MacCrimmon and Tillers (2002), pp 397–416 Snow P, Belis M (2002) Structured deliberation for dynamic uncertain inference, in MacCrimmon and Tillers (2002), pp 397–416
go back to reference Stranieri A, Zeleznikow J (2005) Knowledge discovery from legal databases (Springer law and philosophy library, 69). Springer, DordrechtCrossRef Stranieri A, Zeleznikow J (2005) Knowledge discovery from legal databases (Springer law and philosophy library, 69). Springer, DordrechtCrossRef
go back to reference Stranieri A, Zeleznikow J, Yearwood J (2012) Argumentation for dialectical situations, versus for structuring knowledge non-dialectically, and an integration of the two, in Nissan (2012), Sec. 3.11 Stranieri A, Zeleznikow J, Yearwood J (2012) Argumentation for dialectical situations, versus for structuring knowledge non-dialectically, and an integration of the two, in Nissan (2012), Sec. 3.11
go back to reference Stranieri A, Zeleznikow J, Nissan E (2012) Using genetic algorithms in data mining, in Nissan (2012), Sec. 6.1.16 Stranieri A, Zeleznikow J, Nissan E (2012) Using genetic algorithms in data mining, in Nissan (2012), Sec. 6.1.16
go back to reference Surden H (2014) Machine learning and law. Washington Law Review 89:87–115 Surden H (2014) Machine learning and law. Washington Law Review 89:87–115
go back to reference Thagard P (1989) Explanatory coherence. Behavioural and Brain Sciences 12(3):435–467. Commentaries and riposte up to p 502CrossRef Thagard P (1989) Explanatory coherence. Behavioural and Brain Sciences 12(3):435–467. Commentaries and riposte up to p 502CrossRef
go back to reference Thagard P (2000) Coherence in thought and action. The MIT Press, Cambridge, MA Thagard P (2000) Coherence in thought and action. The MIT Press, Cambridge, MA
go back to reference Thagard P (2004) Causal inference in legal decision making: explanatory coherence versus Bayesian networks. Applied Artificial Intelligence 18(3/4):231–249CrossRef Thagard P (2004) Causal inference in legal decision making: explanatory coherence versus Bayesian networks. Applied Artificial Intelligence 18(3/4):231–249CrossRef
go back to reference Toulmin SE (1958) The uses of argument. Cambridge University Press, Cambridge, UK (reprints: 1974, 1999) Toulmin SE (1958) The uses of argument. Cambridge University Press, Cambridge, UK (reprints: 1974, 1999)
go back to reference Uyttendaele C, Moens M-F, Dumortier J (1998) SALOMON: automatic abstracting of legal cases for effective access to court decisions. Artificial Intelligence and Law 6(1):59–79CrossRef Uyttendaele C, Moens M-F, Dumortier J (1998) SALOMON: automatic abstracting of legal cases for effective access to court decisions. Artificial Intelligence and Law 6(1):59–79CrossRef
go back to reference Valcour L (1997) Investigate B&E: break and enter expert system. Technical report TR–11–97, Canadian Police Research Centre Valcour L (1997) Investigate B&E: break and enter expert system. Technical report TR1197, Canadian Police Research Centre
go back to reference Valente A (1995) Legal knowledge engineering: a modeling approach. IOS Press, AmsterdamMATH Valente A (1995) Legal knowledge engineering: a modeling approach. IOS Press, AmsterdamMATH
go back to reference van den Braak SW, Vreeswijk GAW(2006) A knowledge representation architecture for the construction of stories based on interpretation and evidence, at the sixth international workshop on computational models of natural argument, held with ECAI’06, Riva del Garda, Italy, August 2006 van den Braak SW, Vreeswijk GAW(2006) A knowledge representation architecture for the construction of stories based on interpretation and evidence, at the sixth international workshop on computational models of natural argument, held with ECAI’06, Riva del Garda, Italy, August 2006
go back to reference van den Braak SW, van Oostendorp H, Prakken H, Vreeswijk GAW (2006) A critical review of argument visualization tools: do users become better reasoners?’, ibid van den Braak SW, van Oostendorp H, Prakken H, Vreeswijk GAW (2006) A critical review of argument visualization tools: do users become better reasoners?’, ibid
go back to reference van Gelder TJ (2002) Argument mapping with Reason!Able [sic]. The American Philosophical Association Newsletter on Philosophy and Computers 2002:85–90 van Gelder TJ (2002) Argument mapping with Reason!Able [sic]. The American Philosophical Association Newsletter on Philosophy and Computers 2002:85–90
go back to reference Verheij B (2003) Dialectical argumentation with argumentation schemes: an approach to legal logic. Artificial Intelligence and Law 11:167–195CrossRef Verheij B (2003) Dialectical argumentation with argumentation schemes: an approach to legal logic. Artificial Intelligence and Law 11:167–195CrossRef
go back to reference Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge, UKMATHCrossRef Walton D, Reed C, Macagno F (2008) Argumentation schemes. Cambridge University Press, Cambridge, UKMATHCrossRef
go back to reference Xiang Y, Chau M, Atabakhsh H, Chen H (2005) Visualizing criminal relationships: comparisons of a hyperbolic tree and a hierachical list. Decision Support System 41:69–83CrossRef Xiang Y, Chau M, Atabakhsh H, Chen H (2005) Visualizing criminal relationships: comparisons of a hyperbolic tree and a hierachical list. Decision Support System 41:69–83CrossRef
go back to reference Xu JJ, Chen H (2004) Fighting organized crimes: using shortest-path algorithms to identify associations in criminal networks. Decision Support System 38:473–487CrossRef Xu JJ, Chen H (2004) Fighting organized crimes: using shortest-path algorithms to identify associations in criminal networks. Decision Support System 38:473–487CrossRef
go back to reference Yinon J (2003) Detection of explosives by electronic noses. Analytical Chemistry 75(5):99A–105ACrossRef Yinon J (2003) Detection of explosives by electronic noses. Analytical Chemistry 75(5):99A–105ACrossRef
go back to reference Zeide JS, Liebowitz J (1987) Using expert systems: the legal perspective. IEEE Expert, Spring, pp 19–20 Zeide JS, Liebowitz J (1987) Using expert systems: the legal perspective. IEEE Expert, Spring, pp 19–20
go back to reference Zeleznikow J (2002) Using Web-based legal decision support systems to improve access to justice. Information and Communications Technology Law 11(1):15–33CrossRef Zeleznikow J (2002) Using Web-based legal decision support systems to improve access to justice. Information and Communications Technology Law 11(1):15–33CrossRef
go back to reference Zeleznikow J, Stranieri A (1995) The split up system: integrating neural networks and rule based reasoning in the legal domain. In: Proceedings of the fifth international conference on artificial intelligence and law (ICAIL’95). ACM Press, New York, pp 185–194 Zeleznikow J, Stranieri A (1995) The split up system: integrating neural networks and rule based reasoning in the legal domain. In: Proceedings of the fifth international conference on artificial intelligence and law (ICAIL’95). ACM Press, New York, pp 185–194
go back to reference Zeleznikow J, Stranieri A (1998) Split up: the use of an argument based knowledge representation to meet expectations of different users for discretionary decision making. In: Proceedings of IAAI’98: tenth annual conference on innovative applications of artificial intelligence. AAAI/MIT Press, Cambridge, MA, pp 1146–1151 Zeleznikow J, Stranieri A (1998) Split up: the use of an argument based knowledge representation to meet expectations of different users for discretionary decision making. In: Proceedings of IAAI’98: tenth annual conference on innovative applications of artificial intelligence. AAAI/MIT Press, Cambridge, MA, pp 1146–1151
Metadata
Title
Digital technologies and artificial intelligence’s present and foreseeable impact on lawyering, judging, policing and law enforcement
Publication date
14-10-2015
Published in
AI & SOCIETY / Issue 3/2017
Print ISSN: 0951-5666
Electronic ISSN: 1435-5655
DOI
https://doi.org/10.1007/s00146-015-0596-5

Other articles of this Issue 3/2017

AI & SOCIETY 3/2017 Go to the issue

Premium Partner