Search the dblp DataBase
L. Thorne McCarty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- L. Thorne McCarty
Clausal Intuitionistic Logic I - Fixed-Point Semantics. [Citation Graph (2, 0)][DBLP]
J. Log. Program., 1988, v:5, n:1, pp:1-31 [Journal] - L. Thorne McCarty
Clausal Intuitionistic Logic II - Tableau Proof Procedures. [Citation Graph (2, 0)][DBLP]
J. Log. Program., 1988, v:5, n:2, pp:93-132 [Journal] - L. Thorne McCarty
Some Requirements for a Computer-Based Legal Consultant. [Citation Graph (0, 0)][DBLP]
AAAI, 1980, pp:298-300 [Conf] - L. Thorne McCarty
A Language for Legal Discourse I: Basic Features. [Citation Graph (0, 0)][DBLP]
ICAIL, 1989, pp:180-189 [Conf] - L. Thorne McCarty
On the Role of Prototypes in Appellate Legal Argument (Abstract). [Citation Graph (0, 0)][DBLP]
ICAIL, 1991, pp:185-190 [Conf] - L. Thorne McCarty
An Implementation of Eisner v. Macomber. [Citation Graph (0, 0)][DBLP]
ICAIL, 1995, pp:276-286 [Conf] - L. Thorne McCarty
Some Arguments About Legal Arguments. [Citation Graph (0, 0)][DBLP]
ICAIL, 1997, pp:215-224 [Conf] - D. A. Schlobohm, L. Thorne McCarty
EPS II: Estate Planning with Prototypes. [Citation Graph (0, 0)][DBLP]
ICAIL, 1989, pp:1-10 [Conf] - L. Thorne McCarty
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
ICLP, 1993, pp:44-63 [Conf] - L. Thorne McCarty
Permissions and Obligations. [Citation Graph (0, 0)][DBLP]
IJCAI, 1983, pp:287-294 [Conf] - L. Thorne McCarty, Ron van der Meyden
Indefinite Reasoning with Definite Rules. [Citation Graph (0, 0)][DBLP]
IJCAI, 1991, pp:890-896 [Conf] - L. Thorne McCarty, N. S. Sridharan
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. [Citation Graph (0, 0)][DBLP]
IJCAI, 1981, pp:246-253 [Conf] - L. Thorne McCarty
Modalities Over Actions, I. Model Theory. [Citation Graph (0, 0)][DBLP]
KR, 1994, pp:437-448 [Conf] - L. Thorne McCarty, Ron van der Meyden
Reasoning About Indefinite Actions. [Citation Graph (0, 0)][DBLP]
KR, 1992, pp:59-70 [Conf] - L. Thorne McCarty, Ron van der Meyden
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). [Citation Graph (0, 0)][DBLP]
LPNMR, 1993, pp:417-436 [Conf] - L. Thorne McCarty
The Case for Explicit Exceptions. [Citation Graph (0, 0)][DBLP]
LPNMR, 1990, pp:81-94 [Conf] - L. Thorne McCarty
Circumscribing Embedded Implications. [Citation Graph (0, 0)][DBLP]
LPNMR, 1991, pp:211-227 [Conf] - L. Thorne McCarty
Programming Directly in a Non Monotonic Logic. [Citation Graph (0, 0)][DBLP]
NMR, 1984, pp:325-336 [Conf] - Anthony J. Bonner, L. Thorne McCarty
Adding Negation-as-Failure to Intuitionistic Logic Programming. [Citation Graph (0, 0)][DBLP]
NACLP, 1990, pp:681-703 [Conf] - Anthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty
Expressing Database Queries with Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
NACLP, 1989, pp:831-850 [Conf] - L. Thorne McCarty, Leon A. Shklar
A PROLOG Interpreter for First-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
SLP, 1994, pp:685- [Conf] - L. Thorne McCarty
Ownership: A case study in the representation of legal concepts. [Citation Graph (0, 0)][DBLP]
Artif. Intell. Law, 2002, v:10, n:1-3, pp:135-161 [Journal] - L. Thorne McCarty
Defeasible Deontic Reasoning. [Citation Graph (0, 0)][DBLP]
Fundam. Inform., 1994, v:21, n:1/2, pp:125-148 [Journal] - L. Thorne McCarty
Circumscribing Embedded Implications (without Stratifications). [Citation Graph (0, 0)][DBLP]
J. Log. Program., 1993, v:17, n:2/3&4, pp:323-364 [Journal] - L. Thorne McCarty
Deep semantic interpretations of legal texts. [Citation Graph (0, 0)][DBLP]
ICAIL, 2007, pp:217-224 [Conf]
The applications of artificial intelligence to law: a survey of six current projects. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002