Video Upload Options

References

1. Loevinger, Lee. Jurimetrics--The Next Step Forward. Minn. L. Rev. 33 (1948): 455.
2. Allen, Layman E. Symbolic logic: A razor-edged tool for drafting and interpreting legal documents. Yale LJ 66 (1956): 833. http://digitalcommons.law.yale.edu/cgi/viewcontent.cgi?article=5523&context=fss_papers
3. Mehl, L.Automation in the Legal World: From the Machine Processing of Legal Information to the" Law Machine,. Mechanisation of Thought Processes (1958): 757-787.
4. Buchanan, Bruce G., and Headrick, Thomas E. Some speculation about artificial intelligence and legal reasoning. Stanford Law Review (1970): 40-62. https://stacks.stanford.edu/file/druid:ms585mf7546/ms585mf7546.pdf
5. McCarty, L. Thorne. Reflections on" Taxman: An Experiment in Artificial Intelligence and Legal Reasoning. Harvard Law Review (1977): 837-893.
6. Stamper, Ronald K. The LEGOL 1 prototype system and language. The Computer Journal 20.2 (1977): 102-108.
7. Hafner, Carole D., (1981). Representing knowledge in an information retrieval system. in Oddy, R et al. (editors) (1981). Information Retrieval Research. London: Butterworths.
8. Gardner, Anne The design of a legal analysis program. AAAI-83. 1983.
9. Rissland, Edwina L. Examples in Legal Reasoning: Legal Hypotheticals. IJCAI. 1983.
10. Sergot, Marek J., et al. The British Nationality Act as a logic program. Communications of the ACM 29.5 (1986): 370–386. http://www.doc.ic.ac.uk/~rak/papers/British%20Nationality%20Act.pdf
11. Niblett, Bryan, ed. Computer science and law. CUP Archive, 1980.
12. e.g. Ciampi, Costantino, and Martino, Antonio. Artificial intelligence and legal information systems. Elsevier Science Inc., 1982.
13. Walter, Charles. Computer power & legal language: the use of computational linguistics, artificial intelligence, & expert systems in the law. Greenwood Publishing Group Inc., 1988.
14. List of past ICAIL conferences http://www.iaail.org/page/past-icails
15. For a contemporary discussion of a selection of papers from the first thirteen conferences, see Bench-Capon, Trevor, et al. A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artificial Intelligence and Law 20.3 (2012): 215-319.
16. List of AI and Law journal volumes https://link.springer.com/journal/volumesAndIssues/10506
17. List of Jurix conferences http://jurix.nl/conferences/
18. See the list of workshops on the Jurisin 2014 page http://www.jaist.ac.jp/org/jurisin2014/
19. "Computational Law, Symbolic Discourse and the AI Constitution—Stephen Wolfram". http://blog.stephenwolfram.com/2016/10/computational-law-symbolic-discourse-and-the-ai-constitution/. 
20. Lawbots.info. N.p., n.d. Web. 16 June 2017. .
21. H. Prakken and G.Sartor, Law and logic: A review from an argumentation perspective, Artificial Intelligence. Available on-line June 2015. http://www.cs.uu.nl/groups/IS/archive/henry/ReviewLogicAndLawRevised.pdf
22. T.J.M. Bench-Capon, G.O. Robinson, T.W. Routen, M.J. Sergot, Logic programming for large scale applications in law: a formalisation of supplementary benefit legislation, in: Proceedings of the First International Conference on Artificial Intelligence and Law, ACM Press, New York, 1987, pp. 190–198.
23. T. Routen, T.J.M. Bench-Capon, Hierarchical formalizations, International Journal of Man-Machine Studies 35 (1991) 69–93.
24. T.J.M. Bench-Capon, F.P. Coenen, Isomorphism and legal knowledge based systems, Artificial Intelligence and Law 1 (1992) 65–86.
25. Thomas R. Gruber: The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases. Knowledge Representation 1991: 601-602 https://pdfs.semanticscholar.org/0256/614d1dc55962708db9b791f70a29370f1d76.pdf
26. Valente, A. 1995. Legal Knowledge Engineering; A Modelling Approach, IOS Press, Amsterdam.
27. Robert W. van Kralingen, Pepijn R. S. Visser, Trevor J. M. Bench-Capon, H. Jaap van den Herik: A principled approach to developing legal knowledge systems. International Journal of Human-Computer Studies. 51(6): 1127-1154 (1999)
28. Rinke Hoekstra, Joost Breuker, Marcello Di Bello, Alexander Boer: The LKIF Core Ontology of Basic Legal Concepts. Proceedings of the 2nd Workshop on Legal Ontologies and Artificial Intelligence Techniques. 2007: 43-63 http://ceur-ws.org/Vol-321/LOAIT07-Proceedings.pdf#page=43
29. A.J. Jones, M.J. Sergot, On the characterisation of law and computer systems: the normative systems perspective, in: J.-J.Ch. Meyer, R. Wieringa (Eds.), Deontic Logic in Computer Science: Normative System Specification, Wiley, 1993, pp. 275–307
30. H. Herrestad, C. Krogh, Obligations directed from bearers to counterparties, in: Proceedings of the Fifth International Conference on Artificial Intelligence and Law, ACM Press, New York, 1995, pp. 210–218.
31. M.J. Sergot, A computational theory of normative positions, ACM Trans. Comput. Log. 2 (2001) 581–622.
32. Marc Esteva, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos, Carles Sierra, Pere Garcia: Institutionalizing Open Multi-Agent Systems. ICMAS 2000: 381–382
33. Sanjay Modgil, Nir Oren, Noura Faci, Felipe Meneguzzi, Simon Miles and Michael Luck, Monitoring Compliance with E-Contracts and Norms, Artificial Intelligence and Law 23(2) (2015). http://aura.abdn.ac.uk/bitstream/handle/2164/6046/JournalMonitoring3.pdf?sequence=1
34. R. Hernandez Marin, G. Sartor, Time and norms: a formalisation in the event-calculus, in: Proceedings of the Seventh International Conference on Artificial Intelligence and Law, ACM, New York, 1999, pp. 90–100. https://www.academia.edu/download/42420341/Time_and_norms_a_formalisation_in_the_ev20160208-3430-19hoaxl.pdf
35. G. Governatori, A. Rotolo, G. Sartor, Temporalised normative positions in defeasible logic, in: Proceedings of the Tenth International Conference on Artificial Intelligence and Law, ACM Press, New York, 2005, pp. 25–34. https://espace.library.uq.edu.au/view/UQ:9579/ic05.pdf
36. Schauer, Frederick. "On the supposed defeasibility of legal rules." Current Legal Problems 51.1 (1998): 223.
37. Prakken, Henry, and Giovanni Sartor. "The three faces of defeasibility in the law." Ratio Juris 17.1 (2004): 118-139.
38. R. Loui: Paths to Defeasibility: Reply to Schauer on Hart. APA 12:2, 2013 https://uisacad5.uis.edu/~rloui2/pdfs/V12n2Computers.pdf
39. Robert A. Kowalski: The Treatment of Negation in Logic Programs for Representing Legislation. Proceedings of Second International Conference on Artificial Intelligence and Law. 1989: 11–15 http://www.doc.ic.ac.uk/~rak/papers/negation%20legislation.pdf
40. Benjamin Johnston, Guido Governatori: Induction of Defeasible Logic Theories in the Legal Domain. Proceedings of the Ninth International Conference on Artificial Intelligence and Law 2003:204–213
41. Phan Minh Dung: On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelligence 77(2): 321–358 (1995) http://www.sciencedirect.com/science/article/pii/000437029400041X