H ? « ‹ ← → › »

Language peer sets for LLD:
United States↑
United States/1989↑
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
Specialised Languages ↑
Specialised Languages/1989↑
Specialised Languages/us ↑

LLD(ID:5643/lld001)

KR Language for law 

alternate simple view
Country: United States
Designed 1989
Sammet category: Specialised Languages

for Language for Legal Discourse

McCarty, Rutgers, 1989

AI language for recording legal knowledge, used to write TAXMAN II

Places
Related languages
AIMDS → LLD   Influence
References:
  • McCarty, L.T. (1983) McCarty, L.T. Intelligent legal information systems: Problems and prospects. Rutgers Computer and Technology Law Journal, 9(2):265-294, 1983.
  • McCarty, L.T. (1983) McCarty, L.T. "Intelligent legal information systems: Problems and prospects" pp125-151
          in Campbell, C. (1984) Campbell, C. editor, Data Processing and the Law, (Sweet and Maxwell, 1984
  • McCarty, L.T. (1987) McCarty, L.T. "Intelligent legal information systems: An update" in Law and Computers, No. 5, pp. 196-202 (Law and Computers Association of Japan, July 1987).
          in Campbell, C. (1984) Campbell, C. editor, Data Processing and the Law, (Sweet and Maxwell, 1984
  • McCarty, L.T. (1988) McCarty, L.T. "Intelligent legal information systems: An update" pp15-25
          in Fiedler, H. (1988) Fiedler, H. ; F. Raft, and R. Traunmilller, editors, Expert Systems in Law: Impacts on Legal Theory and Computer Law, Attempto-Verlag, Tiibingen, 1988
  • McCarty, L.T. (1988) McCarty, L.T. Programming directly in a non-monotonic logic. Technical Report LRP-TR-21, Computer Science Department, Rutgers University, September 1988.
          in Fiedler, H. (1988) Fiedler, H. ; F. Raft, and R. Traunmilller, editors, Expert Systems in Law: Impacts on Legal Theory and Computer Law, Attempto-Verlag, Tiibingen, 1988
  • McCarty. (1988) McCarty. L.T. Clausal intuitionistic logic. I. Fixedpoint semantics. Journal of Logic Programming, 5(1):1-31, 1988.
          in Fiedler, H. (1988) Fiedler, H. ; F. Raft, and R. Traunmilller, editors, Expert Systems in Law: Impacts on Legal Theory and Computer Law, Attempto-Verlag, Tiibingen, 1988
  • McCarty. (1988) McCarty. L.T. Clausal intuitionistic logic. II. Tableau proof procedures. Journal of Logic Programming, 5(2):93-132, 1988.
          in Fiedler, H. (1988) Fiedler, H. ; F. Raft, and R. Traunmilller, editors, Expert Systems in Law: Impacts on Legal Theory and Computer Law, Attempto-Verlag, Tiibingen, 1988
  • McCarty, L. T. (1989) McCarty, L. T. "A language for legal Discourse I. basic features" Abstract DOI
          in (1989) Proceedings of the second international conference on Artificial intelligence and law
  • McCarty, L.T. (1989) McCarty, L.T. Computing with prototypes (preliminary report). Technical Report LRP-TR-22, Computer Science Department, Rutgers University, March 1989.
          in (1989) Proceedings of the second international conference on Artificial intelligence and law
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder