L. Thorne McCarty

34 papers A* 6B 4C 8Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
Clustering, coding, and the concept of similarity.
Ann. Math. Artif. Intell.
L. Thorne McCarty
2019 J jnl
Differential Similarity in Higher Dimensional Spaces: Theory and Applications.
CoRR
L. Thorne McCarty
2015 C conf
How to ground a language for legal discourse in a prototypical perceptual semantics.
ICAIL
L. Thorne McCarty
2014 J jnl
Clustering, Coding, and the Concept of Similarity.
CoRR
L. Thorne McCarty
2012 J jnl
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artif. Intell. 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, 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
2007 C conf
Deep semantic interpretations of legal texts.
ICAIL
L. Thorne McCarty
2002 J jnl
Ownership: A case study in the representation of legal concepts.
Artif. Intell. Law
L. Thorne McCarty
1997 C conf
Some Arguments About Legal Arguments.
ICAIL
L. Thorne McCarty
1995 C conf
An Implementation of Eisner v. Macomber.
ICAIL
L. Thorne McCarty
1995 C ed.
Proceedings of the Fifth International Conference on Artificial Intelligence and Law, ICAIL '95, College Park, Maryland, USA, May 21-24, 1995
ICAIL
L. Thorne McCarty
1994 — conf
A PROLOG Interpreter for First-Order Intuitionistic Logic.
ILPS
L. Thorne McCarty, Leon A. Shklar
1994 J jnl
Defeasible Deontic Reasoning.
Fundam. Informaticae
L. Thorne McCarty
1994 A* conf
Modalities Over Actions, I. Model Theory.
KR
L. Thorne McCarty
1994 — conf
Modalities over Action, I. Model Theory.
ICLP Workshop: Legal Application of Logic Programming
L. Thorne McCarty
1994 J jnl
The Case for Explicit Exceptions.
Methods Log. Comput. Sci.
L. Thorne McCarty, William W. Cohen
1993 B conf
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).
LPNMR
L. Thorne McCarty, Ron van der Meyden
1993 J jnl
Circumscribing Embedded Implications (without Stratifications).
J. Log. Program.
L. Thorne McCarty
1993 B conf
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.
ICLP
L. Thorne McCarty
1992 A* conf
Reasoning About Indefinite Actions.
KR
L. Thorne McCarty, Ron van der Meyden
1991 B conf
Circumscribing Embedded Implications.
LPNMR
L. Thorne McCarty
1991 A* conf
Indefinite Reasoning with Definite Rules.
IJCAI
L. Thorne McCarty, Ron van der Meyden
1991 C conf
On the Role of Prototypes in Appellate Legal Argument (Abstract).
ICAIL
L. Thorne McCarty
1990 — conf
Adding Negation-as-Failure to Intuitionistic Logic Programming.
NACLP
Anthony J. Bonner, L. Thorne McCarty
1990 B conf
The Case for Explicit Exceptions.
LPNMR
L. Thorne McCarty
1989 C conf
A Language for Legal Discourse I: Basic Features.
ICAIL
L. Thorne McCarty
1989 C conf
EPS II: Estate Planning with Prototypes.
ICAIL
D. A. Schlobohm, L. Thorne McCarty
1989 — conf
Expressing Database Queries with Intuitionistic Logic.
NACLP
Anthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty
1988 J jnl
Clausal Intuitionistic Logic I - Fixed-Point Semantics.
J. Log. Program.
L. Thorne McCarty
1988 J jnl
Clausal Intuitionistic Logic II - Tableau Proof Procedures.
J. Log. Program.
L. Thorne McCarty
1984 — conf
Programming Directly in a Non Monotonic Logic.
NMR
L. Thorne McCarty
1983 A* conf
Permissions and Obligations.
IJCAI
L. Thorne McCarty
1981 A* conf
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations.
IJCAI
L. Thorne McCarty, N. S. Sridharan
1981 — conf
The applications of artificial intelligence to law: a survey of six current projects.
AFIPS National Computer Conference
Sandra Cook, Carole D. Hafner, L. Thorne McCarty, Jeffrey A. Meldman, Mark Peterson, James A. Sprowl, N. S. Sridharan, Donald A. Waterman
1980 A* conf
Some Requirements for a Computer-Based Legal Consultant.
AAAI
L. Thorne McCarty