The following are in reverse chronological order of publication.

Showing most recent 5 out of 8  [View All]

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

• 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., 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]