{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T04:40:05Z","timestamp":1682916005171},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00871851","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:02:23Z","timestamp":1104130943000},"page":"221-265","source":"Crossref","is-referenced-by-count":5,"title":["Formalizing multiple interpretation of legal knowledge"],"prefix":"10.1007","volume":"3","author":[{"given":"Andreas","family":"Hamfelt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/112646.112652","volume-title":"Proceedings ofThe Third International Conference on Artificial Intelligence and Law","author":"L. E. Allen","year":"1991","unstructured":"Allen, L. E. & Saxon S. S. 1991. More IA Needed in AI: Interpretation Assistance for Coping with the Problem of Multiple Structural Interpretations. In Proceedings ofThe Third International Conference on Artificial Intelligence and Law, 53?61, Oxford: Association of Computing Machinery."},{"key":"CR2","volume-title":"Nicomachean Ethics","author":"Aristotle","year":"1982","unstructured":"Aristotle 1982.Nicomachean Ethics. transl. H. Rackham, Loeb Classical Library 73, Cambridge, Mass: Harvard University Press."},{"key":"CR3","volume-title":"Modeling Legal Argument","author":"K. D. Ashley","year":"1990","unstructured":"Ashley, K. D. 1990.Modeling Legal Argument. Cambridge, Mass: MIT Press."},{"key":"CR4","unstructured":"Ashley, K. D. & Rissland, E. L. 1985. Toward Modelling Legal Argument. In Pre-Proceedings ofThe Second International Congress, on Logic, Informatics, and Law, 97?106. Florence."},{"key":"CR5","first-page":"165","volume":"2","author":"J. Barklund","year":"1993","unstructured":"Barklund, J. & Hamfelt, A. 1993. Formalising Multiple Interpretations of Law as Metalogic Programs,J. Law, Computer & Artificial Intelligence 2: 165?193.","journal-title":"J. Law, Computer & Artificial Intelligence"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(94)90041-8","volume":"18","author":"J. Barklund","year":"1994","unstructured":"Barklund, J. & Hamfelt, A. 1994. Hierarchical Representation of Legal Knowledge with Metaprogramming in Logic,J. Logic Programming 18: 55?80.","journal-title":"J. Logic Programming"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"T.J.M. Bench-Capon","year":"1992","unstructured":"Bench-Capon, T.J.M. & Coenen, F.P. 1992. Isomorphism and Legal Knowledge Based Systems,J. Artificial Intelligence and Law 1: 65?86.","journal-title":"J. Artificial Intelligence and Law"},{"key":"CR8","first-page":"39","volume-title":"Computer Power and Legal Language","author":"T. Bench-Capon","year":"1988","unstructured":"Bench-Capon, T. & Sergot, M. 1988. Toward a Rule Based Representation of Open Texture in Law. In C. Walter (ed.)Computer Power and Legal Language (pp. 39?60). New York: Quorum Books."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/13600869.1987.9966251","volume":"3","author":"D. H. Berman","year":"1987","unstructured":"Berman, D. H. & Hafner, C. D. 1987. Indeterminacy: A Challenge to Logic-Based Models of Legal Reasoning,Yearbook of Law, Computers and Technology 3: 1?35.","journal-title":"Yearbook of Law, Computers and Technology"},{"key":"CR10","first-page":"153","volume-title":"Logic Programming","author":"K. A. Bowen","year":"1982","unstructured":"Bowen, K. A. & Kowalski, R. A. 1982. Amalgamating Language and Metalanguage in Logic Programming. In K. L. Clark & S.-\u00c5. T\u00e4rnlund (eds.)Logic Programming (pp. 153?172), London: Academic Press."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/112646.112654","volume-title":"Proceedings ofThe Third International Conference on Artificial Intelligence and Law","author":"P. Bratley","year":"1991","unstructured":"Bratley, P., Fremont, J., Mackaay, E. & Poulin D. 1991. Coping with Change. In Proceedings ofThe Third International Conference on Artificial Intelligence and Law, 69?75, Oxford: Association of Computing Machinery."},{"key":"CR12","unstructured":"Clark, K. L. 1979. Predicate Logic as a Computational Formalism,Research Report 79\/59, Department of Computing, Imperial College."},{"key":"CR13","volume-title":"Meta-language in Logic Programming","author":"K. Eshghi","year":"1987","unstructured":"Eshghi, K. 1987.Meta-language in Logic Programming. Ph.D. Thesis, Department of Computing, Imperial College, London."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF00871759","volume":"2","author":"J. C. Hage","year":"1994","unstructured":"Hage, J. C., Leenes, R. & Lodder, A. R. 1994. Hard Cases: A Procedural Approach,J. Artificial Intelligence and Law 2: 113?167.","journal-title":"J. Artificial Intelligence and Law"},{"key":"CR15","volume-title":"The Multilevel Structure of Legal Knowledge and its Representation","author":"A. Hamfelt","year":"1990","unstructured":"Hamfelt, A. 1990.The Multilevel Structure of Legal Knowledge and its Representation. Ph.L. Thesis, Uppsala University, Uppsala."},{"key":"CR16","volume-title":"Metalogic Representation of Multilayered Knowledge","author":"A. Hamfelt","year":"1992","unstructured":"Hamfelt, A. 1992.Metalogic Representation of Multilayered Knowledge. Ph.D. Thesis, Uppsala University, Uppsala."},{"key":"CR17","unstructured":"Hamfelt, A. & Barklund, J. 1989. Metalevels in Legal Knowledge and their Runnable Representation in Logic. In A. A. Martino (ed.) Pre-Proceedings ofThe Third International Congress, on Logic, Informatics, and Law, II, 557?576. Florence."},{"key":"CR18","first-page":"105","volume-title":"Proceedings ofThe Second Workshop on Metaprogramming in Logic","author":"A. Hamfelt","year":"1990","unstructured":"Hamfelt, A. & Barklund, J. 1990. Metaprogramming for Representation of Legal Principles. In M. Bruynooghe (ed.) Proceedings ofThe Second Workshop on Metaprogramming in Logic, 105?122, Katholieke Universiteit Leuven, Leuven."},{"key":"CR19","series-title":"UPMAIL TR","volume-title":"Metalogic Representation of Stratified Knowledge","author":"A. Hamfelt","year":"1991","unstructured":"Hamfelt, A. & Hansson, \u00c5. 1991a. Metalogic Representation of Stratified Knowledge,UPMAIL TR 66, Computing Science Department, Uppsala University, Uppsala."},{"key":"CR20","series-title":"UPMAIL TR","volume-title":"Representation of Fragmentary and Multilayered Knowledge ? a Semiformal Metatheory as an Interactive Metalogic Program","author":"A. Hamfelt","year":"1991","unstructured":"Hamfelt, A. & Hansson, \u00c5. 1991b. Representation of Fragmentary and Multilayered Knowledge ? a Semiformal Metatheory as an Interactive Metalogic Program,UPMAIL TR 68, Computing Science Department, Uppsala University, Uppsala."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Hamfelt, A. & Hansson, \u00c5. 1992a. A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. In H. Tanaka (ed.) Proceedings ofThe International Conference on Fifth Generation Computer Systems, 1107?1114, Ohmsha, Tokyo.","DOI":"10.1007\/3-540-56282-6_22"},{"key":"CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-56282-6_22","volume-title":"Meta-Programming in Logic","author":"A. Hamfelt","year":"1992","unstructured":"Hamfelt, A. & Hansson, \u00c5. 1992b. Representation of Fragmentary and Multilayered Knowledge. In A. Pettorossi (ed.): Meta-Programming in Logic, (pp. 321?335)Lecture Notes in Computer Science 649. Berlin: Springer-Verlag."},{"key":"CR23","unstructured":"Hamfelt, A. & Fischer Nilsson, J. 1994. Inductive Metalogic Programming. In S. Wrobel (ed.) Proceedings ofThe Fourth International Workshop on Inductive Logic Programming, 85?96, GMD-Studien Nr. 237, ISSN 0170-8120, Bad Honnef\/Bonn."},{"key":"CR24","volume-title":"The Concept of Law","author":"H. L. A. Hart","year":"1961","unstructured":"Hart, H. L. A. 1961.The Concept of Law. Oxford: Clarendon Press."},{"key":"CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7111-0","volume-title":"Law and Logic","author":"J. Horoviz","year":"1972","unstructured":"Horoviz, J. 1972.Law and Logic. Vienna: Springer-Verlag."},{"key":"CR26","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1980","unstructured":"Kleene, S. C. 1980.Introduction to Metamathematics. New York: North-Holland."},{"key":"CR27","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1111\/j.1467-9337.1990.tb00058.x","volume":"3","author":"R. A. Kowalski","year":"1990","unstructured":"Kowalski, R. A. & Sergot, M. J. 1990. The Use of Logical Models in Legal Problem Solving,Ratio Juris 3: 201?218.","journal-title":"Ratio Juris"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90050-6","volume":"33","author":"J. E. Laird","year":"1987","unstructured":"Laird J. E., Newell, A. & Rosenbloom, P. S. 1987. SOAR: An Architecture for General Intelligence,J. Artificial Intelligence 33: 1?64.","journal-title":"J. Artificial Intelligence"},{"issue":"20","key":"CR29","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S. & De Raedt, L. 1994. Inductive Logic Programming: Theory and Methods,J. Logic Programming 19, 20: 629?679.","journal-title":"J. Logic Programming"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF03037414","volume":"5","author":"K. Nitta","year":"1988","unstructured":"Nitta, K., Nagao, J. & Mizutori, T. 1988. A Knowledge Representation and Inference System for Procedural Law,J. New Generation Computing 5: 319?359.","journal-title":"J. New Generation Computing"},{"key":"CR31","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/158976.158988","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"D. Poulin","year":"1993","unstructured":"Poulin, D., Bratley, P., Fr\u00e9mont, J. & Mackaay E. 1993. Legal Interpretation in Expert Systems. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 90?99, Amsterdam: Association of Computing Machinery."},{"key":"CR32","first-page":"227","volume-title":"Meta-Level Architectures and Reflection","author":"P. Rosenbloom","year":"1988","unstructured":"Rosenbloom, P., Laird, J. & Newell, A. 1988. Meta-levels in Soar. In Maes, P. & Nardi, D. (eds.)Meta-Level Architectures and Reflection (pp. 227?240), Amsterdam: Elsevier Science Publishers B.V."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1145\/158976.158989","volume-title":"Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law","author":"U. J. Schild","year":"1993","unstructured":"Schild, U. J. & Herzog, S. 1993. The Use of Meta-Rules in Rule Based Legal Computer Systems. In Proceedings ofThe Fourth International Conference on Artificial Intelligence and Law, 100?109, Amsterdam: Association of Computing Machinery."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-0-12-086441-6.50006-4","volume-title":"Knowledge-Based Systems and Legal Applications","author":"M. J. Sergot","year":"1991","unstructured":"Sergot, M. J. 1991. The Representation of Law in Computer Programs. In T. Bench-Capon (ed.)Knowledge-Based Systems and Legal Applications (pp. 3?67), London: Academic Press."},{"key":"CR35","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00118477","volume":"1","author":"D. B. Skalak","year":"1992","unstructured":"Skalak, D. B. & Rissland, E. L. 1992. Arguments and Cases: An Inevitable Intertwining,J. Artificial Intelligence and Law: 1: 3?44.","journal-title":"J. Artificial Intelligence and Law"},{"key":"CR36","doi-asserted-by":"crossref","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A. Tarski","year":"1944","unstructured":"Tarski, A. 1944. The Semantic Conception of Truth,Philosophy and Phenomenological Research 4: 341?375.","journal-title":"Philosophy and Phenomenological Research"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871851.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00871851\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00871851","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T04:01:54Z","timestamp":1682913714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00871851"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00871851"],"URL":"https:\/\/doi.org\/10.1007\/bf00871851","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}