A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
Journal of the ACM (JACM)
The Concept of Demodulation in Theorem Proving
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Journal of the ACM (JACM)
Natural language question-answering systems: 1969
Communications of the ACM
A deductive question-answerer for natural language inference
Communications of the ACM
Answering English questions by computer: a survey
Communications of the ACM
ELIZA—a computer program for the study of natural language communication between man and machine
Communications of the ACM
An information retrieval language for legal studies
Communications of the ACM
The use of theorem-proving techniques in question-answering systems
ACM '68 Proceedings of the 1968 23rd ACM national conference
The unit preference strategy in theorem proving
AFIPS '64 (Fall, part I) Proceedings of the October 27-29, 1964, fall joint computer conference, part I
A computational model of verbal understanding
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
R2: a natural language question-answering system
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
State criminal justice information systems
AFIPS '71 (Fall) Proceedings of the November 16-18, 1971, fall joint computer conference
Hi-index | 0.00 |
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.