L. Thorne McCarty

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 1

Top Topics

Higher Dimensional

Similarity Computation

Definition Language

Continuous Relaxation

Top Venues

Artif. Intell. Law

Publications

L. Thorne McCarty
Differential Similarity in Higher Dimensional Spaces: Theory and Applications. CoRR (2019)
L. Thorne McCarty
How to ground a language for legal discourse in a prototypical perceptual semantics. ICAIL (2015)
L. Thorne McCarty
Clustering, Coding, and the Concept of Similarity. CoRR (2014)
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, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20 (3) (2012)
L. Thorne McCarty
Deep semantic interpretations of legal texts. ICAIL (2007)
L. Thorne McCarty
Ownership: A case study in the representation of legal concepts. Artif. Intell. Law 10 (1-3) (2002)
L. Thorne McCarty
Some Arguments About Legal Arguments. ICAIL (1997)
L. Thorne McCarty
An Implementation of Eisner v. Macomber. ICAIL (1995)
L. Thorne McCarty, Leon A. Shklar
A PROLOG Interpreter for First-Order Intuitionistic Logic. ILPS (1994)
L. Thorne McCarty
Modalities Over Actions, I. Model Theory. KR (1994)
L. Thorne McCarty, William W. Cohen
The Case for Explicit Exceptions. Methods Log. Comput. Sci. 1 (1) (1994)
L. Thorne McCarty
Modalities over Action, I. Model Theory. ICLP Workshop: Legal Application of Logic Programming (1994)
L. Thorne McCarty
Defeasible Deontic Reasoning. Fundam. Informaticae 21 (1/2) (1994)
L. Thorne McCarty
Circumscribing Embedded Implications (without Stratifications). J. Log. Program. 17 (2/3&4) (1993)
L. Thorne McCarty
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. ICLP (1993)
L. Thorne McCarty, Ron van der Meyden
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR (1993)
L. Thorne McCarty, Ron van der Meyden
Reasoning About Indefinite Actions. KR (1992)
L. Thorne McCarty
Circumscribing Embedded Implications. LPNMR (1991)
L. Thorne McCarty
On the Role of Prototypes in Appellate Legal Argument (Abstract). ICAIL (1991)
L. Thorne McCarty, Ron van der Meyden
Indefinite Reasoning with Definite Rules. IJCAI (1991)
Anthony J. Bonner, L. Thorne McCarty
Adding Negation-as-Failure to Intuitionistic Logic Programming. NACLP (1990)
L. Thorne McCarty
The Case for Explicit Exceptions. LPNMR (1990)
L. Thorne McCarty
A Language for Legal Discourse I: Basic Features. ICAIL (1989)
Anthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty
Expressing Database Queries with Intuitionistic Logic. NACLP (1989)
D. A. Schlobohm, L. Thorne McCarty
EPS II: Estate Planning with Prototypes. ICAIL (1989)
L. Thorne McCarty
Clausal Intuitionistic Logic I - Fixed-Point Semantics. J. Log. Program. 5 (1) (1988)
L. Thorne McCarty
Clausal Intuitionistic Logic II - Tableau Proof Procedures. J. Log. Program. 5 (2) (1988)
L. Thorne McCarty
Programming Directly in a Non Monotonic Logic. NMR (1984)
L. Thorne McCarty
Permissions and Obligations. IJCAI (1983)
L. Thorne McCarty, N. S. Sridharan
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. IJCAI (1981)
Sandra Cook, Carole D. Hafner, L. Thorne McCarty, Jeffrey A. Meldman, Mark Peterson, James A. Sprowl, N. S. Sridharan, Donald A. Waterman
The applications of artificial intelligence to law: a survey of six current projects. AFIPS National Computer Conference (1981)
L. Thorne McCarty
Some Requirements for a Computer-Based Legal Consultant. AAAI (1980)