{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T18:30:05Z","timestamp":1767637805456,"version":"3.48.0"},"reference-count":67,"publisher":"Maximum Academic Press","issue":"1","license":[{"start":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T00:00:00Z","timestamp":1246924800000},"content-version":"unspecified","delay-in-days":5242,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Knowledge Engineering Review"],"published-print":{"date-parts":[[1995,3]]},"abstract":"<jats:p>\n                    The representation of parts of legislation in logic, successively implemented in the language of\n                    <jats:italic>logic programming<\/jats:italic>\n                    and managed by Prolog interpreters, has by now existed for more than ten years. The first and most well-known projects were those by the\n                    <jats:italic>Logic Programming Group<\/jats:italic>\n                    of Imperial College of London which, in 1985, formalized the\n                    <jats:italic>British Nationality Act<\/jats:italic>\n                    (Sergot et al., 1986; Sergot, 1990). Other projects followed, for the most part European, including the Italian project, Esplex, developed in Florence (Biagioli et al., 1987), the Dutch project,\n                    <jats:italic>Prolex<\/jats:italic>\n                    , (Walker et al., 1990), the German project born of the collaboration between IBM and the University of Tubingen (Alschwee, Grundrnann, 1986), and the Japanese project,\n                    <jats:italic>Les-2<\/jats:italic>\n                    (Yoshino, 1986).\n                  <\/jats:p>","DOI":"10.1017\/s0269888900007323","type":"journal-article","created":{"date-parts":[[2009,7,7]],"date-time":"2009-07-07T09:34:25Z","timestamp":1246959265000},"page":"89-96","source":"Crossref","is-referenced-by-count":0,"title":["The Legal Applications of Logic Programming Workshop at the ICLP 94 Conference"],"prefix":"10.48130","volume":"10","author":[{"given":"Daniela","family":"Tiscornia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"27968","published-online":{"date-parts":[[2009,7,7]]},"reference":[{"volume-title":"Proceedings of IV ICAIL","year":"1993","author":"Yoshino","key":"S0269888900007323_ref066"},{"key":"S0269888900007323_ref065","first-page":"34","volume-title":"Lecture Notes in Computer Science","author":"Yoshino","year":"1986"},{"key":"S0269888900007323_ref064","first-page":"138","volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","author":"Yao-Hua","year":"1994"},{"key":"S0269888900007323_ref062","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(07)80007-1"},{"volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","year":"1994","author":"Valente","key":"S0269888900007323_ref061"},{"volume-title":"The uses of Argument","year":"1958","author":"Toulmin","key":"S0269888900007323_ref059"},{"key":"S0269888900007323_ref058","doi-asserted-by":"publisher","DOI":"10.1007\/BF00118477"},{"volume-title":"Knowledge Based Systems in the Law","year":"1990","author":"Sergot","key":"S0269888900007323_ref056"},{"key":"S0269888900007323_ref055","doi-asserted-by":"publisher","DOI":"10.1145\/5689.5920"},{"key":"S0269888900007323_ref050","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog1104_4"},{"key":"S0269888900007323_ref049","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(88)90077-X"},{"key":"S0269888900007323_ref048","unstructured":"Perelman CR and Olbrechts-Tyeca L , 1958. \u201cTraiti de l'argumentation. La nouvelle rhetorique.\u201d Paris, PUF. (It. Trans.: Trattato dell'argomentazione. La nuova retorica. Torino, Einaudi, 1956.)"},{"key":"S0269888900007323_ref042","first-page":"307","volume-title":"Automated Analysis of Legal Texts: Logic, Informatics, Law","author":"McCarthy","year":"1986"},{"volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming","year":"1994","author":"Yoshino","key":"S0269888900007323_ref067"},{"key":"S0269888900007323_ref038","first-page":"145","article-title":"Deontic logic in the representation of law: towards a methodology","author":"Jones","year":"1992","journal-title":"Artificial intelligence and the Law"},{"key":"S0269888900007323_ref037","doi-asserted-by":"crossref","unstructured":"Jones A , 1990. \u201cDeontic logic and legal knowledge representation\u201d Ratio Iuris, (2).","DOI":"10.1111\/j.1467-9337.1990.tb00060.x"},{"key":"S0269888900007323_ref036","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869304"},{"key":"S0269888900007323_ref039","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1202-7"},{"volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","year":"1994","author":"Kowalski","key":"S0269888900007323_ref035"},{"key":"S0269888900007323_ref034","unstructured":"Kowalski R , 1991. \u201cLegislation as logic programs.\u201d Research Report, ESPRIT Basic Research Working Group 3152 on Foundations of Legal Reasoning."},{"volume-title":"Proceedings of the Symposium on Computational Logic","year":"1990","author":"Kowalski","key":"S0269888900007323_ref032"},{"key":"S0269888900007323_ref031","first-page":"11","volume-title":"Proceedings of the Second International Conference on Artificial Intelligence and Law","author":"Kowalski","year":"1989"},{"volume-title":"Law, Computer Science and Artificial Intelligence","year":"1989","author":"Kowalski","key":"S0269888900007323_ref030"},{"key":"S0269888900007323_ref027","article-title":"Fundamental legal conceptions as applied in judicial reasoning","volume":"23","author":"Hofheld","year":"1913","journal-title":"Yale Law Journal"},{"volume-title":"The Concept of Law","year":"1961","author":"Hart","key":"S0269888900007323_ref026"},{"volume-title":"Proceedings of First Compulog-Net Workshop","year":"1992","author":"Hamfelt","key":"S0269888900007323_ref025"},{"key":"S0269888900007323_ref023","first-page":"125","volume-title":"Proceedings of the Fourth ICAIL","author":"Groendigk","year":"1993"},{"volume-title":"Proceedings of the 7th Italian Conference on Logic Programming (GULP 92)","year":"1992","author":"Guidotti","key":"S0269888900007323_ref022"},{"volume-title":"Proceedings of the 3rd IJCAI","year":"1987","author":"Davies","key":"S0269888900007323_ref019"},{"key":"S0269888900007323_ref018","first-page":"117","volume-title":"Preproceedings of the Third international Conference Logica, Informatica, Diritto","author":"Costantini","year":"1989"},{"key":"S0269888900007323_ref004","first-page":"94","volume-title":"First International Conference on Artificial Intelligence and Law","author":"Allen","year":"1987"},{"volume-title":"Proceedings of the IV ICAIL","year":"1993","author":"Sartor","key":"S0269888900007323_ref054"},{"key":"S0269888900007323_ref020","first-page":"10","volume-title":"Proceedings of the Fourth ICAIL","author":"Gordon","year":"1993"},{"key":"S0269888900007323_ref028","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.6.719"},{"key":"S0269888900007323_ref053","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/112646.112665","volume-title":"Proceedings of the 3rd International Conference on Artificial Intelligence and Law","author":"Sartor","year":"1991"},{"volume-title":"Logical Tools for Modelling Legal Argument","year":"1992","author":"Prakken","key":"S0269888900007323_ref051"},{"key":"S0269888900007323_ref044","first-page":"2","volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG","author":"McCarthy","year":"1994"},{"volume-title":"Proceedings of the IV ICAIL","year":"1993","author":"Prakken","key":"S0269888900007323_ref052"},{"volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","year":"1994","author":"Nitta","key":"S0269888900007323_ref046"},{"volume-title":"Proceedings of the First International Workshop on Deontic Logic in Computer Science (DEON '91)","year":"1991","author":"Morris","key":"S0269888900007323_ref041"},{"key":"S0269888900007323_ref033","first-page":"598","volume-title":"Proceedings of the Seventh International Conference on Logic Programming","author":"Kowalski","year":"1990"},{"key":"S0269888900007323_ref006","first-page":"567","volume-title":"Automated Analysis of Legal Texts","author":"Alschwee","year":"1986"},{"volume-title":"Modelling Legal Argument: Reasoning with Cases and Hypotheticals","year":"1990","author":"Ashley","key":"S0269888900007323_ref008"},{"key":"S0269888900007323_ref014","first-page":"240","volume-title":"Proceedings of the First International Conference on Artificial Intelligence and Law","author":"Biagioli","year":"1987"},{"key":"S0269888900007323_ref047","doi-asserted-by":"crossref","unstructured":"Nute D , 1988. \u201cDefeasible reasoning: a philosophical analysis in Prolog\u201d Aspects of Artificial Intelligence.","DOI":"10.1007\/978-94-009-2699-8_9"},{"volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","year":"1994","author":"Tojo","key":"S0269888900007323_ref060"},{"volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law","year":"1991","author":"Breuker","key":"S0269888900007323_ref017"},{"key":"S0269888900007323_ref040","first-page":"202","volume-title":"Proceedings of the Fourth ICAIL","author":"Loui","year":"1993"},{"key":"S0269888900007323_ref043","first-page":"202","volume-title":"Proceedings of the Second International Conference on Al and Law","author":"McCarthy","year":"1989"},{"key":"S0269888900007323_ref016","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/158976.158981","volume-title":"Proceedings of the Fourth International Conference on Artificial Intelligence and Law","author":"Branting","year":"1993"},{"key":"S0269888900007323_ref029","doi-asserted-by":"crossref","unstructured":"Kanger S and Kanger H , 1966. \u201cRights and parliamentarianism\u201d Theoria (32).","DOI":"10.1111\/j.1755-2567.1966.tb00594.x"},{"key":"S0269888900007323_ref021","first-page":"30","volume-title":"Proceedings of the Fourth ICAIL","author":"Hage","year":"1993"},{"volume-title":"Deontic Logic in Computer Science","year":"1993","author":"Wieringa","key":"S0269888900007323_ref063"},{"key":"S0269888900007323_ref057","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-086441-6.50006-4"},{"key":"S0269888900007323_ref007","first-page":"60","volume-title":"Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94)","author":"Artosi","year":"1994"},{"key":"S0269888900007323_ref045","first-page":"20","volume-title":"Proceedings of the Fourth International Conference on Al and Law","author":"Nitta","year":"1993"},{"key":"S0269888900007323_ref002","doi-asserted-by":"crossref","unstructured":"Alexy R , 1992. Legal Argumentation as Rational Discourse.","DOI":"10.1111\/j.1467-9337.1992.tb00121.x"},{"key":"S0269888900007323_ref024","first-page":"557","volume-title":"Preproceedings of the Third International Conference Logica, Informatica Diritto","author":"Hamfelt","year":"1989"},{"key":"S0269888900007323_ref001","unstructured":"Alexy R , 1978. \u201cTheorie der juristischen Argumentation\u201d, Suhrkamp, Frankfurt."},{"volume-title":"Automated Analysis of Legal Texts","year":"1986","author":"Allen","key":"S0269888900007323_ref003"},{"volume-title":"Proceedings of the First International Workshop on Deontic Logic in Computer Science (DEON '91)","year":"1991","author":"Allen","key":"S0269888900007323_ref005"},{"key":"S0269888900007323_ref009","article-title":"Case-based reasoning and its implications for legal expert systems","volume":"2","author":"Ashley","year":"1993","journal-title":"Artificial Intelligence and Law"},{"key":"S0269888900007323_ref010","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1145\/112646.112653","volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law","author":"Bench","year":"1991"},{"key":"S0269888900007323_ref011","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(07)80008-3"},{"key":"S0269888900007323_ref012","first-page":"50","volume-title":"Proceedings of the Fourth ICAIL","author":"Bernam","year":"1993"},{"key":"S0269888900007323_ref013","first-page":"13","volume-title":"Preproceedings of the Workshop on LegalApplications of Logic Programming (ICLP 94)","author":"Bertarello","year":"1994"},{"key":"S0269888900007323_ref015","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/112646.112664","volume-title":"Proceedings of the Third International Conference on Artificial Intelligence and Law","author":"Branting","year":"1991"}],"container-title":["The Knowledge Engineering Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0269888900007323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T14:42:48Z","timestamp":1767624168000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0269888900007323\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":67,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["S0269888900007323"],"URL":"https:\/\/doi.org\/10.1017\/s0269888900007323","relation":{},"ISSN":["0269-8889","1469-8005"],"issn-type":[{"type":"print","value":"0269-8889"},{"type":"electronic","value":"1469-8005"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}