Some Requirements for a Computer-Based Legal Consultant. - L. Thorne McCarty (AAAI, 1980)

The applications of artificial intelligence to law: a survey of six current projects. - Sandra Cook; Carole D. Hafner; L. Thorne McCarty; Jeffrey A. Meldman; Mark Peterson; James A. Sprowl; N. S. Sridharan; Donald A. Waterman (AFIPS National Computer Conference, 1981)

The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. - L. Thorne McCarty; N. S. Sridharan (IJCAI, 1981)

Permissions and Obligations. - L. Thorne McCarty (IJCAI, 1983)

Programming Directly in a Non Monotonic Logic. - L. Thorne McCarty (NMR, 1984)

Clausal Intuitionistic Logic I - Fixed-Point Semantics. - L. Thorne McCarty (J. Log. Program., 1988)

Clausal Intuitionistic Logic II - Tableau Proof Procedures. - L. Thorne McCarty (J. Log. Program., 1988)

A Language for Legal Discourse I: Basic Features. - L. Thorne McCarty (ICAIL, 1989)

EPS II: Estate Planning with Prototypes. - D. A. Schlobohm; L. Thorne McCarty (ICAIL, 1989)

Expressing Database Queries with Intuitionistic Logic. - Anthony J. Bonner; L. Thorne McCarty; Kumar V. Vadaparty (NACLP, 1989)

The Case for Explicit Exceptions. - L. Thorne McCarty (LPNMR, 1990)

Adding Negation-as-Failure to Intuitionistic Logic Programming. - Anthony J. Bonner; L. Thorne McCarty (NACLP, 1990)

On the Role of Prototypes in Appellate Legal Argument (Abstract). - L. Thorne McCarty (ICAIL, 1991)

Indefinite Reasoning with Definite Rules. - L. Thorne McCarty; Ron van der Meyden (IJCAI, 1991)

Circumscribing Embedded Implications. - L. Thorne McCarty (LPNMR, 1991)

Reasoning About Indefinite Actions. - L. Thorne McCarty; Ron van der Meyden (KR, 1992)

Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. - L. Thorne McCarty (ICLP, 1993)

An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). - L. Thorne McCarty; Ron van der Meyden (LPNMR, 1993)

Circumscribing Embedded Implications (without Stratifications). - L. Thorne McCarty (J. Log. Program., 1993)

Modalities over Action, I. Model Theory. - L. Thorne McCarty (ICLP Workshop: Legal Application of Logic Programming, 1994)

Modalities Over Actions, I. Model Theory. - L. Thorne McCarty (KR, 1994)

A PROLOG Interpreter for First-Order Intuitionistic Logic. - L. Thorne McCarty; Leon A. Shklar (ILPS, 1994)

Defeasible Deontic Reasoning. - L. Thorne McCarty (Fundam. Informaticae, 1994)

The Case for Explicit Exceptions. - L. Thorne McCarty; William W. Cohen (Methods Log. Comput. Sci., 1994)

An Implementation of Eisner v. Macomber. - L. Thorne McCarty (ICAIL, 1995)

Some Arguments About Legal Arguments. - L. Thorne McCarty (ICAIL, 1997)

Ownership: A case study in the representation of legal concepts. - L. Thorne McCarty (Artif. Intell. Law, 2002)

Deep semantic interpretations of legal texts. - L. Thorne McCarty (ICAIL, 2007)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. - Trevor J. M. Bench-Capon; Michal Araszkiewicz; Kevin D. Ashley; Katie Atkinson; Floris Bex; Filipe Borges; Danièle Bourcier; Paul Bourgine; Jack G. Conrad; Enrico Francesconi; Thomas F. Gordon; Guido Governatori; et al. (Artif. Intell. Law, 2012)

How to ground a language for legal discourse in a prototypical perceptual semantics. - L. Thorne McCarty (ICAIL, 2015)

Differential Similarity in Higher Dimensional Spaces: Theory and Applications. - L. Thorne McCarty (CoRR, 2019)

Clustering, coding, and the concept of similarity. - L. Thorne McCarty (Ann. Math. Artif. Intell., 2024)