{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:41:32Z","timestamp":1648773692491},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,5,13]],"date-time":"2017-05-13T00:00:00Z","timestamp":1494633600000},"content-version":"unspecified","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":[[2017,6]]},"DOI":"10.1007\/s10506-017-9200-2","type":"journal-article","created":{"date-parts":[[2017,5,13]],"date-time":"2017-05-13T16:16:12Z","timestamp":1494692172000},"page":"181-203","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On computable numbers with an application to the AlanTuringproblem"],"prefix":"10.1007","volume":"25","author":[{"given":"C. F.","family":"Huws","sequence":"first","affiliation":[]},{"given":"J. C.","family":"Finnis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,13]]},"reference":[{"issue":"1","key":"9200_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A Aamodt","year":"1994","unstructured":"Aamodt A, Plaza E (1994) Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun 7(1):39\u201359","journal-title":"AI Commun"},{"issue":"1","key":"9200_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10506-016-9178-1","volume":"24","author":"L Al Abdulkarim","year":"2016","unstructured":"Al Abdulkarim L (2016) A methodology for designing systems to reason with legal cases using abstract dialectical frameworks. Artif Intell Law 24(1):1","journal-title":"Artif Intell Law"},{"key":"9200_CR3","unstructured":"Aleven V (1997) Teaching case-based argumentation through a model and examples. Ph.D. thesis, University of Pittsburgh"},{"key":"9200_CR4","first-page":"87","volume":"39","author":"V Aleven","year":"1997","unstructured":"Aleven V, Ashley KD (1997) Teaching case-based argumentation through a model and examples empirical evaluation of an intelligent learning environment. Artif Intell Educ 39:87\u201394","journal-title":"Artif Intell Educ"},{"key":"9200_CR5","volume-title":"Homosexual: oppression and liberation","author":"D Altman","year":"1972","unstructured":"Altman D (1972) Homosexual: oppression and liberation. Angus and Robertson, London"},{"key":"9200_CR6","doi-asserted-by":"crossref","DOI":"10.4324\/9780203016992","volume-title":"Gender and crime in modern Europe","author":"M Arnot","year":"2002","unstructured":"Arnot M, Usborne C (2002) Gender and crime in modern Europe. Routledge, Abingdon"},{"issue":"2","key":"9200_CR7","doi-asserted-by":"crossref","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":"9200_CR8","doi-asserted-by":"crossref","unstructured":"Bench-Capon TJM, Robinson GO, Routen T, Sergot MJ (1987) Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. In: Proceedings of the first international conference on artificial intelligence and law, pp 190\u2013198","DOI":"10.1145\/41735.41757"},{"key":"9200_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/13600869.1987.9966251","volume":"3","author":"D Berman","year":"1987","unstructured":"Berman D, Hafner C (1987) Indeterminacy: a challenge to logic-based models of legal reasoning. Yearbook of Law Comput Technol 3:1\u201335","journal-title":"Yearbook of Law Computers and Technology"},{"key":"9200_CR10","unstructured":"Buggery Act 1533 (25 Hen. 8 c. 6)"},{"key":"9200_CR11","unstructured":"Cantor G (1891) Ueber eine elementare Frage der Mannigfaltigkeitslehre. Jahresbericht der Deutschen Mathematiker-Vereinigung 1890\u20131891"},{"issue":"3","key":"9200_CR12","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/s10506-013-9141-3","volume":"21","author":"M Carey","year":"2013","unstructured":"Carey M (2013) Holdings about holdings: modelling contradictions in judicial precedent. Artif Intell Law 21(3):341","journal-title":"Artif Intell Law"},{"key":"9200_CR13","unstructured":"Case\u00a0C-158\/07\u00a0F\u00f6rster v Hoofddirectie van de Informatie Beheer Groep\u00a0[2008] ECR WE-8507"},{"key":"9200_CR14","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church A (1936) An unsolvable problem of elementary number theory. Am J Math 58:345","journal-title":"Am J Math"},{"key":"9200_CR15","volume-title":"Stanford encyclopaedia of philosophy","author":"B Copeland","year":"1996","unstructured":"Copeland B (1996) The Church\u2013Turing Thesis. In: Zalta A (ed) Stanford encyclopaedia of philosophy. Stanford University, Stanford"},{"key":"9200_CR16","unstructured":"Criminal Justice Act 1948 (1948 c.58)"},{"key":"9200_CR17","unstructured":"Criminal Law Amendment Act 1885 (48 & 49 Vict c.69)"},{"issue":"5","key":"9200_CR18","first-page":"703","volume":"71","author":"DL Dalke","year":"2013","unstructured":"Dalke DL (2013) Can computers replace lawyers, mediators and judges? The Advocate 71(5):703","journal-title":"The Advocate"},{"key":"9200_CR19","volume-title":"On Queer Street","author":"H David","year":"1997","unstructured":"David H (1997) On Queer Street. Harper Collins, London"},{"key":"9200_CR20","first-page":"125","volume-title":"Lawyer\u2019s medicine: the legislature, the courts and medical practice 1760\u20132000","author":"R Davidson","year":"2009","unstructured":"Davidson R (2009) Law, medicine and the treatment of homosexual offenders in Scotland 1950\u20131980. In: Goold WE, Kelly C (eds) Lawyer\u2019s medicine: the legislature, the courts and medical practice 1760\u20132000. Hart Publishing, Oxford, p 125"},{"key":"9200_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10506-015-9162-1","volume":"23","author":"S Jelali El","year":"2015","unstructured":"El Jelali S, Fersini E, Messina E (2015) Legal retrieval as support to eMediation: matching disputant\u2019s case and court decisions. Artif Intell Law 23:1","journal-title":"Artif Intell Law"},{"key":"9200_CR22","unstructured":"European Convention on Human Rights and Fundamental Freedoms 1950"},{"key":"9200_CR23","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1093\/lpr\/mgs007","volume":"11","author":"J Franklin","year":"2012","unstructured":"Franklin J (2012) How much of common sense and legal reasoning is formalizable: a review of conceptual obstacles. Law Probab Risk 11:225","journal-title":"Law Probab Risk"},{"issue":"4","key":"9200_CR24","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1210\/endo-26-4-590","volume":"26","author":"SJ Glass","year":"1940","unstructured":"Glass SJ, Deuel HJ, Wright CA (1940) Sex hormone studies in male homosexuality. Endocrinology 26(4):590","journal-title":"Endocrinology"},{"key":"9200_CR27","doi-asserted-by":"crossref","DOI":"10.4324\/9780203101902","volume-title":"Crime, community and morality","author":"S Green","year":"2014","unstructured":"Green S (2014) Crime, community and morality. Routledge, Abingdon"},{"issue":"1","key":"9200_CR25","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K G\u00f6del","year":"1931","unstructured":"G\u00f6del K (1931) \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme I. Monatshefte Math Phys 38(1):173","journal-title":"Monatshefte Math Phys"},{"key":"9200_CR26","unstructured":"HM Government (2015) A summary of recorded crime data from 1898 to 2001\/02. https:\/\/www.gov.uk\/government\/statistics\/historical-crime-data . Accessed 23 Sept 2015"},{"issue":"1","key":"9200_CR28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1023\/A:1019516031847","volume":"10","author":"C Hafner","year":"2002","unstructured":"Hafner C, Berman D (2002) The role of context in case-based legal reasoning: teleological, temporal, and procedural. Artif Intell Law 10(1):19","journal-title":"Artif Intell Law"},{"key":"9200_CR43","unstructured":"Hansard HC Deb 03 November 1949 vol. 469 cc577\u20139"},{"key":"9200_CR29","first-page":"159","volume-title":"Heterosexual dictatorship","author":"P Higgins","year":"1996","unstructured":"Higgins P (1996) Heterosexual dictatorship. Fourth Estate, London, p 159"},{"key":"9200_CR30","first-page":"475","volume-title":"From Frege to G\u00f6del: a sourcebook on mathematical logic 1879\u20131931","author":"D Hilbert","year":"1967","unstructured":"Hilbert D (1967) The foundations of mathematics. In: Heijenoort V (ed) From Frege to G\u00f6del: a sourcebook on mathematical logic 1879\u20131931. Harvard University Press, Cumberland, p 475"},{"key":"9200_CR31","volume-title":"Alan Turing: The Enigma","author":"A Hodges","year":"1983","unstructured":"Hodges A (1983) Alan Turing: The Enigma. Vintage, London"},{"key":"9200_CR32","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"W Hohfeld","year":"1913","unstructured":"Hohfeld W (1913) Fundamental legal conceptions as applied in judicial reasoning. Yale Law J 23:16","journal-title":"Yale Law J"},{"key":"9200_CR33","doi-asserted-by":"crossref","DOI":"10.5749\/minnesota\/9780816653140.001.0001","volume-title":"The Spiv and The Architect: Unruly life in Post-war London","author":"R Hornsey","year":"2010","unstructured":"Hornsey R (2010) The Spiv and The Architect: Unruly life in Post-war London. Regents University of Minnesota, Minneapolis"},{"issue":"1","key":"9200_CR100","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/s10991-013-9142-z","volume":"35","author":"CF Huws","year":"2014","unstructured":"Huws CF (2014) Command Theory, Control and Computing: A Playwright\u2019s Perspective on Alan Turing and the Law. Liverpool Law Rev 35(1):7\u201323","journal-title":"Liverpool Law Rev"},{"key":"9200_CR34","volume-title":"The other love: an historical and contemporary survey of homosexuality in Britain","author":"HM Hyde","year":"1970","unstructured":"Hyde HM (1970) The other love: an historical and contemporary survey of homosexuality in Britain. Heinemann, London"},{"key":"9200_CR35","unstructured":"Knight v Knight\u00a0(1840) 3 Beav 148"},{"issue":"4","key":"9200_CR102","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s10506-015-9168-8","volume":"23","author":"TTN Le","year":"2015","unstructured":"Le TTN, Shirai K, Nguyen ML, Shimazu A (2015) Extracting indices from Japanese legal documents. Artif Intell Law 23(4):315\u2013344","journal-title":"Artif Intell Law"},{"key":"9200_CR36","volume-title":"British Queer history: new approaches and perspectives","author":"B Lewis","year":"2013","unstructured":"Lewis B (2013) British Queer history: new approaches and perspectives. Manchester University Press, Manchester"},{"issue":"3","key":"9200_CR37","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/s10506-015-9172-z","volume":"23","author":"D Liebwald","year":"2015","unstructured":"Liebwald D (2015) On transparent law; good legislation and accessibility to legal information: towards an integrated information system. Artif Intell Law 23(3):301","journal-title":"Artif Intell Law"},{"issue":"4","key":"9200_CR38","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s10506-016-9186-1","volume":"24","author":"RP Loui","year":"2016","unstructured":"Loui RP (2016) From Berman and Hafner\u2019s teleological context to Baude and Sachs\u2019 interpretive defaults: an ontological challenge for the next decades of AI and Law. Artif Intell Law 24(4):371","journal-title":"Artif Intell Law"},{"key":"9200_CR39","unstructured":"Maxwell-Fife D (1954) Sexual Offences,\u00a0Cabinet\u00a0Office Record, 17 February. 1954,\u00a0PRO:\u00a0CAB 129\/66"},{"issue":"1","key":"9200_CR40","first-page":"36","volume":"80","author":"WS McCulloch","year":"1955","unstructured":"McCulloch WS (1955) Mysterium Iniquitatis of sinful man aspiring into the place of God. Sci Mon 80(1):36","journal-title":"Sci Mon"},{"key":"9200_CR41","doi-asserted-by":"crossref","DOI":"10.4324\/9780203471944","volume-title":"Homosexuality, law and resistance","author":"D McGhee","year":"2001","unstructured":"McGhee D (2001) Homosexuality, law and resistance. Routledge, Abingdon"},{"key":"9200_CR42","first-page":"5","volume":"35","author":"F Mort","year":"1988","unstructured":"Mort F (1988) Cityscapes: consumption, masculinities, and the mapping of London. Urban Stud 35:5\u20136","journal-title":"Urban Stud"},{"key":"9200_CR44","unstructured":"Offences Against the Person Act 1861 (24 a& 25 Vict. c.100)"},{"key":"9200_CR45","volume-title":"The annotaed Turing: a guided tour through Alan Turing\u2019s historic paper on computability and the Turing machine","author":"C Petzold","year":"2008","unstructured":"Petzold C (2008) The annotaed Turing: a guided tour through Alan Turing\u2019s historic paper on computability and the Turing machine. Wiley, Indianapolis"},{"issue":"2","key":"9200_CR46","first-page":"127","volume":"6","author":"H Prakken","year":"1996","unstructured":"Prakken H, Sartor G (1996) Modelling reasoning with precedents in a formal dialogue game. Artif Intell Law 6(2):127","journal-title":"Artif Intell Law"},{"key":"9200_CR47","unstructured":"R v Hunt [1950] 2 All ER 291"},{"key":"9200_CR48","unstructured":"R v Knuller (Publishing, Printing and Promotions) [1972] QB 179"},{"key":"9200_CR49","unstructured":"R v Penguin Books [1961] Crim LR 176"},{"key":"9200_CR50","unstructured":"Report of the Departmental Committee on Homosexual Offences and Prostitution. London; HMSO, 1957"},{"key":"9200_CR51","first-page":"329","volume":"35","author":"RE Scott","year":"1993","unstructured":"Scott RE (1993) Chaos theory and the justice paradox. William Mary Law Rev 35:329","journal-title":"William Mary Law Rev"},{"issue":"5","key":"9200_CR52","doi-asserted-by":"crossref","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"},{"key":"9200_CR53","unstructured":"Sexual Offences Act 1967 (1967 c.60)"},{"key":"9200_CR54","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511551499","volume-title":"Universality and the liar: an essay on truth and the diagonal argument","author":"K Simmons","year":"1993","unstructured":"Simmons K (1993) Universality and the liar: an essay on truth and the diagonal argument. Cambridge University Press, Cambridge"},{"key":"9200_CR55","unstructured":"The Calgarth [1926] P. 93"},{"key":"9200_CR56","unstructured":"Theft Act 1968 (1968 c.60)"},{"issue":"2","key":"9200_CR57","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"AM Turing","year":"1937","unstructured":"Turing AM (1937) On computable numbers with an application to the Entscheidungsproblem. Proc Lond Math Soc 42(2):230","journal-title":"Proc Lond Math Soc"},{"key":"9200_CR101","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"49","author":"AM Turing","year":"1950","unstructured":"Turing AM (1950) Computing Machinery and Intelligence. Mind 49:433\u2013460","journal-title":"Mind"},{"key":"9200_CR58","unstructured":"Turing AM (1952) Letter to Fred Clayton, quoted in Hodges A (2012) Alan Turing: The Enigma. Princeton University Press, Princeton"},{"key":"9200_CR59","volume-title":"Prof: Alan Turing decoded","author":"D Turing","year":"2015","unstructured":"Turing D (2015) Prof: Alan Turing decoded. The History Press, Stroud"},{"issue":"4","key":"9200_CR60","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/s10506-008-9071-7","volume":"16","author":"C Unwin","year":"2008","unstructured":"Unwin C (2008) An object model for use in oral and written advocacy. Artif Intell Law 16(4):384","journal-title":"Artif Intell Law"},{"issue":"6","key":"9200_CR61","doi-asserted-by":"crossref","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"},{"key":"9200_CR62","volume-title":"LGBT people and the UK cultural sector: the response of libraries, museums, archives and heritage since 1950","author":"J Vincent","year":"2014","unstructured":"Vincent J (2014) LGBT people and the UK cultural sector: the response of libraries, museums, archives and heritage since 1950. Routldge, Abingdon"},{"issue":"3","key":"9200_CR63","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10506-016-9183-4","volume":"24","author":"C Vlek","year":"2016","unstructured":"Vlek C, Prakken H, Renooik S, Verheij B (2016) A method for explaining Bayesian networks for legal evidence with scenarios. Artif Intell Law 24(3):285\u2013324","journal-title":"Artif Intell Law"},{"issue":"3","key":"9200_CR64","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10506-010-9102-z","volume":"18","author":"D Walton","year":"2010","unstructured":"Walton D (2010) Similarity, precedent and argument from analogy. Artif Intell Law 18(3):217","journal-title":"Artif Intell Law"},{"key":"9200_CR65","first-page":"12","volume-title":"Coming out: homosexual politics in Britain from the 19th century to the present","author":"J Weeks","year":"1990","unstructured":"Weeks J (1990) Coming out: homosexual politics in Britain from the 19th century to the present. Quartet Books, London, p 12"},{"key":"9200_CR66","volume-title":"A minority","author":"G Westwood","year":"1960","unstructured":"Westwood G (1960) A minority. Longmans Green, London"},{"key":"9200_CR67","unstructured":"World Health Organisation (1968) International Statistical Classification of Diseases and Related Health Problems International Classification of Diseases 6. World Health Organisation, Geneva"},{"key":"9200_CR68","volume-title":"The Stanford encyclopedia of philosophy","author":"R Zach","year":"2016","unstructured":"Zach R (2016) Hilbert\u2019s Program. In: Zalta E (ed) The Stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, Stanford"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-017-9200-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9200-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9200-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T16:49:36Z","timestamp":1602089376000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-017-9200-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,13]]},"references-count":71,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9200"],"URL":"https:\/\/doi.org\/10.1007\/s10506-017-9200-2","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,13]]}}}