The following are sorted by reverse chronological order of publication.
8 publications found:
Rulifson, J. F. and Derksen, J. A. and Waldinger, R. J. QA4: A Procedural Calculus For Intuitive Reasoning, Technical Note 73. AI Center, SRI International, 333 Ravenswood Ave., Menlo Park, CA 94025, Nov 1972. [PDF, Details]
Derksen, Jan, Rulifson, Johns F., and Waldinger, Richard J. QA4 Language Applied to Robot Planning, Technical Note 65. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1972. [PDF, Details]
Rulifson, Johns F. QA4 Programming Concepts, Technical Note 60. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Aug 1971. [PDF, Details]
Raphael, B., Chaitin, L. J., Duda, R. O., Fikes, R. E., Hart, P. E. and Nilsson, N. J. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, April 1971. [PDF, Details]
Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A. A Language for Writing Problem-Solving Programs, Technical Note 48. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025", Apr 1971. [PDF, Details]
Raphael, B. Research and Applications - Artificial Intelligence, Technical Report . Stanford Research Institute, November 1970. [PDF, Details]
Rulifson, Johns F. Preliminary Specification of the QA4 Language, Technical Note 50. AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Apr 1970. [PDF, Details]
Waldinger, R. J., Rulifson., and Nilsson, N. J. Research on Automatic Program-Synthesis Systems, Technical Note . AI Center, SRI International, 333 Ravenswood Ave, Menlo Park, CA 94025, Feb 1970. [PDF, Details]
