L. Thorne McCarty

According to our database, L. Thorne McCarty authored at least 32 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Clustering, coding, and the concept of similarity.

L. Thorne McCarty

Ann. Math. Artif. Intell., October, 2024

2019

Differential Similarity in Higher Dimensional Spaces: Theory and Applications.

L. Thorne McCarty

CoRR, 2019

2015

How to ground a language for legal discourse in a prototypical perceptual semantics.

L. Thorne McCarty

Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

2012

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, 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

Artif. Intell. Law, 2012

2007

Deep semantic interpretations of legal texts.

L. Thorne McCarty

Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

2002

Ownership: A case study in the representation of legal concepts.

L. Thorne McCarty

Artif. Intell. Law, 2002

1997

Some Arguments About Legal Arguments.

L. Thorne McCarty

Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1995

An Implementation of Eisner v. Macomber.

L. Thorne McCarty

Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

1994

The Case for Explicit Exceptions.

L. Thorne McCarty, William W. Cohen

Methods Log. Comput. Sci., 1994

Defeasible Deontic Reasoning.

L. Thorne McCarty

Fundam. Informaticae, 1994

A PROLOG Interpreter for First-Order Intuitionistic Logic.

L. Thorne McCarty, Leon A. Shklar

Proceedings of the Logic Programming, 1994

Modalities Over Actions, I. Model Theory.

L. Thorne McCarty

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Modalities over Action, I. Model Theory.

L. Thorne McCarty

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

1993

Circumscribing Embedded Implications (without Stratifications).

L. Thorne McCarty

J. Log. Program., 1993

An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).

L. Thorne McCarty, Ron van der Meyden

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.

L. Thorne McCarty

Proceedings of the Logic Programming, 1993

1992

Reasoning About Indefinite Actions.

L. Thorne McCarty, Ron van der Meyden

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

1991

Circumscribing Embedded Implications.

L. Thorne McCarty

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Indefinite Reasoning with Definite Rules.

L. Thorne McCarty, Ron van der Meyden

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

On the Role of Prototypes in Appellate Legal Argument (Abstract).

L. Thorne McCarty

Proceedings of the Third International Conference on Artificial Intelligence and Law, 1991

1990

Adding Negation-as-Failure to Intuitionistic Logic Programming.

Anthony J. Bonner, L. Thorne McCarty

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

The Case for Explicit Exceptions.

L. Thorne McCarty

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

Expressing Database Queries with Intuitionistic Logic.

Anthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty

Proceedings of the Logic Programming, 1989

EPS II: Estate Planning with Prototypes.

D. A. Schlobohm, L. Thorne McCarty

Proceedings of the Second International Conference on Artificial Intelligence and Law, 1989

A Language for Legal Discourse I: Basic Features.

L. Thorne McCarty

Proceedings of the Second International Conference on Artificial Intelligence and Law, 1989

1988

Clausal Intuitionistic Logic II - Tableau Proof Procedures.

L. Thorne McCarty

J. Log. Program., 1988

Clausal Intuitionistic Logic I - Fixed-Point Semantics.

L. Thorne McCarty

J. Log. Program., 1988

1984

Programming Directly in a Non Monotonic Logic.

L. Thorne McCarty

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1983

Permissions and Obligations.

L. Thorne McCarty

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981

The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations.

L. Thorne McCarty, N. S. Sridharan

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

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

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Some Requirements for a Computer-Based Legal Consultant.

L. Thorne McCarty

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980