{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T01:21:33Z","timestamp":1768353693678,"version":"3.49.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319195742","type":"print"},{"value":"9783319195759","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19575-9_15","type":"book-chapter","created":{"date-parts":[[2015,10,5]],"date-time":"2015-10-05T15:35:32Z","timestamp":1444059332000},"page":"409-434","source":"Crossref","is-referenced-by-count":2,"title":["From the Language of Legislation to Executable Logic Programs"],"prefix":"10.1007","author":[{"given":"Adam","family":"Wyner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1715-9","volume-title":"Reference to abstract objects in discourse","author":"N. Asher","year":"1993","unstructured":"Asher, N. 1993. Reference to abstract objects in discourse. Dordrecht\/Boston: Kluwer Academic."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Athan, Tara, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, and Adam Wyner. 2013a. Legalruleml: From metamodel to use cases \u2013 (a tutorial). In RuleML, Volume 8035 of lecture notes in computer science, ed. L. Morgenstern, P.S. Stefaneas, F. L\u00e9vy, A. Wyner, and A.\u00a0Paschke, 13\u201318. Springer: Heidelberg.","DOI":"10.1007\/978-3-642-39617-5_4"},{"key":"15_CR3","first-page":"3","volume-title":"Proceedings of 14th international conference on artificial intelligence and law, ICAIL 2013","author":"Tara Athan","year":"2013","unstructured":"Athan, Tara, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Pasckhe, and Adam Wyner. 2013b. OASIS LegalRuleML. In Proceedings of 14th international conference on artificial intelligence and law, ICAIL 2013, 3\u201312. Rome: ACM."},{"key":"15_CR4","unstructured":"Basile, Valerio, Johan Bos, Kilian Evang, and Noortje Venhuizen. 2012. A platform for collaborative semantic annotation. In Proceedings of the demonstrations at the 13th conference of the European chapter of the association for computational linguistics (EACL), Avignon, 92\u201396."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bench-Capon, Trevor, G.O. Robinson, Tom Routen, and Marek J. Sergot. 1987. Logic programming for large scale applications in law: A formalisation of supplementary benefit legislation. In International conference on artificial intelligence and law, Boston, 190\u2013198.","DOI":"10.1145\/41735.41757"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1080\/13600834.1993.9965668","volume":"2","author":"Trevor Bench-Capon","year":"1993","unstructured":"Bench-Capon, Trevor, Frans Coenen, and Paul Orton. 1993. Argument based explanation of the british nationality act as a logic program. Information and Communications Technology Law 2:53\u201366.","journal-title":"Information and Communications Technology Law"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Bos, Johan. 2008. Wide-coverage semantic analysis with boxer. In Semantics in text processing. STEP 2008 conference proceedings, research in computational semantics, ed. J. Bos and R. Delmonte, 277\u2013286. College Publications.","DOI":"10.3115\/1626481.1626503"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"1240","DOI":"10.3115\/1220355.1220535","volume-title":"Proceedings of the 20th international conference on computational linguistics (COLING 04)","author":"Johan Bos","year":"2004","unstructured":"Bos, Johan, Stephen Clark, Mark Steedman, James Curran, and Julia Hockenmaier. 2004. Wide\u2013coverage semantic representations from a CCG parser. In Proceedings of the 20th international conference on computational linguistics (COLING 04), 1240\u20131246. Morristown: Association for Computational Linguistics."},{"key":"15_CR9","volume-title":"Meaning and grammar: An introduction to semantics","author":"Gennaro Chierchia","year":"2000","unstructured":"Chierchia, Gennaro, and Sally McConnell-Ginet. 2000. Meaning and grammar: An introduction to semantics. Cambridge: MIT."},{"key":"15_CR10","unstructured":"Cunningham, Hamish, Diana Maynard, Kalina Bontcheva, and Valentin Tablan. 2002. GATE: A framework and graphical development environment for robust NLP tools and applications. In Proceedings of the 40th anniversary meeting of the association for computational linguistics (ACL02), Philadelphia, 168\u2013175."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Dagan, Ido, Bill Dolan, Bernardo Magnini, and Dan Roth. 2009. Recognizing textual entailment: Rational, evaluation and approaches. Natural Language Engineering 15(4). pp. i\u2013xvii.","DOI":"10.1017\/S1351324909990209"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1145\/158976.158997","volume-title":"Proceedings of the 4th international conference on artificial intelligence and law, ICAIL 93","author":"Surendra Dayal","year":"1993","unstructured":"Dayal, Surendra, Michael Harmer, Peter Johnson, and David Mead. 1993. Beyond knowledge representation: Commercial uses for legal knowledge bases. In Proceedings of the 4th international conference on artificial intelligence and law, ICAIL 93, 167\u2013174. New York: ACM."},{"key":"15_CR13","unstructured":"Dayal, Surendra, and Peter Johnson. 2000. A web-based revolution in Australian public administration. Journal of Information, Law, and Technology, 1. http:\/\/www2.warwick.ac.uk\/fac\/soc\/law\/elj\/jilt\/2000_1\/austlii\/dayal\/"},{"key":"15_CR14","first-page":"207","volume-title":"Legal knowledge and information systems. Jurix 2008: The 21st annual conference, frontiers in artificial intelligence and applications","author":"Emile de Maat","year":"2008","unstructured":"de Maat, Emile, and Radboud Winkels. 2008. Automatic classification of sentences in dutch laws. In Legal knowledge and information systems. Jurix 2008: The 21st annual conference, frontiers in artificial intelligence and applications, 207\u2013216. IOS Press: Amsterdam."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Fuchs, Norbert E., Kaarel Kaljurand, and Tobias Kuhn. 2008. Attempto controlled english for knowledge representation. In Reasoning web, Volume 5224 of lecture notes in computer science, ed. C. Baroglio, P.A.\u00a0Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, and S. Schaffert, 104\u2013124. Berlin\/Heidelberg: Springer.","DOI":"10.1007\/978-3-540-85658-0_3"},{"key":"15_CR16","volume-title":"Representation of DHSS Regulations as a Logic Program","author":"Peter Hammond","year":"1983","unstructured":"Hammond, Peter. 1983. Representation of DHSS Regulations as a Logic Program. Department of Computing: Research report DoC."},{"key":"15_CR17","first-page":"21","volume-title":"Law, ontologies and the semantic web, Volume 188 of frontiers in artificial intelligence and applications","author":"Rinke Hoekstra","year":"2009","unstructured":"Hoekstra, Rinke, Joost Breuker, Marcello Di Bello, and Alexander Boer. 2009. LKIF core: Principled ontology development for the legal domain. In Law, ontologies and the semantic web, Volume 188 of frontiers in artificial intelligence and applications, ed. J. Breuker, P. Casanovas, M.C.A. Klein, and E. Francesconi, 21\u201352. Amsterdam: IOS Press."},{"key":"15_CR18","volume-title":"Handbook of pragmatics","year":"2004","unstructured":"Horn, Laurence, and Gregory Ward. eds. 2004. Handbook of pragmatics. Malden: Blackwell."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Johnson, Peter, and David Mead. 1991. Legislative knowledge base systems for public administration: Some practical issues. In ICAIL, Oxford, 108\u2013117.","DOI":"10.1145\/112646.112660"},{"key":"15_CR20","volume-title":"Speech and language processing, Prentice hall series in artificial intelligence","author":"Daniel Jurafsky","year":"2008","unstructured":"Jurafsky, Daniel, and James H. Martin. 2008. Speech and language processing, Prentice hall series in artificial intelligence, 2nd ed. Prentice Hall, Upper Saddle River: N.J.","edition":"2"},{"key":"15_CR21","volume-title":"From discourse to logic: Introduction to model-theoretic semantics of natural language: Formal logic and discourse representation theory","author":"Hans Kamp","year":"1993","unstructured":"Kamp, Hans, and Uwe Reyle. 1993. From discourse to logic: Introduction to model-theoretic semantics of natural language: Formal logic and discourse representation theory. Springer, Dordrecht."},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10579-007-9048-2","volume":"42","author":"Karin Kipper","year":"2008","unstructured":"Kipper, Karin, Anna Korhonen, Neville Ryant, and Martha Palmer. 2008. A large-scale classification of english verbs. Language Resources and Evaluation 42(1):21\u201340.","journal-title":"Language Resources and Evaluation"},{"key":"15_CR23","first-page":"87","volume-title":"Computing meaning: Volume 3","author":"Alex Lascarides","year":"2007","unstructured":"Lascarides, Alex, and Nicholas Asher. 2007. Segmented discourse representation theory: Dynamic semantics with discourse structure. In Computing meaning: Volume 3, ed. H. Bunt and R. Muskens, 87\u2013124. Kluwer Academic, Dordrecht."},{"key":"15_CR24","volume-title":"In Proceedings of the IEE conference on man\/machine systems UMIST, Number 212","author":"Philip Leith","year":"1982","unstructured":"Leith, Philip. 1982. ELI: An expert legislative consultant. In Proceedings of the IEE conference on man\/machine systems UMIST, Number 212. Conference Publication. London: IEE Conference Publication."},{"key":"15_CR25","volume-title":"Ontology development 101: A guide to creating your first ontology","author":"N. Noy","year":"2000","unstructured":"Noy, N., and D. McGuinness. 2000. Ontology development 101: A guide to creating your first ontology. Technical report, Stanford University."},{"key":"15_CR26","unstructured":"Pelletier, Francis, and Gregory Carlson. 1995. The generic book. Chicago: The University of Chicago Press: Chicago."},{"key":"15_CR27","volume-title":"In Machine intelligence, volume 11: 209\u2013260","author":"Marek Sergot","year":"1988","unstructured":"Sergot, Marek. 1988. Representing legislation as logic programs. In Machine intelligence, volume 11: 209\u2013260. Oxford: Oxford University Press."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"Sergot, Marek, Fariba Sadri, Robert A. Kowalski, Frank Kriwaczek, Peter Hammond, and H.T.\u00a0Cory. 1986. The British Nationality Act as a logic program. Communications of the ACM 29(5):370\u2013386.","DOI":"10.1145\/5689.5920"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Shiffman, Richard N., George Michel, Michael Krauthammer, Norbert E. Fuchs, Kaarel\u00a0Kaljurand, and Tobias Kuhn. 2010. Writing clinical practice guidelines in controlled natural language. In Proceedings of the 2009 conference on controlled natural language, CNL09, 265\u2013280. Berlin\/Heidelberg: Springer.","DOI":"10.1007\/978-3-642-14418-9_16"},{"key":"15_CR30","first-page":"45","volume-title":"Computer science and law","author":"Ronald Stamper","year":"1980","unstructured":"Stamper, Ronald. 1980. LEGOL: Modelling legal rules by computer. In Computer science and law, 45\u201371. Cambridge: Cambridge University Press."},{"issue":"3","key":"15_CR31","first-page":"9","volume":"20","author":"Adam Wyner","year":"2012","unstructured":"Wyner, Adam. 2012. Commentary on\u2013Trevor Bench-Capon, Gwen Robinson, Tom Routen, and Marek Sergot. Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation. Artificial Intelligence and Law 20(3):9\u201310","journal-title":"Intelligence and Law"},{"issue":"1","key":"15_CR32","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10506-012-9119-6","volume":"20","author":"Adam Wyner","year":"2012","unstructured":"Wyner, Adam, and Rinke Hoekstra. 2012. A legal case OWL ontology with an instantiation of Popov v. Hayashi. Artificial Intelligence and Law 20(1):83\u2013107.","journal-title":"Intelligence and Law"},{"key":"15_CR33","first-page":"127","volume-title":"Proceedings of legal knowledge and information systems (JURIX 2010)","author":"Adam Wyner","year":"2010","unstructured":"Wyner, Adam, and Wim Peters. 2010a. Lexical semantics and expert legal knowledge towards the identification of legal case factors. In Proceedings of legal knowledge and information systems (JURIX 2010), ed. R. Winkels, 127\u2013136. Amsterdam: IOS Press."},{"key":"15_CR34","first-page":"36","volume-title":"Proceedings of the language resources and evaluation conference workshop on semantic processing of legal texts (SPLeT 2010)","author":"Adam Wyner","year":"2010","unstructured":"Wyner, Adam, and Wim Peters. 2010b. Towards annotating and extracting textual legal case factors. In Proceedings of the language resources and evaluation conference workshop on semantic processing of legal texts (SPLeT 2010), 36\u201345. Valletta: ELRA."},{"key":"15_CR35","first-page":"113","volume-title":"Legal knowledge and information systems \u2013 JURIX 2011: The twenty-fourth annual conference","author":"Adam Wyner","year":"2011","unstructured":"Wyner, Adam, and Wim Peters. 2011. On rule extraction from regulations. In Legal knowledge and information systems \u2013 JURIX 2011: The twenty-fourth annual conference, ed. K. Atkinson, 113\u2013122. Amsterdam: IOS Press."},{"key":"15_CR36","unstructured":"Wyner, Adam, and Tom M. van Engers. 2010. A framework for enriched, controlled on-line discussion forums for e-government policy-making. In Electronic government and electronic participation, ed. J.-L. Chappelet, O. Glassey, M. Janssen, A. Macintosh, J. Scholl, E.\u00a0Tambouris, and M. Wimmer, 357\u2013364. Linz: Trauner Verlag."},{"key":"15_CR37","doi-asserted-by":"crossref","unstructured":"Wyner, Adam, Krasimir Angelov, Guntis Barzdins, Danica Damljanovic, Brian Davis, Norbert\u00a0E.\u00a0Fuchs, Stefan Hfler, Ken Jones, Kaarel Kaljurand, and Tobias Kuhn. 2010a. On controlled natural languages: Properties and prospects. In Proceedings of the 2009 conference on controlled natural language, CNL09, 281\u2013289. Berlin\/Heidelberg: Springer.","DOI":"10.1007\/978-3-642-14418-9_17"},{"key":"15_CR38","first-page":"177","volume-title":"Proceedings of 25th international conference on legal knowledge and information systems (JURIX 2012)","author":"Adam Wyner","year":"2012","unstructured":"Wyner, Adam, Johan Bos, Valerio Basile, and Paulo Quaresma. 2012. An empirical approach to the semantic representation of law. In Proceedings of 25th international conference on legal knowledge and information systems (JURIX 2012), 177\u2013180. Amsterdam: IOS Press."},{"key":"15_CR39","doi-asserted-by":"crossref","unstructured":"Wyner, Adam, Tom M. van Engers, and Kiavash Bahreini. 2010b. From policy-making statements to first-order logic. In EGOVIS, Volume 6267 of lecture notes in computer science, ed. K.N. Andersen, E.\u00a0Francesconi, \u00c5.\u00a0Gr\u00f6nlund, and T.M. van Engers, 47\u201361. Berlin\/Heidelberg: Springer.","DOI":"10.1007\/978-3-642-15172-9_5"}],"container-title":["Legisprudence Library","Logic in the Theory and Practice of Lawmaking"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19575-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,20]],"date-time":"2023-01-20T20:05:21Z","timestamp":1674245121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19575-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195742","9783319195759"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19575-9_15","relation":{},"ISSN":["2213-2813","2213-2856"],"issn-type":[{"value":"2213-2813","type":"print"},{"value":"2213-2856","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}