JointCon
Proc.of theFifthInternational
ference on Artificial Intelligence, MIT, Cambridge, Massachusetts, 1977, pp. 1030-1037.
Radner, R.: Team Decision Problems. Ann. Math. Stat., vol. 33, 1962, pp. 857-881. Raibert, M. H.: Autonomous Mechanical Assembly on the Space Shuttle: An Overview. NASA CR-158818, July 1979.
Reiter, R.: The Use of Models in Automatic Theorem- Proving. Technical Report 72-09, Dept. of Computer Science, Univ. of British Columbia, Canada, 1972.
Reiter, R.: A Logic for Default Reasoning. Artificial Intelligence, vol. 13, 1980, pp. 81-132.
Rich, E.: Building and Exploiting User Models. Proc. of 6th International Joint Conference on Artificial Intelligence. Tokyo, 1979, pp. 720-722.
Sacerdoti, E. D.: Planning in a Hierarchy of Abstraction Spaces. Artificial Intelligence, vol. 5, 1974, pp. 115-135.
Sacerdoti, E. D.: Problem Solving Tactics. Proc. Sixth International Joint Conference on Artificial Intelligence. Tokyo, Japan, 1979, pp. 1077-1085.
Sagan, Carl, chmn.: Machine Intelligence and Robotics: Report of the NASA Study Group. NASA-JPL Report No. 715-32, March 1980.
Sandell, N. R.; Varaiya, P.; Athans, M.; and Safonov, M. G.: Survey of Decentralized Control Methods for Large Scale Systems. IEEE Trans. Automat. Contr., vol. AC-23, April t978, pp. 108-128.
Sandford, D. M.: Using Sophisticated Models in Resolution Theorem Proving. Lecture Notes in Computer Science, vol. 90, Springer-Verlag, New York, 1980. Schappell, R. T.: A Study of Early Intrusion into Algorithm Development Utilizing Information Processing Advanced Technology. Martin Marietta Corp., P-80-48052-1,1980a.
Schappell, R. T.: FILE Technology Developments for Remote Sensing. SP1E Annual Int. and Tech. Symposium and Exhibit, San Diego,California, 31 July 1980b.
Schappell, R. T.; Polhemus, J. T.; Lowrie, J. W.; Hughes,
C. A.; Stephens, J. R.; and Chang, Chieng-Y.: Applications of Advanced Technology to Space Automation. NASA CR-158350, January 1979a. Schappell, R. T.; and Tietz, J. C.: Landmark Identification and Tracking Experiments. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979, pp. 134-151.
Schappell, R. T.; Vandenberg, F. A.; and Hughes, C. A.: Study of Automated Rendezvous and Docking Technology: Final Report. Martin Marietta Corporation,
1979b.
Schlienn, S.: Geometric Correction Registration and Resampling of LANDSAT Imagery. Canad. J. Remote Sensing, vol. 5, 1979, pp. 74-89.
Shin, C. N.; and Yerazunis, S.: Data Acquisition and Path Selection Decision-Making for an Autonomous Roving
Vehicle. Progress Report, Rensselaer Polytechnic Institute, TR MP-62, 1978.
Shortliffe, E. H.: Computer-Based Medical Consultations: MYCIN. Elsevier, New York, 1976.
Space Shuttle, JSC, 1976: Space Transportation User Handbook, JSC, July 1977; Space Shuttle System Payload Accommodations, JSC-07700, vol. XIV, Revision F, 22 September 1978.
Spann, G. W.: Satellite Remote Sensing Markets in the 1980's. Photogrammetric Engineering and Remote Sensing, vol. 46, 1980, pp. 65-69. Srinivasan, C. V.: The Architecture of Coherent Information Systems: A General Problem Solving System. IEEE Trans. on Computers, vol. C-25, 1976, pp. 390-402. Srinivasan, C. V.: Knowledge-Based Learning, An Example. DCS-TR-90, paper presented at Workshop on Machine Learning, Carnegie-Mellon Univ., July 1980.
Srinivasan, C. V.; and Sandford, D. M.: Knowledge-Based Learning Systems, Part I: A Proposal for Research; Part II: An Introduction to the Meta-Theory; Part 1II:
Logical Foundations. DCS-TR-89, Dept. of Computer Science, Hill Center, Busch Campus, Rutgers Univ., New Brunswick, New Jersey, March 1980.
Sussman, G. J.: A Computer Model of Skill Acquisition. American Elsevier, New York, 1975. Teitelman, W.: A Display Oriented Programmer's Assistant. Int. J. Man-Machine Studies, November 1979, pp. 157-187.
Tenenbaum, Jay M.: Reconstructing Smooth Surfaces. In Proc. Image Understanding Workshop, Univ. of Southern California, November 1979.
Thorley, G. A.; and Robinove, C. J.: Current and Potential
Uses of Aerospace Technology by the U.S. Department of the Interior. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979, pp. 15-26.
Vahey, D. W.: Smart Remote Holographic Processor Based on the Materials Characteristics of LiNbO3. Progress in Astronautics and Aeronautics, vol. 67, AIAA,
New York, 1979, pp. 352-366. Van de Brug, G.; and Minker J.: State-Space, Problem- Reduction, and Theorem Proving -Some Relationships.
J. ACM, vol. 18, 1975, pp. 107-115. Van Emden, M.: Programming with Resolution Logic. In Machine Intelligence, E. W. Elcock and D. Michie, eds., Ellis Horwood Ltd. (Halsted Press), vol. 8, 1977, pp. 266-299. Warren, D.; and Pereira, L. M.: PROLOG The Language and its Implementation Compared with LISP. Proc. Symposium on Artificial Intelligence and Programming Languages, ACM, 1977. Whitney, M. W.: Processing and Storing Information. In A Forecast of Space Technology, 1980-2000. NASA SP-387, section IV, 1976.
