New directions in legal information processing

Present areas of application of computers to the law fall into three broad categories: (1) those involving applications of business accounting techniques such as in tax preparation and client billing, (2) those involving data management techniques such as law enforcement, criminal justice, and keyword legal source material information systems, and (3) those involving on-line file manipulation in such areas as text-editing and drafting. These systems demonstrate that computers can work very well with problems that can be expressed in terms of numbers or information that can be handled on the basis of its external form.

[1]  Jessica S. Melton,et al.  Searching Legal Literature Electronically: Results of a Test Program , 1960 .

[2]  John F. Horty,et al.  An information retrieval language for legal studies , 1961, CACM.

[3]  Robert A. Wilson,et al.  Computer Retrieval of Case Law , 1962 .

[4]  S. F. Dennis,et al.  The Computer as a Tool for Legal Research , 1963 .

[5]  L. Wos,et al.  Some theorem-proving strategies and their implementation. [Instructions for using PG1 (in COMPASS for CDC 3600)] , 1964 .

[6]  B. Raphael.  SIR: A COMPUTER PROGRAM FOR SEMANTIC INFORMATION RETRIEVAL , 1964 .

[7]  L. Wos,et al.  The unit preference strategy in theorem proving , 1899, AFIPS '64 (Fall, part I).

[8]  J. Stevenson,et al.  The Wall Street Lawyer , 1964 .

[9]  Larry Wos,et al.  Efficiency and Completeness of the Set of Support Strategy in Theorem Proving , 1965, JACM.

[10]  Robert F. Simmons,et al.  Answering English questions by computer: a survey , 1965, CACM.

[11]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[12]  Larry Wos,et al.  The Concept of Demodulation in Theorem Proving , 1967, JACM.

[13]  Robert F. Simmons,et al.  A computational model of verbal understanding , 1899, AFIPS '68 (Fall, part I).

[14]  Bertram Raphael,et al.  The use of theorem-proving techniques in question-answering systems , 1968, ACM National Conference.

[15]  Peter B. Andrews.  Resolution With Merging , 1968, JACM.

[16]  David Canfield Smith,et al.  Dialogues Between Humans and an Artificial Belief System , 1969, IJCAI.

[17]  Robert Pratt Bigelow.  Computers and the law : an introductory handbook , 1969 .

[18]  W. W. Bledsoe,et al.  A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness , 1970, JACM.

[19]  Bruce G. Buchanan,et al.  Some Speculation about Artificial Intelligence and Legal Reasoning , 1970 .

[20]  Robert F. Simmons,et al.  Computational Linguistics Natural Language Question- Answering Systems: 1969 , 2022 .

[21]  Robert F. Simmons,et al.  A deductive question-answerer for natural language inference , 1970, CACM.

[22]  D. Loveland.  A Linear Format for Resolution , 1970 .

[23]  William T. Bielby,et al.  AN ALGORITHM FOR THE SYNTACTIC ANALYSIS IN THE R2 INFORMATION SYSTEM , 1970 .

[24]  Terry Winograd,et al.  Procedures As A Representation For Data In A Computer Program For Understanding Natural Language , 1971 .

[25]  Robert T. Chien,et al.  R2: a natural language question-answering system , 1971, AFIPS '71 (Spring).

[26]  Robert R. J. Gallati.  State criminal justice information systems , 1972, AFIPS '71 (Fall).