 | 2007 |
|---|
| 26 |       | L. Thorne McCarty:
Deep semantic interpretations of legal texts.
ICAIL 2007: 217-224 |
| 2002 |
|---|
| 25 |  | L. Thorne McCarty:
Ownership: A case study in the representation of legal concepts.
Artif. Intell. Law 10(1-3): 135-161 (2002) |
| 1997 |
|---|
| 24 | | L. Thorne McCarty:
Some Arguments About Legal Arguments.
ICAIL 1997: 215-224 |
| 1995 |
|---|
| 23 | | L. Thorne McCarty:
An Implementation of Eisner v. Macomber.
ICAIL 1995: 276-286 |
| 1994 |
|---|
| 22 | | L. Thorne McCarty:
Modalities Over Actions, I. Model Theory.
KR 1994: 437-448 |
| 21 | | L. Thorne McCarty,
Leon A. Shklar:
A PROLOG Interpreter for First-Order Intuitionistic Logic.
SLP 1994: 685 |
| 20 | | L. Thorne McCarty:
Defeasible Deontic Reasoning.
Fundam. Inform. 21(1/2): 125-148 (1994) |
| 1993 |
|---|
| 19 | | L. Thorne McCarty:
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic.
ICLP 1993: 44-63 |
| 18 | | L. Thorne McCarty,
Ron van der Meyden:
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version).
LPNMR 1993: 417-436 |
| 17 | | L. Thorne McCarty:
Circumscribing Embedded Implications (without Stratifications).
J. Log. Program. 17(2/3&4): 323-364 (1993) |
| 1992 |
|---|
| 16 | | L. Thorne McCarty,
Ron van der Meyden:
Reasoning About Indefinite Actions.
KR 1992: 59-70 |
| 1991 |
|---|
| 15 | | L. Thorne McCarty:
On the Role of Prototypes in Appellate Legal Argument (Abstract).
ICAIL 1991: 185-190 |
| 14 | | L. Thorne McCarty,
Ron van der Meyden:
Indefinite Reasoning with Definite Rules.
IJCAI 1991: 890-896 |
| 13 | | L. Thorne McCarty:
Circumscribing Embedded Implications.
LPNMR 1991: 211-227 |
| 1990 |
|---|
| 12 | | L. Thorne McCarty:
The Case for Explicit Exceptions.
LPNMR 1990: 81-94 |
| 11 | | Anthony J. Bonner,
L. Thorne McCarty:
Adding Negation-as-Failure to Intuitionistic Logic Programming.
NACLP 1990: 681-703 |
| 1989 |
|---|
| 10 | | D. A. Schlobohm,
L. Thorne McCarty:
EPS II: Estate Planning with Prototypes.
ICAIL 1989: 1-10 |
| 9 | | L. Thorne McCarty:
A Language for Legal Discourse I: Basic Features.
ICAIL 1989: 180-189 |
| 8 | | Anthony J. Bonner,
L. Thorne McCarty,
Kumar V. Vadaparty:
Expressing Database Queries with Intuitionistic Logic.
NACLP 1989: 831-850 |
| 1988 |
|---|
| 7 | | L. Thorne McCarty:
Clausal Intuitionistic Logic I - Fixed-Point Semantics.
J. Log. Program. 5(1): 1-31 (1988) |
| 6 | | L. Thorne McCarty:
Clausal Intuitionistic Logic II - Tableau Proof Procedures.
J. Log. Program. 5(2): 93-132 (1988) |
| 1984 |
|---|
| 5 | | L. Thorne McCarty:
Programming Directly in a Non Monotonic Logic.
NMR 1984: 325-336 |
| 1983 |
|---|
| 4 | | L. Thorne McCarty:
Permissions and Obligations.
IJCAI 1983: 287-294 |
| 1981 |
|---|
| 3 | | Sandra Cook,
Caroled 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: 689-696 |
| 2 | | L. Thorne McCarty,
N. S. Sridharan:
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations.
IJCAI 1981: 246-253 |
| 1980 |
|---|
| 1 | | L. Thorne McCarty:
Some Requirements for a Computer-Based Legal Consultant.
AAAI 1980: 298-300 |
