doi:10.1017/S0269888900007323

Alexy R, 1978. “Theorie der juristischen Argumentation”, Suhrkamp, Frankfurt.

Alexy R, 1992. Legal Argumentation as Rational Discourse.

Allen LE and Saxon CS, 1986. “Analysis of the logical structure of legal rules by a modernized and formalized version of Hofheld's fundamental legal conceptions” In: Martino AA and Soccie F (eds.), Automated Analysis of Legal Texts, North-Holland.

Allen LE and Saxon CS, 1987. “Some problems in designing expert systems to aid legal reasoning” In: First International Conference on Artificial Intelligence and Law, ACM Press, pp 94–103.

Allen LE and Saxon CS, 1991. “A-Hofheld: A language for robust structural representation of knowledge in the legal domain” In: Proceedings of the First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam, The Netherlands.

Alschwee B and Grundmann S, 1986. “System design for computer-aided juridical expert systems” In: Martino AA and Socci F (eds.), Automated Analysis of Legal Texts, North-Holland, pp 567–579.

Artosi A, Cattabriga P and Governatori G, 1994. “KED: a deontic theorem prover” Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze, pp 60–76.

Ashley K, 1990. Modelling Legal Argument: Reasoning with Cases and Hypotheticals, MIT Press.

Ashley K, 1993. “Case-based reasoning and its implications for legal expert systems” Artificial Intelligence and Law2.

Bench Capon T. and Coenen F.1991. “Exploiting isomorphism: Development of a KBS to support British Coal insurance claims” In: Proceedings of the Third International Conference on Artificial Intelligence and Law, ACM, NY, pp 62–68.

Routen T and Bench Capon T, 1991. “Hierarchial formalisations” International Journal of Man-Machine Studies35.

Bernam D and Hafner C, 1993. “Representing teleological structure in case-based reasoning: the missing link” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 50–59.

Bertarello S, Costantini S and Lanzarone G, 1994. “Explanation-based learning of open textured predicates in logic programming models of law” In: Preproceedings of the Workshop on LegalApplications of Logic Programming (ICLP 94), IDG, Firenze, pp 13–32.

Biagioli C, Mariani P and Tiscornia D, 1987. “EXPLEX: A rule and conceptual based model for representing statutes” In: Proceedings of the First International Conference on Artificial Intelligence and Law. ACM, pp 240–251.

Branting KL, 1991. “Reasoning with portion of precedents” In: Proceedings of the Third International Conference on Artificial Intelligence and Law, ACM Press, pp 145–154.

Branting KL, 1993. “A reduction-graph model for ratio decidendi” In: Proceedings of the Fourth International Conference on Artificial Intelligence and Law, ACM Press, pp 40–49.

Breuker J and den Hann N, 1991. “Separating world and regulation knowledge: where is the logic?” In: Proceedings of the Third International Conference on Artificial Intelligence and Law, ACM.

Costantini S and Lanzarone G, 1989. “Analogical reasoning in Reflective Prolog” In: Preproceedings of the Third international Conference Logica, Informatica, Diritto, Florence, pp 117–136.

Davies TR and Russel SJ, 1987. “A logical approach to reasoning by analogy” In Proceedings of the 3rd IJCAI, Morgan Kaufmann.

Gordon T, 1993. “The pleadings game–formalizing procedural justice” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 10–19.

Hage J, 1993. “Monological reason-based logic” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 30–39.

Guidotti P, Mariani P, Sardu G and Tiscornia D, 1992. “Metalevel reasoning. The design of a system to handle legal knowledge bases” In: Proceedings of the 7th Italian Conference on Logic Programming (GULP 92), Milan.

Groendigk C and Oskamp A, 1993. “Case recognition and strategy classification” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 125–134.

Hamfelt A and Barklund J, 1989. “Metalevels in legal knowledge and their runnable representation in logic” In: Preproceedings of the Third International Conference Logica, Informatica Diritto, Florence, pp 557–576.

Hamfelt A and Barklund J, 1992. “Hierarchical representation of legal knowledge with metaprogramming in logic” In: Proceedings of First Compulog-Net Workshop, London.

Hart HL, 1961. The Concept of Law, Clarendon Press.

Hofheld WN, 1913. “Fundamental legal conceptions as applied in judicial reasoning” Yale Law Journal (23).

Kakas AC, Kowalski R and Toni F, 1992. “Abductive logic programming” Journal of Logic in Computation2 (6) 719–770.

Kanger S and Kanger H, 1966. “Rights and parliamentarianism” Theoria (32).

Kowalski R and Sergot M, 1989. “The use of logical models in legal problem solving” In: Narayan and Bennum (eds.), Law, Computer Science and Artificial Intelligence, Ablex.

Kowalski R, 1989. “The treatment of negation in logic programs for representing legislation” In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ACM, pp 11–15.

Kowalski R, 1990. “Problem and promises of computational logic” In: Proceedings of the Symposium on Computational Logic, Springer-Verlag.

Kowalski R and Sadri F, 1990. “Logic programs with exceptions” In: Proceedings of the Seventh International Conference on Logic Programming, MIT Press, pp 598–613.

