default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDL. Thorne McCarty
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]L. Thorne McCarty:
Clustering, coding, and the concept of similarity. Ann. Math. Artif. Intell. 92(5): 1197-1248 (2024)
2010 – 2019
- 2019
- [i2]L. Thorne McCarty:
Differential Similarity in Higher Dimensional Spaces: Theory and Applications. CoRR abs/1902.03667 (2019) - 2015
- [c23]L. Thorne McCarty:
How to ground a language for legal discourse in a prototypical perceptual semantics. ICAIL 2015: 89-98 - 2014
- [i1]L. Thorne McCarty:
Clustering, Coding, and the Concept of Similarity. CoRR abs/1401.2411 (2014) - 2012
- [j7]Trevor J. M. Bench-Capon
, Michal Araszkiewicz, Kevin D. Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Danièle Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner:
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20(3): 215-319 (2012)
2000 – 2009
- 2007
- [c22]L. Thorne McCarty:
Deep semantic interpretations of legal texts. ICAIL 2007: 217-224 - 2002
- [j6]L. Thorne McCarty:
Ownership: A case study in the representation of legal concepts. Artif. Intell. Law 10(1-3): 135-161 (2002)
1990 – 1999
- 1997
- [c21]L. Thorne McCarty:
Some Arguments About Legal Arguments. ICAIL 1997: 215-224 - 1995
- [c20]L. Thorne McCarty:
An Implementation of Eisner v. Macomber. ICAIL 1995: 276-286 - [e1]L. Thorne McCarty:
Proceedings of the Fifth International Conference on Artificial Intelligence and Law, ICAIL '95, College Park, Maryland, USA, May 21-24, 1995. ACM 1995, ISBN 0-89791-758-8 [contents] - 1994
- [j5]L. Thorne McCarty:
Defeasible Deontic Reasoning. Fundam. Informaticae 21(1/2): 125-148 (1994) - [j4]L. Thorne McCarty, William W. Cohen:
The Case for Explicit Exceptions. Methods Log. Comput. Sci. 1(1): 19-50 (1994) - [c19]L. Thorne McCarty:
Modalities over Action, I. Model Theory. ICLP Workshop: Legal Application of Logic Programming 1994 - [c18]L. Thorne McCarty:
Modalities Over Actions, I. Model Theory. KR 1994: 437-448 - [c17]L. Thorne McCarty, Leon A. Shklar:
A PROLOG Interpreter for First-Order Intuitionistic Logic. ILPS 1994: 685 - 1993
- [j3]L. Thorne McCarty:
Circumscribing Embedded Implications (without Stratifications). J. Log. Program. 17(2/3&4): 323-364 (1993) - [c16]L. Thorne McCarty:
Proving Inductive Properties of Prolog Programs in Second-Order Intuitionistic Logic. ICLP 1993: 44-63 - [c15]L. Thorne McCarty, Ron van der Meyden:
An Intuitionistic Interpretation of Finite and Infinite Failure (Preliminary Version). LPNMR 1993: 417-436 - 1992
- [c14]L. Thorne McCarty, Ron van der Meyden:
Reasoning About Indefinite Actions. KR 1992: 59-70 - 1991
- [c13]L. Thorne McCarty:
On the Role of Prototypes in Appellate Legal Argument (Abstract). ICAIL 1991: 185-190 - [c12]L. Thorne McCarty, Ron van der Meyden:
Indefinite Reasoning with Definite Rules. IJCAI 1991: 890-896 - [c11]L. Thorne McCarty:
Circumscribing Embedded Implications. LPNMR 1991: 211-227 - 1990
- [c10]L. Thorne McCarty:
The Case for Explicit Exceptions. LPNMR 1990: 81-94 - [c9]Anthony J. Bonner, L. Thorne McCarty:
Adding Negation-as-Failure to Intuitionistic Logic Programming. NACLP 1990: 681-703
1980 – 1989
- 1989
- [c8]D. A. Schlobohm, L. Thorne McCarty:
EPS II: Estate Planning with Prototypes. ICAIL 1989: 1-10 - [c7]L. Thorne McCarty:
A Language for Legal Discourse I: Basic Features. ICAIL 1989: 180-189 - [c6]Anthony J. Bonner, L. Thorne McCarty, Kumar V. Vadaparty:
Expressing Database Queries with Intuitionistic Logic. NACLP 1989: 831-850 - 1988
- [j2]L. Thorne McCarty:
Clausal Intuitionistic Logic I - Fixed-Point Semantics. J. Log. Program. 5(1): 1-31 (1988) - [j1]L. Thorne McCarty:
Clausal Intuitionistic Logic II - Tableau Proof Procedures. J. Log. Program. 5(2): 93-132 (1988) - 1984
- [c5]L. Thorne McCarty:
Programming Directly in a Non Monotonic Logic. NMR 1984: 325-336 - 1983
- [c4]L. Thorne McCarty:
Permissions and Obligations. IJCAI 1983: 287-294 - 1981
- [c3]Sandra Cook, Carole D. 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 - [c2]L. Thorne McCarty, N. S. Sridharan:
The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. IJCAI 1981: 246-253 - 1980
- [c1]L. Thorne McCarty:
Some Requirements for a Computer-Based Legal Consultant. AAAI 1980: 298-300
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
