Henry Prakken
- 1.G. Brewka, l/easoning about priorities in default logic. Proceedings AAAI-94. Google Scholar
Digital Library
- 2.P.M. Dung, An argumentation semantics for logic programming with explicit negation. Proceedings of the Tenth Logic Programming Conference, MIT Press 1993, 616-630. Google ScholarDigital Library
- 3.D. Gabbay, E~ Laenens and D. Vermeir, Credulous vs. sceptical semantics for ordered logic programs. Proceedings of the Seco~d IrzternatioT~al Confcrcl~ce on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann 1991, 208-217.Google ScholarDigital Library
- 4.It. Geffner and J. Pearl, Conditional entailment: bridging two approaches to default reasoning. Art(ficial Intelligence 53 (1992), 209-244. Google ScholarDigital Library
- 5.T.F. Gordon, The pleadings game- formalizing procedural j'ustice. Proceedi~g~ of the fourth International Conference on Artificial Intelligence and Law, Amsterdam 1993, ACM Press, 1993, 10-19. Google ScholarDigital Library
- 6.J.C. Hage and B. Verheij, Reason-Based Logic: a logic for reasoning with rules and reasons. To appear in Law, Computers and ArtificiaI h, telligence.Google Scholar
- 7.A. }Iamfelt and J. Barklund, Metalevcls in legal knowledge and their runnable representation in logic. Preproceedings of the III b~ternational Conference o~ "Logica, Infor- ,,atica, Diritto", Florence 1989, Vol. Ii, 55% 576.Google Scholar
- 8.D. Nute, Defensible logic, in I). G~bb~y (ed.) lIandbook of Logic alzd Artificial b, teltigence, Oxford University Press, 1993, 353- 395. Google ScholarDigital Library
- 9..J.L. Pollock, Defensible re,soiling. Cognitive Science 11 (1987), 481-518.Google ScholarCross Ref
- 10.tI. Prakken, Logical tools for modelling legal argument. Doctoral Dissertation Free University Amsterdam, 1993.Google Scholar
- 11.I{. Prakken, An argumentation fi'amework in default logic. AnnaLs of Mathematics and Artificial Intelligence, 9 (~{993), 93-132.Google Scholar
- 12.Raz, Practical reason and norms. Princeton Ultiversity Press, 1975.Google Scholar
- 13.E.L. Rissl~nd, Artificial httellige}~ce and Law: stepping stogies to a model of legal reasoning. ~tle Law Review vol. 99 (1990), 1957-1981.Google Scholar
- 14.G. S~rtor, A simple computatiol~al model for nonmonotonic and adversarial legal reasoning. Proceedings of the Fourth Inter~alional Conference on Artificial b~telligence and Law, ACM Press, 1993, 192-201. Google ScholarDigital Library
- 15.G~ Sartor, A formal model of legal argumentation. Ratio Juris 7 (1994), 212-226.Google ScholarCross Ref
- 16.G.R. Simari and R.P. Lout, A lnathematicM treatment of defensible argumentation and its implementation. Artificial intelligence .53 (1992), 125-1.57. Google ScholarDigital Library
- 17.H. Yoshino and M. Kithahara, Les-Project. In II. Fiedler, F. ltag, R. Traunmfiller (eds.): Ezpert systems in law. Impacts on legal theory and computer law. Atternpto Vetlag, T~ibingen, 1988, 47-65.Google Scholar
Index Terms
- On the relation between legal language and legal argument: assumptions, applicability and dynamic priorities
Recommendations
Fundamental legal concepts: A formal and teleological characterisation*
We shall introduce a set of fundamental legal concepts, providing a definition of each of them. This set will include, besides the usual deontic modalities (obligation, prohibition and permission), the following notions: obligative rights (rights ...
Legal aspects of computing
Encyclopedia of Computer ScienceComputer law, as an identifiable legal practice, began in the 1960s. However, the legal landscape remained shrouded in uncertainty, despite a heavy volume of computer-related cases reaching the courts, until the 1990s. The principal causes of ...
Comments