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.
- R Anderson W W Bledsoe A linear format for resolution with merging and a new technique for establishing completeness Journal of the ACM Vol 17 No 3 pp 525--534 July 1970 Google ScholarDigital Library
- P B Andrews Resolution and merging Journal of the ACM Vol 15 No 3 pp 367--381 July 1968 Google ScholarDigital Library
- K O Biss R T Chien F A Stahl A data structure for cognitive information retrieval Coordinated Science Laboratory University of Illinois Urbana Illinois 1970Google Scholar
- K O Biss R T Chien F A Stahl Logical deduction in the R2 question-answering system Coordinated Science Laboratory University of Illinois Urbana Illinois 1971 (to appear)Google Scholar
- F S Black A deductive question-answering system Semantic Information Processing (ed M Minsky) MIT Press Cambridge Mass pp 354--402 1968Google Scholar
- C C Green Theorem-proving by resolution as a basis for question-answering systems Machine Intelligence 4 (eds B. Meltzer and D Michie) Edinburgh Univ Press Edinburgh pp 151--170 1969Google Scholar
- C C Green B Raphael The use of theorem-proving techniques in question-answering systems Proceedings of the ACM National Conference pp 169--181 1968 Google ScholarDigital Library
- D W Loveland A linear format for resolution University of Pittsburgh Dept of Computer Science 1968Google Scholar
- B Raphael A computer program for semantic information retrieval Sematic Information Processing (ed M Minsky) MIT Press Cambridge Mass pp 33--145 1968Google Scholar
- J A Robinson A machine-oriented logic based on the resolution principle Journal of the ACM Vol 12 No 1 pp 23--41 January 1965 Google ScholarDigital Library
- J A Schultz W T Bielby An algorithm for the syntactic analysis in the R2 information system Coordinated Science Laboratory University of Illinois Urbana Illinois 1970Google Scholar
- R M Schwarcz J F Burger R F Simmons A deductive question-answerer for natural language inference Communications of the ACM Vol 13 No 3 pp 167--183 March 1970 Google ScholarDigital Library
- R F Simmons Answering English questions by computer: A survey Communications of the ACM Vol 8 No 1 pp 53--69 January 1965 Google ScholarDigital Library
- R F Simmons Natural language question-answering systems: 1969 Communications of the ACM Vol 13 No 1 pp 15--36 January 1970 Google ScholarDigital Library
- R F Simmons J F Burger R M Schwarcz A computational model of verbal understanding Proceedings of the Fall Joint Computer Conference Spartan Books pp 441--456 1968 Google ScholarDigital Library
- L Wos G A Robinson D F Carson Some theorem-proving strategies and their implementation Argonne National Laboratory Technical Memorandum No 72 Argonne Illinois 1964Google Scholar
- L Wos G A Robinson D F Carson The unit preference strategy in theorem-proving Proceedings of the Fall Joint Computer Conference Vol 26 pp 615--621 Spartan Books 1964 Google ScholarDigital Library
- L Wos G A Robinson D F Carson Efficiency and completeness of the set of support strategy in theorem-proving Journal of the ACM Vol 12 No 4 pp 536--541 October 1965 Google ScholarDigital Library
- L Wos G A Robinson D F Carson L Shalla The concept of demodulation in theorem-proving Journal of the ACM Vol 14 No 4 pp 698--709 October 1967 Google ScholarDigital Library
- R2: a natural language question-answering system
Recommendations
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell SymposiumProgrammers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...
Magicscroll: a rollable display device with flexible screen real estate and gestural input
MobileHCI '18: Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and ServicesWe present MagicScroll, a rollable tablet with 2 concatenated flexible multitouch displays, actuated scrollwheels and gestural input. When rolled up, MagicScroll can be used as a rolodex, smartphone, expressive messaging interface or gestural ...
Comments