dblp.uni-trier.dewww.uni-trier.de

L. Thorne McCarty Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
26EEL. 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
24EEL. Thorne McCarty: Some Arguments About Legal Arguments. ICAIL 1997: 215-224
1995
23EEL. 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
15EEL. 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
10EED. A. Schlobohm, L. Thorne McCarty: EPS II: Estate Planning with Prototypes. ICAIL 1989: 1-10
9EEL. 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
3EESandra 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

Coauthor Index

1Anthony J. Bonner [8] [11]
2Sandra Cook [3]
3Caroled Hafner [3]
4Jeffrey A. Meldman [3]
5Ron van der Meyden [14] [16] [18]
6Mark Peterson [3]
7D. A. Schlobohm [10]
8Leon A. Shklar [21]
9James A. Sprowl [3]
10N. S. Sridharan [2] [3]
11Kumar V. Vadaparty [8]
12Donald A. Waterman [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)