R2: a natural language question-answering system

Authors:
K. Biss;R. Chien;F. Stahl
Affiliations:
University of Illinois at Urbana-Champaign, Urbana, Illinois;University of Illinois at Urbana-Champaign, Urbana, Illinois;University of Illinois at Urbana-Champaign, Urbana, Illinois
Venue:
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
Year:
1971

Citing 11
Cited 1

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)
Resolution With Merging

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
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

New directions in legal information processing

AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

A large number of systems involving computers require a high degree of man-machine interaction. In these systems the capability of the computer to process natural language information would be extremely useful as that eliminates the need for the user to learn various formal languages for the purpose of interaction.