6.7 References Amarel, S.: On Representations of Problems of Reasoning About Actions. In Machine Intelligence, D. Michie, ed., vol. 3, Edinburg Univ. Press, Edinburg, 1968. ASC, "NASA Data/Information System-Related Technology Trends," prepared for NASA Goddard Space Flight Center by the Analytic Sciences Corporation (ASC) under contract NAS5-25739, May 1980. Balzer, Robert et al., eds.: Proceedings of the First Annual National Conference on Artificial Intelligence, Stanford University, 18-21 August 1980. American Association of Artificial Intelligence and Stanford University, Menlo Park, Garcia-Robinson, 1980.
Baum, Michael: Giving a Robot the Eye, Dimensions, vol. 63, no. 4, April 1979, p. 3.
Bejczy, Antal K.: Advanced Teleoperators. Astronautics and Aeronautics, vol. 17, May 1979, pp. 20-31.
Bobrow, D. G.; and Winograd, T.: Experience with KRL-O: One Cycle of a Knowledge Representation Language.
Proc. of the Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Massachusetts, 1977, pp. 213-222.
Bradley, William E.: Telefactor Control of Space Operations. Astronautics and Aeronautics, vol. 5, May 1967, pp. 32-38. Bradley, William E.: Immediate Program to Provide Telefactor Systems for Demonstration and Test in NASA Centers. Personal communication, 5 August 1980.
Breckenridge, R. A.; and Husson, C.: Smart Sensors in Spacecraft: Impact and Trends. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979,
pp. 3-12.
Brown, J. S.; and Burton, R. R.: Multiple Representations of Knowledge for Tutorial Reasoning. In Representations and Understanding, Daniel G. Bobrow and Allan Collins, eds., Studies in Cognitive Science. Academic Press, New York, 1975, pp. 311-349.
Buchanan, B. G.; and Lederberg, Joshua: The Heuristic DENDRAL Program for Explaining Empirical Data. IFIP Congress, 71, Ljubljana, Yugoslavia, Aug. 23-28, 1971. Information Processing 71, Proceedings. C. V. Freiman, Editor. Amsterdam, North-Holland Publ. Co., 1972, pp. 179-188.
Chin, C. H., ed.: Joint Workshop on Pattern Recognition and Artificial Intelligence. Institute of Electrical and Electronics Engineers, June 1-6, 1976, Hyannis, Mass.
1976. Computing Reviews: Categories of the Computing Sciences, vol. 17, no. 5, May 1976, pp. 172-195. Corliss, William R.; and Johnsen, Edwin G.: Teleoperator Control, NASA SP-5070, 1968. Duda, Richard O.; and Hart, Peter E.: Pattern Classification and Scene Analysis. John Wiley & Sons, New York, 1973.
Duda, R. O. et al.: Development of the PROSPECTOR
Consultation System for Mineral Exploration. Final Report, SRI International, Projects 5821 and 6415, Menlo Park, Calif., October 1978.
EER: Information Science Program Plan for NASA/
Goddard Space Flight Center. Prepared by Engineering and Economics Research, Inc. (EER), under contract NAS5-73942-B, June 1980.
Erman, L. D.; and Lesser, V. R.: A Multi-Level Organization for Problem Solving Using Many, Diverse, Cooperating Sources of Knowledge. Proceedings of the Fourth International Joint Conference on Artificial Intelligence, Tbilisi, Georgia, USSR, Sept. 1975, pp. 483-490.
Ernst, George W.; and Newell, Allen: GPS: A Case Study in Generality and Problem Solving. Academic Press, New York, 1969.
Farm, K. T.: Peirce's Theory of Abduction. Martinus Nijhoff, The Hague, 1970. Feigenbaum, E. A.: The Art of Artificial Intelligence -
Themes and Case Studies of Knowledge Engineering. Proc. Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Massachusetts, 1977.
Feigenbaum, E. A.; Buchanan, B. G.; and Lederberg, J.: On Generality and Problem Solving: A Case Study Using the DENDRAL Program in Machine Intelligence, B. Meltzer, D. Michie, eds., vol. 6, Halsted Press, New York,
1971, pp. 165-190.
Fikes, R. E.; and Nilsson, N. J.: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artificial Intelligence, vol. 2, 1971, pp. 189-208.
Gilmore, P. A.; Batcher, K. E.; Davis, M. H.; Lott, R. W.; and Buckley, J. T.: Massively Parallel Processor. Phase I Final Report, prepared by Goodyear Aerospace Corporation for Goddard Space Flight Center, July 1979.
Goldstein, I. P.; and Roberts, R. B.: Nudge: A Knowledge- Based Scheduling Program. Proc. of the Fifth International Joint Conference on Artificial Intelligence, MIT, Cambridge, Massachusetts, 1977, pp. 257-263.
Goulomb, S.; and Baumert, L.: Backtrack Programming.
J. ACM, vol. 12, 1965, pp. 516-524. Hajeck, P.; and Havranek, T.: Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory. Springer-Verlag, Berlin, 1978. Hanson, Norwood Russell: Patterns of Discovery: An Inquiry into the Conceptual Foundations of Science. Cambridge Univ. Press, Cambridge, 1958. Haralick, R. M.: Texture-Tone Study with Application to Digitized Imagery. Final Tech. Summary, ETL-CR-74-17, Contract DADKO2-70-C-03888, August 1974.
Haye, R. M.: Smart Remot_ Sensor Needs for U.S. Coast Guard Ocean Environmental Missions. Progress in Astronautics and Aeronautics, vol. 67, AIAA, New York, 1979, pp. 44-59.
369