Kowalski R, 1991. “Legislation as logic programs.” Research Report, ESPRIT Basic Research Working Group 3152 on Foundations of Legal Reasoning.

Kowalski R, 1994. “An abstract argumentation-theoretic framework for non-monotonic reasoning” Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze.

Jones A and Porn I, 1985. “Ideality, sub-ideality and deontic logic” Syntheses65275–290.

Jones A, 1990. “Deontic logic and legal knowledge representation” Ratio Iuris, (2).

Jones A and Sergot M, 1992. “Deontic logic in the representation of law: towards a methodology” Artificial intelligence and the Law, 145–64.

Lindhal L, 1977. Position and Change, Reidel.

Loui R, Norman J, Olson J and Merril A, 1993. “A design for reasoning with policies, precedents, and rationales” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 202–211.

Morris P and McDermid J, 1991. “The structure of permission: A normative framework for access right” In: Proceedings of the First International Workshop on Deontic Logic in Computer Science (DEON '91), Amsterdam.

McCarthy LT, 1986. “Permissions and Obligations: An informal introduction” In: Martino AA and Natali F Socci (eds.), Automated Analysis of Legal Texts: Logic, Informatics, Law, North-Holland, pp 307–337.

McCarthy LT, 1989. “A Language for legal discourse, 1. Basic features” In: Proceedings of the Second International Conference on Al and Law, Vancouver, pp 202–211.

McCarthy LT, 1994. “Modalities over actions. I Model Theory” In: Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze, pp 2–13.

Nitta K, Young S and Yoshihisa Ohtake, 1993. “A computational model for trial reasoning” In: Proceedings of the Fourth International Conference on Al and Law, Amsterdam, pp 20–29.

Nitta K, Shibasaki M, Sakata T, Yamaji T, Ohsaki H, Tojo S.Kobubo I and Suzuki T, 1994. “Knowledge representation of new HELIC 11” In: Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze.

Nute D, 1988. “Defeasible reasoning: a philosophical analysis in Prolog” Aspects of Artificial Intelligence.

Perelman CR and Olbrechts-Tyeca L, 1958. “Traiti de l'argumentation. La nouvelle rhetorique.” Paris, PUF. (It. Trans.: Trattato dell'argomentazione. La nuova retorica. Torino, Einaudi, 1956.)

Poole DL, 1988. “A logical framework for default reasoning” Artificial Intelligence36 (1) 27–47.

Pollock JL, 1987. “Defeasible reasoning” Cognitive Science11481–518.

Prakken H, 1992. Logical Tools for Modelling Legal Argument, Free Universitat, Amsterdam.

Prakken H, 1993. In: Proceedings of the IV ICAIL, Amsterdam.

Sartor G, 1991. “The structure of norm conditions and nonmonotonic reasoning in law” In: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, ACM Press, pp 155–164.

Sartor G, 1993. “A simple computational model for nonmonotonic and adversarial legal reasoning” In: Proceedings of the IV ICAIL, Amsterdam.

Sergot M, Sadri F, Kowalski R, Kriwaczek R, Hammond P and Cory HT, 1986. “The British Nationality Act as a logic program” Communications of the ACM29370–386.

Sergot M, 1990. “The representation of law in computer programs: A survey and comparison” In: Capon T Bench (ed.), Knowledge Based Systems in the Law, Academic Press.

Sergot M, 1991. “The representation of law in computer programs” In: Capon T Bench (ed.), Knowledge Based Systems and Legal Applications, Academic Press, pp 3–68.

Skalak DB and Rissland E.1992. “Arguments and cases: An inevitable intertwining” Artificial intelligence and Law1.

Toulmin S, 1958. The uses of Argument, Cambridge University Press.

Tojo S and Nina K.1994. “Automatic generation of temporal relations in a legal case” Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze.

Valente A and Breuker J, 1994. “A commonsense formalization of normative systems” In: Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze.

Walker RF, Oskamp A, Schrickx JA, Odporp G and van der Bergh G, 1990. “Prolexs: creating law and order in Heterogeneous domain” International Journal of Man-Machine Studies3535–67.

Wieringa RJ and Meyer J, 1993. “Applications of deontic logic in computer science: A concise overview” In: Deontic Logic in Computer Science, Wiley.

Yao-Hua Tan L and van der Torre, 1994. “DIADE: deontic logic founded on a theory of diagnosis from first principles” In: Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDO, Firenze, pp 138–151.

Yoshino H, Kagayama S, Otha S, Kithara M, Kondoh H, Nakakawaji M, Ishimaru K and Takao S, 1986. “Legal expert systems les-2” In: Goos G and Harmanis J (eds.), Lecture Notes in Computer Science, Springer-Verlag, pp 34–35.

Yoshino H, Haraguchi M, Sakurai S and Kagayama S, 1993. “Towards a legal analogical system: Knowledge representation and reasoning methods” In: Proceedings of IV ICAIL, Amsterdam.

Yoshino H, 1994. “Representation of legal knowledge by compound predicate formula” In: Preproceedings of the Workshop on Legal Applications of Logic Programming (ICLP 94), IDG, Firenze.