L. THORNE MCCARTY. Courses Taught, Law School: Contracts; Copyrights, Patents and Trademarks; Artificial Intelligence and Legal Reasoning (seminar).

Transcription

1 L. THORNE MCCARTY Department of Computer Science Rutgers, The State University of New Jersey 110 Frelinghuysen Road Piscataway, New Jersey EDUCATION: Harvard Law School, Cambridge, Massachusetts, J.D., Cum Laude. Received the Prentice-Hall Award for the best work in Taxation, Yale University, New Haven, Connecticut, B.A., Magna Cum Laude. Phi Beta Kappa. Departmental Honors with Exceptional Distinction in Mathematics and Philosophy. EMPLOYMENT: Rutgers University. Professor of Computer Science and Law, Distinguished Visiting Professor of Computer Science and Law, Visiting Associate Research Professor, Courses Taught, Computer Science Department: Introduction to Artificial Intelligence (graduate); Foundations of Knowledge Representation (graduate); Natural Language Processing (graduate); Introduction to Computer Science (undergraduate); Discrete Structures (undergraduate); Principles of Programming Languages (undergraduate); Computers and Society (undergraduate); Introduction to Artificial Intelligence (undergraduate). Courses Taught, Law School: Contracts; Copyrights, Patents and Trademarks; Artificial Intelligence and Legal Reasoning (seminar). Dissertations Supervised: Leon A. Shklar, Web Access to Heterogeneous Information: Methods and Applications, Current Position: Executive Vice President and Head of Information Technology and Media, Thomson Reuters, New York. Also, Lecturer in Computer Science, Rutgers University. Ron van der Meyden, The Compexity of Querying Indefinite Information: Defined Relations, Recursion and Linear Order, Nominated for ACM Distinguished Dissertation Award. Current Position: Professor, School of Computer Science and Engineering, University of New South Wales, Sydney, Australia. Anthony J. Bonner, Hypothetical Reasoning in Deductive Databases, Nominated for ACM Distinguished Dissertation Award. Current Position: Associate Professor, Department of Computer Science, University of Toronto, Toronto, Canada. Administration: Director of the Graduate Program in Computer Science, Executive Committee, Rutgers Cognitive Science Center.

2 2 Stanford University. Visiting Professor of Law, Courses Taught: Copyrights, Patents and Trademarks; Artificial Intelligence and Legal Reasoning (seminar) State University of New York at Buffalo. Professor of Law, Associate Professor of Law, Assistant Professor of Law, Courses Taught: Contracts; Copyrights, Patents and Trademarks; Data Banks and Privacy; Quantitative Methods in the Legal Process (seminar); Economic Models in the Legal Process (seminar); Jurisprudence: Towards a Cognitive Theory of Legal Argument (seminar). Stanford University. Lecturer in Law, Law and Computer Fellow, SELECTED PUBLICATIONS: "Deep Semantic Interpretations of Legal Texts", in Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, Stanford, California, pages (ACM Press, 2007). "OWNERSHIP: A Case Study in the Representation of Legal Concepts", Artificial Intelligence and Law, volume 10, pages (Kluwer, 2002). "L Indexation de la Jurisprudence", in Droit et Intelligence Artificielle: Une Revolution de la Connaissance Juridique, D. Bourcier, P. Hassett and C. Roquilly, eds., pages (Romillat, Paris, 2000). "How Publishers Can Add Value to Public Domain Legal Information on the World Wide Web", in Proceedings, Second French-American Conference on Law and Computing, Nice, France (June, 1998). "Some Arguments About Legal Arguments", in Proceedings of the Sixth International Conference on Artificial Intelligence and Law, Melbourne, Australia, pages (ACM Press, 1997). "LexHarness: Providing Flexible Access to Legal Information on the World Wide Web", with Leon Shklar, in Proceedings, First French-American Conference on Law and Computing, Syracuse, New York (April, 1996). "An Implementation of Eisner v. Macomber", in Proceedings of the Fifth International Conference on Artificial Intelligence and Law, College Park, Maryland, pages (ACM Press, 1995). "Modalities Over Actions. I. Model Theory", in Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International Conference (KR 94), J. Doyle, E. Sandewall and P. Torasso, eds., pages (Morgan Kaufmann, 1994). "A PROLOG Interpreter for First-Order Intuitionistic Logic (Abstract)", with Leon Shklar, in Logic Programming: Proceedings of the 1994 International Symposium, page 685 (MIT Press, 1994). "Defeasible Deontic Reasoning", Fundamenta Informaticae, volume 21, pages (1994). An early version of this paper was presented at the Fourth International Workshop on Nonmonotonic Reasoning, Plymouth, Vermont (May, 1992). "The Case for Explicit Exceptions", with William W. Cohen, Methods of Logic in Computer Science, volume 1, pages (1994). An early version of this paper was presented at the Workshop on Logic Programming and NonMonotonic Reasoning, Austin, Texas (November, 1990). "Circumscribing Embedded Implications (Without Stratifications)", Journal of Logic Programming, volume 17, pages (1993).

