Hayes-Roth,Theory-DrivenProofsFrederick:Learning: andRefutationsforConceptPaper
asaBasisDiscovery. deliveredat the Workshopon MachineLearning,
Carnegie-Mellon Univ., July 1980.
Heer, Ewald: Toward Automated Operations in Space: An Introduction. Astronautics and Aeronautics, vol. 17, May 1979,pp. 16-18.
Hewitt, C.: Description and Theoretical Analysis (Using Schemata) of PLANNER: A Language for Proving Theorems and Manipulating Models in a Robot. Artificial Intelligence Laboratory Report AI-TR-258, MIT, Cambridge, Massachusetts, 1972.
Ho, Y. C.: Team Decision Theory and Information Structures. Proc. of the IEEE, vol. 68, June 1980, pp. 644-654.
IEEE Proceedings on Pattern Recognition and Image Processing, May 1979.
Kalush, R. J., Jr.: The Problem of Resolution in the LANDSAT Imagery. Remote Sensing Quarterly, vol. 2, 1980, pp. 3--48.
Kowalski, R. A.: Predicate Logic as Programming Language. Proc. IFIP 1974, North-itolland, Amsterdam, 1974, pp. 569-574.
Kraiss, F.: Decision-Making and Problem Solving with Computer Assistance. NASA TM-76008, January 1980. Krone, R. M.: Systems Analysis and Policy Sciences, Theory and Practice. John Wiley & Sons, Inc., 1980.
Kuipers, B. J.: Representing Knowledge of Large-Scale Space. Artificial Intelligence Laboratory Report AI-TR-418, MIT, Cambridge, Massachusetts, 1977.
Lakatos, Irate: Falsification and the Methodology of Scientific Research Programs. In Criticism and the Growth of Knowledge, lmre Lakatos and Alan Musgrave,
eds., Univ. Press, Cambridge, 1970a, pp. 91-196. Lakatos, Imre: The Changing Logic of Scientific Discovery. University Press, Cambridge, 1970b.
Lakatos, Imre: Proofs and Refutations: The Logic of Mathematical Discovery. Cambridge Univ. Press, Cambridge, 1976.
Lighthill, Sir James: Artificial Intelligence: A Paper Symposium, Science Research Council. Great Britain, 1972.
Lippay, Andrew L.: Multi-Axis Hand Controller for the Shuttle Remote Manipulator System. Paper delivered at the 13th Annual Conference on Manual Control, June
1977.
Martin, W. A.; and Fateman, R. J.: The MACSYMA System. In Proc. of tile ACM Second Symposium oil Symbolic and Algebraic Manipulation, S. R. Petrick, ed., Los Angeles, Calif., March 1971, pp. 23-25.
Matsushima, H.; Uno, T.; and Ejur, M.: Image Processing by Experimental Arrayed Processor. 6th International Joint Conference on Artificial Intelligence, Tokyo, 1979,
pp. S13-S15. Meade, E.; and Facility DescJanuary 1978. Nedwich, ription. B.: MNASA anipulator JSC-11029, Development Rev. A, 370
Miller, R. H.; and Smith, David B. S.: Extraterrestrial Pro
cessing and Manufacturing of Large Space Systems,
Volumes 1-3, NASA Contract NAS8-32925, NASA
CR-161293, September 1979.
Minsky, M.: A Framework for Representing Knowledge. In The Psychology of Computer Vision, P. H. Winston, ed., McGraw-Hill, New York, 1975, pp. 211-277.
Minsky, M.: Toward a Remotely-Manned Energy and Production Economy. MIT Artificial Intelligence Laboratory, A.I. Memo No. 544, September 1979. 19 pp. See also "Telepresence," Omni, vol. 2, June 1980, pp. 44-52.
Mitchell, O. R.; Meyers, C. R.; and Boyne, W. A.: A Max- Min Measure for Image Texture Analysis. IEEE Transactions on Computers, vol. C-25,1977, pp. 408-414.
Morgan, C. S.: ltypothesis Generation by Machine. Artificial Intelligence, vol. 2, 1971, pp. 179-187. Morgan, C. S.: On the Algorithmic Generation of Hypothesis, Scientia, vol. 108, 1973, pp. 585-598.
Murphy, L. P.; and Jarman, J. W.: The Role of Smart Sensors in Earth Resources Remote Sensing Programs. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979, pp. 101-109.
NASA Advisory Council: Future Directions for the Life Sciences in NASA. Report of the Life Sciences Advisory Committee of the NASA Advisory Council, November
1978. NASA SP-387: A Forecast of Space Technology, 19802000, 1976. Newell, A.; and Simon, H. A.: GPS: A Program that Simulates Human Thought. In Computers and Thought,
E. A. Feigenbaum, J. Feldman, eds., McGraw-Hill, New York, 1963, pp. 279-293. Nilsson, Nils J.: Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York, 1971. Nilsson, Nils J.: Artificial Intelligence. Information Processing 74, vol. 4, Proceedings of IFIP Congress 74, 1974, pp. 778-801.
Nilsson, Nils J.: Principles of Artificial Intelligence. Tioga, Palo Alto, California, 1980. Office of Aeronautics and Space Technology (OAST):
NASA Space Systems Technology Model, volumes 1-3, NASW-2937, NASA Headquarters, Washington, D.C., May 1980. Peirce, Charles Sanders: Collected Papers, vols. 1-6,
Charles Hartshorne and Paul Weiss, eds. The Belknap Press of Harvard Univ. Press, Cambridge, 1960.
Peirce, Charles Sanders: Collected Papers, vols. 7-8. Arthur W. Burks, ed. The Belknap Press of Harvard Univ. Press, Cambridge, 1966.
Pohl, I.: Practical and Theoretical Considerations in Heuristic Search Algorithms. In Machine Intelligence, vol. 8,
E. W. Elcock, D. Michie, eds., Ellis Horwood Ltd. (Halsted Press), 1977, pp. 55-72. Pople, H. E., Jr.: The Formation of Composite Hypotheses in Diagnostic Problem-Solving: An Exercise in Synthetic
Reasoning.
