H ? « ‹ ← → › »

Language peer sets for Wos QAS:
United States↑
United States/1964↑
Designed 1964 ↑
1960s languages ↑
Third generation↑
Early Cold War↑

Wos QAS(ID:8404/)

alternate simple view
Country: United States
Designed 1964

Querying language developed at Argonne that represented sentences internally with propositional calculus

?Ancestor of the logical proving series?

Places
Related languages
IPL-VC → Wos QAS   Written using
Wos QAS → Argonne proving system   Evolution of
References:
  • Wos et al (1964) Wos, L., G.A. Robinson & D.F. Carson "Some theorem-proving strategies and their implementation" Argonne National Laboratory, Technical Memorandum No. 72. 1964 Argonne, IL.
  • Wos et al (1964) Wos, L., G.A. Robinson & D.F. Carson "The unit preference strategy in theorem-proving"
          in [AFIPS JCC 26] (1964) [AFIPS JCC 26] Proceedings of the 1964 Fall Joint Computer Conference FJCC 1964
  • Wos et al (1965) Wos, L., G.A. Robinson & D.F. Carson "Efficiency and completeness of the set of support strategy in theorem-proving"
          in JACM (1965) [ACM] JACM 12(4) October 1965
  • Wos et al (1967) Wos, L., G.A. Robinson, D.F. Carson & L. Shalla "The concept of demodulation in theorem-proving" Journal of the ACM, 14(4).1967
          in JACM (1965) [ACM] JACM 12(4) October 1965
  • Schultz et al (2003) Schultz, Jeffrey A.; Pitts, Sarah T.; Kamery, Rob H. "From the Early 1970S: A Review Of Some Natural Language Question-Answering Systems" Extract: Introduction
          in [AIMS] (2003) Proceedings of the Academy of Information and Management Sciences, 7(2) Las Vegas, 2003
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder