The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

L. Thorne McCarty: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. L. Thorne McCarty
    Some Requirements for a Computer-Based Legal Consultant. [Citation Graph (0, 0)][DBLP]
    AAAI, 1980, pp:298-300 [Conf]
  4. L. Thorne McCarty
    A Language for Legal Discourse I: Basic Features. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1989, pp:180-189 [Conf]
  5. L. Thorne McCarty
    On the Role of Prototypes in Appellate Legal Argument (Abstract). [Citation Graph (0, 0)][DBLP]
    ICAIL, 1991, pp:185-190 [Conf]
  6. L. Thorne McCarty
    An Implementation of Eisner v. Macomber. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1995, pp:276-286 [Conf]
  7. L. Thorne McCarty
    Some Arguments About Legal Arguments. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1997, pp:215-224 [Conf]
  8. D. A. Schlobohm, L. Thorne McCarty
    EPS II: Estate Planning with Prototypes. [Citation Graph (0, 0)][DBLP]
    ICAIL, 1989, pp:1-10 [Conf]
  9. 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]
  10. L. Thorne McCarty
    Permissions and Obligations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1983, pp:287-294 [Conf]
  11. L. Thorne McCarty, Ron van der Meyden
    Indefinite Reasoning with Definite Rules. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1991, pp:890-896 [Conf]
  12. 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]
  13. L. Thorne McCarty
    Modalities Over Actions, I. Model Theory. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:437-448 [Conf]
  14. L. Thorne McCarty, Ron van der Meyden
    Reasoning About Indefinite Actions. [Citation Graph (0, 0)][DBLP]
    KR, 1992, pp:59-70 [Conf]
  15. 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]
  16. L. Thorne McCarty
    The Case for Explicit Exceptions. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:81-94 [Conf]
  17. L. Thorne McCarty
    Circumscribing Embedded Implications. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1991, pp:211-227 [Conf]
  18. L. Thorne McCarty
    Programming Directly in a Non Monotonic Logic. [Citation Graph (0, 0)][DBLP]
    NMR, 1984, pp:325-336 [Conf]
  19. 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]
  20. 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]
  21. L. Thorne McCarty, Leon A. Shklar
    A PROLOG Interpreter for First-Order Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:685- [Conf]
  22. 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]
  23. L. Thorne McCarty
    Defeasible Deontic Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1994, v:21, n:1/2, pp:125-148 [Journal]
  24. 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]
  25. L. Thorne McCarty
    Deep semantic interpretations of legal texts. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2007, pp:217-224 [Conf]

  26. The applications of artificial intelligence to law: a survey of six current projects. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002