H ? « ‹ ← → › »

Language peer sets for QA4:
United States↑
United States/1967↑
Designed 1967 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Goal description ↑
String and List Processing ↑
Goal description↑
Context-based ↑
Data representation ↑
Goal description/1967↑
Context-based /1967↑
Data representation/1967↑
Goal description/United States↑
Context-based /United States↑
Data representation/United States↑
String and List Processing ↑
String and List Processing/1967↑
String and List Processing/us ↑

QA4(ID:345/qa:001)

Question Answering 

alternate simple view
Country: United States
Designed 1967
Published: 1968
Genus: Goal description
Sammet category: String and List Processing

Rulifson SRI 1967

Question-answering language. A procedural calculus for intuitive reasoning. A LISP-based pattern-matching language for theorem proving.

Permitted multiple branching of occurences, had multisets (bags) as a top level construct

Structures:
Related languages
PROW → QA4   Influence
QA3 → QA4   Evolution of
QA4 → 1.pak   Influence
QA4 → CONNIVER   Incorporated some features of
QA4 → PIVOT   Influence
QA4 → PLANNER-73   Influence
QA4 → QLISP   Derivation of
QA4 → Strips   Evolution of
References:
  • Green, C and Raphael, B (1968) Green, C and Raphael, B "Research in intelligent question answering systems"
          in Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  • Green, C and Raphael, B (1968) Green, C and Raphael, B "The use of theorem-proving techniques in question-answering systems"
          in Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  • Rulifson, J.F. et al, (1968) Rulifson, J.F. et al, "QA4, A Language for Writing Problem-Solving Programs"
          in Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  • Green (1969) Green, C. Cordell. "The Application of Theorem Proving to Question-Answering Systems" Stanford University Computer Science Department Report CS-138. 1969.
          in Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  • Wilber (1971) Wilber, M. "RFC152 SRI ARC-NIC status" 10 May 1971 Extract: Related work
          in Morrell, A. (1968) Morrell, A. J. H. (Ed.): Information Processing 68, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968
  • Derksen, Jan, Rulifson, John F., and Waldinger, Ri (1972) Derksen, Jan, Rulifson, John F., and Waldinger, Richard J., "The QA4 Language Applied to Robot Planning"
          in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Fall Joint Computer Conference FJCC 41
  • Sammet (1972) Sammet, Jean E., "Roster of Programming Languages 1972" 231
          in (1972) Computers & Automation 21(6B), 30 Aug 1972
  • Rulifson, J., Derksen, J. and Waldinger, R., (1973) Rulifson, J., Derksen, J. and Waldinger, R., "QA4, A procedural calculus for intuitive reasoning" SRI AI Technical Note 73 November 1973 Abstract
          in (1972) Computers & Automation 21(6B), 30 Aug 1972
  • Sammet, Jean E. (1973) Sammet, Jean E. "Roster of Programming Languages for 1973" p147
          in (1974) ACM Computing Reviews 15(04) April 1974
  • Stock and Stock (1973) Stock, Marylene and Stock, Karl F. "Bibliography of Programming Languages: Books, User Manuals and Articles from PLANKALKUL to PL/I" Verlag Dokumentation, Pullach/Munchen 1973 492 Abstract
          in (1974) ACM Computing Reviews 15(04) April 1974
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: QA3 and QA4
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Stickel, Mark E. (1981) Stickel, Mark E. "A Unification Algorithm for Associative-Commutative Functions" pp423-434
          in [ACM] (1981) [ACM] JACM 28(3) July 1981
  • Lyon (1991) Lyon, Douglas A. "Parallel Parking with Nonholonomic Constraints" Ph D Thesis Rensselaer Polytechnic Institute Troy, New York December 1991 Extract: Planners
          in [ACM] (1981) [ACM] JACM 28(3) July 1981
  • Minker, Jack (1996) Minker, Jack "Logic and Databases: a 20 Year Retrospective", Invited Keynote Address, Workshop on Logic in Databases, San Miniato, Italy, July 1996. Extract: INFEREX QA and SIR
          in [ACM] (1981) [ACM] JACM 28(3) July 1981
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder