We stand with Ukraine  

L. Thorne McCarty

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Differential Similarity in Higher Dimensional Spaces: Theory and Applications.
[BibTeX]
[DOI]
L. Thorne McCarty
CoRR, 2019

2015
How to ground a language for legal discourse in a prototypical perceptual semantics.
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

2014
Clustering, Coding, and the Concept of Similarity.
[BibTeX]
[DOI]
L. Thorne McCarty
CoRR, 2014

2012
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
L. Thorne McCarty
Artif. Intell. Law, 2002

1997
Some Arguments About Legal Arguments.
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1995
An Implementation of Eisner v. Macomber.
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the Fifth International Conference on Artificial Intelligence and Law, 1995

1994
The Case for Explicit Exceptions.
[BibTeX]
L. Thorne McCarty
,
William W. Cohen
Methods Log. Comput. Sci., 1994

Defeasible Deontic Reasoning.
[BibTeX]
[DOI]
L. Thorne McCarty
Fundam. Informaticae, 1994

A PROLOG Interpreter for First-Order Intuitionistic Logic.
[BibTeX]
L. Thorne McCarty
,
Leon A. Shklar
Proceedings of the Logic Programming, 1994

Modalities Over Actions, I. Model Theory.
[BibTeX]
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.
[BibTeX]
L. Thorne McCarty
Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

1993
Circumscribing Embedded Implications (without Stratifications).
[BibTeX]
[DOI]
L. Thorne McCarty
J. Log. Program., 1993

An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).
[BibTeX]
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.
[BibTeX]
L. Thorne McCarty
Proceedings of the Logic Programming, 1993

1992
Reasoning About Indefinite Actions.
[BibTeX]
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.
[BibTeX]
L. Thorne McCarty
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Indefinite Reasoning with Definite Rules.
[BibTeX]
[DOI]
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).
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the Third International Conference on Artificial Intelligence and Law, 1991

1990
Adding Negation-as-Failure to Intuitionistic Logic Programming.
[BibTeX]
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.
[BibTeX]
L. Thorne McCarty
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989
Expressing Database Queries with Intuitionistic Logic.
[BibTeX]
Anthony J. Bonner
,
L. Thorne McCarty
,
Kumar V. Vadaparty
Proceedings of the Logic Programming, 1989

EPS II: Estate Planning with Prototypes.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the Second International Conference on Artificial Intelligence and Law, 1989

1988
Clausal Intuitionistic Logic II - Tableau Proof Procedures.
[BibTeX]
[DOI]
L. Thorne McCarty
J. Log. Program., 1988

Clausal Intuitionistic Logic I - Fixed-Point Semantics.
[BibTeX]
[DOI]
L. Thorne McCarty
J. Log. Program., 1988

1984
Programming Directly in a Non Monotonic Logic.
[BibTeX]
L. Thorne McCarty
Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1983
Permissions and Obligations.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
L. Thorne McCarty
Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980


  Loading...