L. Thorne McCarty
L. Thorne McCarty
Professor of Computer Science and Law, Emeritus, Rutgers University
Verified email at cs.rutgers.edu - Homepage
Title
Cited by
Cited by
Year
Reflections on "Taxman": An Experiment in Artificial Intelligence and Legal Reasoning
LT McCarty
Harvard Law Review 90, 837-893, 1977
3561977
A Language for Legal Discourse I. Basic features
LT McCarty
Proceedings of the 2nd international conference on Artificial intelligence …, 1989
2751989
Explanation-based generalization as resolution theorem proving
ST Kedar-Cabelli, LT McCarty
Fourth International Workshop on Machine Learning, 383-389, 1987
1771987
Clausal intuitionistic logic I. Fixed-point semantics
LT McCarty
The Journal of Logic Programming 5 (1), 1-31, 1988
1311988
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law
T Bench-Capon, M Araszkiewicz, K Ashley, K Atkinson, F Bex, F Borges, ...
Artificial Intelligence and Law 20 (3), 215-319, 2012
1162012
Permissions and obligations
LT McCarty
IJCAI 83, 287-294, 1983
1091983
Deep semantic interpretations of legal texts
LT McCarty
Proceedings of the 11th international conference on Artificial intelligence …, 2007
1002007
The representation of an evolving system of legal concepts: II. Prototypes and deformations
LT McCarty, NS Sridharan
IJCAI, 1981
981981
An implementation of Eisner v. Macomber
LT McCarty
Proceedings of the 5th international conference on Artificial intelligence …, 1995
931995
Clausal intuitionistic logic II. Tableau proof procedures
LT McCarty
The Journal of Logic Programming 5 (2), 93-132, 1988
911988
A computational theory of legal argument
Rutgers University. Laboratory for Computer Science Research, ...
Laboratory for Computer Science Research, Rutgers University, 1982
891982
Intelligent legal information systems: Problems and prospects
LT McCarty
Rutgers Computer & Tech. LJ 9, 265, 1982
771982
The TAXMAN project: Towards a cognitive theory of legal argument
LT McCarty
Computer science and law: An advanced course, 23-43, 1980
691980
Defeasible deontic reasoning
LT McCarty
Fundamenta Informaticae 21 (1, 2), 125-148, 1994
651994
Permissions and obligations: An informal introduction
LT McCarty
Rutgers University, Department of Computer Science, Laboratory for Computer …, 1986
551986
Some arguments about legal arguments
LT McCarty
Proceedings of the 6th international conference on artificial intelligence …, 1997
521997
Ownership: A case study in the representation of legal concepts
LT McCarty
Artificial Intelligence and Law 10 (1), 135-161, 2002
492002
Ownership: A case study in the representation of legal concepts
LT McCarty
Artificial Intelligence and Law 10 (1), 135-161, 2002
492002
Expressing Database Queries with Intuitionistic Logic.
AJ Bonner, LT McCarty, KV Vadaparty
NACLP, 831-850, 1989
431989
Adding Negation-as-Failure to Intuitionistic Logic Programming.
AJ Bonner, LT McCarty
NACLP, 681-703, 1990
401990
The system can't perform the operation now. Try again later.
Articles 1–20