3 3 "Proving Inductive Properties of PROLOG Programs in Second-Order Intuitionistic Logic", in Logic Programming: Proceedings of the Tenth International Conference, Budapest, Hungary, pages (MIT Press, 1993). "An Intuitionistic Interpretation of Finite and Infinite Failure", with Ron van der Meyden, in Logic Programming and NonMonotonic Reasoning: Proceedings of the Second International Workshop, L.M. Pereira and A. Nerode, eds., pages (MIT Press, 1993). "Reasoning About Indefinite Actions", with Ron van der Meyden, in Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR 92), Cambridge, Massachusetts, pages (Morgan Kaufmann, 1992). "Circumscribing Embedded Implications", in Logic Programming and NonMonotonic Reasoning: Proceedings of the First International Workshop, A. Nerode, W. Marek and V.S. Subrahmaninan, eds., pages (MIT Press, 1991) "Indefinite Reasoning with Definite Rules", with Ron van der Meyden, in Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, Sydney, Australia, pages (Morgan Kaufmann, 1991). "On the Role of Prototypes in Appellate Legal Argument (Abstract)", in Proceedings of the Third International Conference on Artificial Intelligence and Law, Oxford, England, pages (ACM Press, 1991). "Artificial Intelligence and Law: How to Get There from Here," Ratio Juris, 3(2), pages (1990). "Adding Negation-as-Failure to Intuitionistic Logic Programming," with A.J. Bonner, in S. Debray and M. Hermenegildo, eds., Logic Programming: Proceedings of the 1990 North American Conference, pages (MIT Press, 1990). "Expressing Database Queries with Intuitionistic Logic," with A.J. Bonner and K. Vadaparty, in E.L. Lusk and R.A. Overbeek, eds., Logic Programming: Proceedings of the 1989 North American Conference, pages (MIT Press, 1989). "A Language for Legal Discourse. I. Basic Features," in Proceedings of the Second International Conference on Artificial Intelligence and Law, Vancouver, British Columbia, pages (ACM Press, 1989). "EPS II: Estate Planning with Prototypes," with D. Schlobohm, in Proceedings of the Second International Conference on Artificial Intelligence and Law, Vancouver, British Columbia, pages 1-10 (ACM Press, 1989). "Clausal Intuitionistic Logic. II. Tableau Proof Procedures," Journal of Logic Programming, vol. 5, pages (1988). "Clausal Intuitionistic Logic. I. Fixed-Point Semantics," Journal of Logic Programming, vol. 5, pages 1-31 (1988). "Intelligent Legal Information Systems: An Update," in H. Fiedler, F. Haft, and R. Traunmuller, eds., Expert Systems in Law: Impacts on Legal Theory and Computer Law, pages (Attempto- Verlag, Tubingen, 1988). Also published in Law and Computers, No. 5, pages (Law and Computers Association of Japan, July 1987). "Explanation-Based Generalization as Resolution Theorem Proving," with S. Kedar-Cabelli, in Proceedings of the Fourth International Workshop on Machine Learning, pages (Morgan Kaufmann Publishers, 1987).

