Skip to content
cs-conference-ranking.org

L. Thorne McCarty

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

18

Venues

6

Active years

1980–2015

Best venue rank

A*

Where they publish

Papers

18 indexed papers, newest first.

YearVenueTitleAuthors
2015ICAILHow to ground a language for legal discourse in a prototypical perceptual semantics.L. Thorne McCarty
2007ICAILDeep semantic interpretations of legal texts.L. Thorne McCarty
1997ICAILSome Arguments About Legal Arguments.L. Thorne McCarty
1995ICAILAn Implementation of Eisner v. Macomber.L. Thorne McCarty
1994ICLPModalities over Action, I. Model Theory.L. Thorne McCarty
1994KRModalities Over Actions, I. Model Theory.L. Thorne McCarty
1993ICLPProving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.L. Thorne McCarty
1993LPNMRAn Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).L. Thorne McCarty, Ron van der Meyden
1992KRReasoning About Indefinite Actions.L. Thorne McCarty, Ron van der Meyden
1991ICAILOn the Role of Prototypes in Appellate Legal Argument (Abstract).L. Thorne McCarty
1991IJCAIIndefinite Reasoning with Definite Rules.L. Thorne McCarty, Ron van der Meyden
1991LPNMRCircumscribing Embedded Implications.L. Thorne McCarty
1990LPNMRThe Case for Explicit Exceptions.L. Thorne McCarty
1989ICAILA Language for Legal Discourse I: Basic Features.L. Thorne McCarty
1989ICAILEPS II: Estate Planning with Prototypes.D. A. Schlobohm, L. Thorne McCarty
1983IJCAIPermissions and Obligations.L. Thorne McCarty
1981IJCAIThe Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations.L. Thorne McCarty, N. S. Sridharan
1980AAAISome Requirements for a Computer-Based Legal Consultant.L. Thorne McCarty