➦   Contents
➦   Interestingness: Controlling inferences
➦   5th International conference on pattern recognition: Miami Beach, Florida, December 1–4, 1980 (Co-Sp
➦   Inductive reasoning on recursive equations
➦   A truth maintenance system
➦   Theory and practice of robots and manipulators: A. Morecki and K. Kedzior, Eds., Proceedings of the
➦   Announcement
➦   On the use of framed knowledge in language comprehension
➦   Artificial intelligence and natural man: Margaret Boden (Sussex Univ., U.K.), Harvester Press, 537 p
➦   Contents
➦   Making preferences more active
➦   Master index to volumes 1–10
➦   Author index
➦   Author index—Volume 10, 1978
➦   Contents—Volume 10, 1978
➦   Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intell
➦   Erratum
➦   On program synthesis knowledge
➦   Towards the automation of set theory and its logic
➦   Author index volume 9
➦   An artificial intelligence approach to language instruction
➦   Making computational sense of Montague's intensional logic
➦   Speech understanding systems: Report of a steering committee
➦   A powerful and efficient structural pattern recognition system
➦   The ubiquity of discovery