4 4 "Permissions and Obligations: An Informal Introduction," in A.A. Martino and F. Socci Natali, eds., Automated Analysis of Legal Texts: Logic, Informatics, Law, pages (North-Holland Publishing Co., 1986). "Permissions and Obligations," in Proceedings of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany, pages (1983); also published in C. Walters, ed., Computer Power and Legal Reasoning, pages (West Publishing Co., 1985). "Intelligent Legal Information Systems: Problems and Prospects," Rutgers Computer and Technology Law Journal, vol. 9., no. 2., pages (1983); also published in C. Campbell, ed., Data Processing and the Law, pages (Sweet and Maxwell, Ltd., 1984). "A Computational Theory of Eisner v. Macomber," in C. Ciampi, ed., Artificial Intelligence and Legal Information Systems, pages (North-Holland Publishing Co., 1982). "A Computational Theory of Legal Argument," with N.S. Sridharan, Report LRP-TR-13, Laboratory for Computer Science Research, Rutgers University (1982). "The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations," with N. S. Sridharan, in Proceedings of the Seventh International Joint Conference on Artificial Intelligence, Vancouver, British Columbia, pages (1981). "The Representation of an Evolving System of Legal Concepts: I. Logical Templates," with N. S. Sridharan, in Proceedings of the Third National Conference of the Canadian Society for Computational Studies of Intelligence, Victoria, British Columbia, pages (1980). "Some Requirements for a Computer-Based Legal Consultant," in Proceedings of the First Annual National Conference on Artificial Intelligence, Stanford University, pages (1980). "The TAXMAN Project: Towards a Cognitive Theory of Legal Argument," in B. Niblett, ed., Computer Science and Law: An Advanced Course, pages (Cambridge University Press, 1980). "Reflections on TAXMAN: An Experiment in Artificial Intelligence and Legal Reasoning," Harvard Law Review, vol. 90, pages (1977). Also published in Datenverarbeitung im Recht, vol. 5, pages (1976). "Computer Models as Advocates," a review of Meadows, et al., The Limits to Growth, in Stanford Journal of International Studies, vol. 8, pages (1973). "The Voting Rights Act of 1965; An Evaluation," with Russell B. Stevenson, Jr., Harvard Civil Rights-Civil Liberties Law Review, vol. III, no. 2 pages (1968). PROFESSIONAL ACTIVITIES: Founder and first President, International Association for Artificial Intelligence and Law ( ). Board of Trustees, National Center for Automated Information Research ( ). Invited Speaker: International Symposium on Fifth Generation Computer Systems, Tokyo, Japan (December, 1994); Retreat on Logic Programming and NonMonotonic Reasoning, Shakertown, Kentucky (October, 1994); Joint Meeting of the American Philosophical Association and the Association for Symbolic Logic, Kansas City, Missouri (May, 1994); Conference in Celebration of the 25th Anniversary of the Istituto Documentazione Giuridica, Florence, Italy (December, 1993); Third General Meeting of the ESPRIT Network of Excellence in Computational Logic (COMPULOG

5 5 NET), Lisbon, Portugal (July, 1993); Third International Conference on Artificial Intelligence and Law, Oxford, England (July, 1991); WIPO Symposium on Intellectual Property Aspects of Artificial Intelligence, Stanford, California (March, 1991); International Conference on Expert Systems in Law, Bologna, Italy (May, 1989); Ninth Centennial Anniversary of the University of Bologna, Italy (November, 1988); Workshop on Expert Systems in Law, Tubingen, West Germany (June, 1987); Tenth Anniversary Meeting of the Law and Computers Association of Japan, Tokyo, Japan (October, 1986); Second International Congress on Logica, Informatica, Diritto, Florence, Italy (September, 1985); Fifth Generation Computing and Expert Systems Conference, Calgary, Alberta (September, 1984). Frequent lecturer throughout North America and Europe. General Chair, Fifth International Conference on Artificial Intelligence and Law, College Park, Maryland (May, 1995). Program Chair, First International Conference on Artificial Intelligence and Law, Boston, Massachusetts (May, 1987). Program Committee, 23rd International JURIX Conference, Liverpool, England (December, 2010), 19th International JURIX Conference, Paris, France (December, 2006). Program Committee, Thirteenth International Conference on Artificial Intelligence and Law, Pittsburgh, Pennsylvania (June, 2011), Twelfth International Conference on Artificial Intelligence and Law, Barcelona, Spain (June, 2009), Eleventh International Conference on Artificial Intelligence and Law, Stanford, California (June, 2007), Tenth International Conference on Artificial Intelligence and Law, Bologna, Italy (June, 2005), Ninth International Conference on Artificial Intelligence and Law, Edinburgh, Scotland (June, 2003), Eighth International Conference on Artificial Intelligence and Law, St. Louis, Missouri (May, 2001), Seventh International Conference on Artificial Intelligence and Law, Oslo, Norway (June, 1999), Sixth International Conference on Artificial Intelligence and Law, Melbourne, Australia (June, 1997), Third International Conference on Artificial Intelligence and Law, Oxford, England (June, 1991), and Second International Conference on Artificial Intelligence and Law, Vancouver, British Columbia (June, 1989). Program Committee, Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy (June, 1998). Program Committee, 1993 International Logic Programming Symposium, Vancouver, Canada (October, 1993). Program Committee, Eleventh International Joint Conference on Artificial Intelligence, Detroit, Michigan (August, 1989). Co-Editor of MIT Press series on Artificial Intelligence and Legal Reasoning. Editorial Board, Artificial Intelligence and Law: An International Journal. Reviewer for: Annals of Mathematics and Artificial Intelligence, Artificial Intelligence, Artificial Intelligence and Law, Cognitive Systems Research, Computational Intelligence, Journal of Logic and Computation, Journal of Logic Programming, Machine Learning, Methods of Logic in Computer Science, Studia Logica, and several major book publishers. Reviewer for: International Joint Conference on Artificial Intelligence (IJCAI), National Conference on Artificial Intelligence (AAAI), and other major conferences. Member of Massachusetts Bar. Admitted to Practice: Harvard Civil Rights-Civil Liberties Law Review, Articles Editor, Yale Daily News, Editorial Board, Personnel Director,