|
Alexy R, 1978. “Theorie der juristischen Argumentation”, Suhrkamp, Frankfurt.
Google Scholar
|
|
Alexy R, 1992. Legal Argumentation as Rational Discourse.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Ashley K, 1990. Modelling Legal Argument: Reasoning with Cases and Hypotheticals, MIT Press.
Google Scholar
|
|
Ashley K, 1993. “Case-based reasoning and its implications for legal expert systems” Artificial Intelligence and Law2.
Google Scholar
|
|
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.
Google Scholar
|
|
Routen T and Bench Capon T, 1991. “Hierarchial formalisations” International Journal of Man-Machine Studies35.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Davies TR and Russel SJ, 1987. “A logical approach to reasoning by analogy” In Proceedings of the 3rd IJCAI, Morgan Kaufmann.
Google Scholar
|
|
Gordon T, 1993. “The pleadings game–formalizing procedural justice” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 10–19.
Google Scholar
|
|
Hage J, 1993. “Monological reason-based logic” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 30–39.
Google Scholar
|
|
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.
Google Scholar
|
|
Groendigk C and Oskamp A, 1993. “Case recognition and strategy classification” In: Proceedings of the Fourth ICAIL, Amsterdam, pp 125–134.
Google Scholar
|
|
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.
Google Scholar
|
|
Hamfelt A and Barklund J, 1992. “Hierarchical representation of legal knowledge with metaprogramming in logic” In: Proceedings of First Compulog-Net Workshop, London.
Google Scholar
|
|
Hart HL, 1961. The Concept of Law, Clarendon Press.
Google Scholar
|
|
Hofheld WN, 1913. “Fundamental legal conceptions as applied in judicial reasoning” Yale Law Journal (23).
Google Scholar
|
|
Kakas AC, Kowalski R and Toni F, 1992. “Abductive logic programming” Journal of Logic in Computation2 (6) 719–770.
Google Scholar
|
|
Kanger S and Kanger H, 1966. “Rights and parliamentarianism” Theoria (32).
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Kowalski R, 1990. “Problem and promises of computational logic” In: Proceedings of the Symposium on Computational Logic, Springer-Verlag.
Google Scholar
|
|
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.
Google Scholar
|
|
Kowalski R, 1991. “Legislation as logic programs.” Research Report, ESPRIT Basic Research Working Group 3152 on Foundations of Legal Reasoning.
Google Scholar
|
|
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.
Google Scholar
|
|
Jones A and Porn I, 1985. “Ideality, sub-ideality and deontic logic” Syntheses65275–290.
Google Scholar
|
|
Jones A, 1990. “Deontic logic and legal knowledge representation” Ratio Iuris, (2).
Google Scholar
|
|
Jones A and Sergot M, 1992. “Deontic logic in the representation of law: towards a methodology” Artificial intelligence and the Law, 145–64.
Google Scholar
|
|
Lindhal L, 1977. Position and Change, Reidel.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Nute D, 1988. “Defeasible reasoning: a philosophical analysis in Prolog” Aspects of Artificial Intelligence.
Google Scholar
|
|
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.)
Google Scholar
|
|
Poole DL, 1988. “A logical framework for default reasoning” Artificial Intelligence36 (1) 27–47.
Google Scholar
|
|
Pollock JL, 1987. “Defeasible reasoning” Cognitive Science11481–518.
Google Scholar
|
|
Prakken H, 1992. Logical Tools for Modelling Legal Argument, Free Universitat, Amsterdam.
Google Scholar
|
|
Prakken H, 1993. In: Proceedings of the IV ICAIL, Amsterdam.
Google Scholar
|
|
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.
Google Scholar
|
|
Sartor G, 1993. “A simple computational model for nonmonotonic and adversarial legal reasoning” In: Proceedings of the IV ICAIL, Amsterdam.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Skalak DB and Rissland E.1992. “Arguments and cases: An inevitable intertwining” Artificial intelligence and Law1.
Google Scholar
|
|
Toulmin S, 1958. The uses of Argument, Cambridge University Press.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
Wieringa RJ and Meyer J, 1993. “Applications of deontic logic in computer science: A concise overview” In: Deontic Logic in Computer Science, Wiley.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
|
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.
Google Scholar
|
