Advertisement

Catalogue of Artificial Intelligence Tools

  • Alan Bundy
Part of the Symbolic Computation book series (SYMBOLIC)

Keywords

Expert System Theorem Prover Natural Deduction Common LISP Knowledge Representation Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. D. Marr, Vision. Freeman, 1982.Google Scholar
  2. Hart P.E., Nilsson N.J., and Raphael B. A formal basis for the heuristic determination of minimum cost paths. IEEE Transactions on SSC, 4:100–107, 1968. A correction was published in SIGART Newsletter 37:28-29,1972.Google Scholar
  3. Hewitt C. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323–364, 1977.CrossRefGoogle Scholar
  4. Nii H.P. and N. Aiello. Age (attempt to generalize): a knowledge-based program for building knowledge-based programs. In Proceedings of IJCAI-79, pages 645–655, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  5. Nii H. P. An Introduction to Knowledge Engineering, Blackboard Model, and AGE. Project Report HPP-80-29, Computer Science Dept. and Stanford University.Google Scholar
  6. Darlington J. and M.J. Reeve. Alice: a multi-processor reduction machine for the efficient evaluation of applicative languages. In Proc. MIT/ACM Conference on Functional Languages and Computer Architecture, pages 65–75, 1981.Google Scholar
  7. Darlington J. and M.J. Reeve. The Handbook of Artificial Intelligence Vol.1, Kaufmann, 1981.Google Scholar
  8. Reiter J. AL/X: An Expert System using Plausible Inference. Technical Report, Intelligent Terminals Limited, June 1980.Google Scholar
  9. [1]
    de Kleer J. et al. AMORD: A Deductive Procedure System. AI Memo 435, MIT, January 1978.Google Scholar
  10. Jaime G. Carbonell, A computational model of analogical problem solving. In Proceedings of IJCAI-81, IJCAI, 1981.Google Scholar
  11. Hammond P. The APES System: A user manual. Research Report 82/9, Department of Computing, Imperial College, 1982.Google Scholar
  12. Hammond P. and Sergot M.J. A prolog shell for logic based expert systems. In Proceedings of BCS Expert Systems’ 88, BCS Expert Systems, Cambridge, 1983.Google Scholar
  13. McDermott D. and R. Brooks. Arby: diagnosis with shallow causal models. In AAAI-82, AAAI, 1982.Google Scholar
  14. McDermott D. and R. Brooks. ART, The Advanced Reasoning Tool: Conceptual Overview. Technical Report, Inference Corporation.Google Scholar
  15. Woods W.A. Transition network grammars for natural language analysis. Communications of the ACM, 13:591–606, 1970.MATHCrossRefGoogle Scholar
  16. Berliner H. The b* tree search algorithm: a best-first proof procedure. Artificial Intelligence, 12:23–40, 1979.MathSciNetCrossRefGoogle Scholar
  17. Campbell F.W.C. Sometimes a biologist has to make a noise like a mathematician. Prog. Bull., 15:417–424.Google Scholar
  18. Duda R., Hart P., and Nilsson N. Subjective bayesian methods for rule-based inference systems. In AFIPS Conference Proceedings, AFIPS, 1976.Google Scholar
  19. Duda R., Hart P., and Nilsson N. The Handbook of Artificial Intelligence Vol.1, Kaufmann, 1981.Google Scholar
  20. Erman L.D., Hayes-Rothd F., Lesser V.R., and Reddy D.R. The hearsay ii speech understanding system: integrating knowledge to resolve uncertainty. Computing Surveys, 12(2), June 1980.Google Scholar
  21. Erman L.D. and Lesser V.R. A multi-level organisation for problem solving using many, diverse, cooperating sources of knowledge. In Proceedings of IJCAI-75, pages 483–490, International Joint Conference on Artificial Intelligence, 1975.Google Scholar
  22. S. Middleton and R. Zanconato, Blobs — an object oriented language for simulation and resourcing. In Gent Proceedings 25th–28th February, 1985.Google Scholar
  23. I. J. Dickinson, Blobs user manual. (CCL-Cl924-Um-001c).Google Scholar
  24. Ballard D.H. and Brown CM. Computer Vision, chapter 5. Prentice-Hall Inc., 1982.Google Scholar
  25. Boyer R. and Moore J. A Computational Logic. ACM Monograph, Academic Press, 1979.Google Scholar
  26. Aho A.V., Hopcroft J.E., and Ullman J.D. Data Structures and Algorithms, pages 330–336. Addison-Wesley, 1983.Google Scholar
  27. Nilsson N.J. Principles of Artificial Intelligence. Tioga Pub. Co., 1982.Google Scholar
  28. J.P. Fitch and A.C. Norman, Implementing lisp in a high level language. Software-Practice and Experience, 1977.Google Scholar
  29. J.P. Fitch and A.C. Norman, Cambridge LISP Manual. Technical Report, University of Bath, 1983.Google Scholar
  30. Woods W.A. Cascaded atn grammars. American Journal of Computational Linguistics, 6:1–12, 1980.Google Scholar
  31. Bruce B. Case systems for natural language. Artificial Intelligence, 6:327–360, 1975.MATHCrossRefGoogle Scholar
  32. Danielsson P-E. and Levialdi S. Computer architectures for pictorial information systems. Computer, 14(11):53–67, November 1981.CrossRefGoogle Scholar
  33. Thompson H.S. and Ritchie G.D. Techniques for parsing natural language: two examples. In Artificial Intelligence Skills, Harper and Row, 1983. Also available as Research Paper 183, Department of Artificial Intelligence, University of Edinburgh.Google Scholar
  34. Kay M. Algorithm schemata and data structures in syntactic processing. In Proceedings of the Nobel Symposium on Text Processing, Nobel Academy, 1980. Also available as CSL-80-12, Xerox PARC, Palo Alto, CA.Google Scholar
  35. Green C. and Westfold S. Knowledge-based programming self-applied. In Machine Intelligence 10, Ellis Horwood Ltd, Halsted Press, 1982. Also available as Technical Report KES.U.81.4, Kestrel Institute, Palo Alto, CA, March 1981.Google Scholar
  36. Kedzierski B. Communication and Management Support in System Development Environments. Technical Report KES.U.82.3, Kestrel Institute, 1982. Also appeared in Proceedings of the Conference on Human Factors in Computer Systems, Gaithers-burg, Maryland, March 1982.Google Scholar
  37. Phillips J. Self-Described Programming Environments: An Application of a Theory of Design to Programming Systems. PhD thesis, Stanford University, 1983. Also available as Technical Report KES.U.83.1, Kestrel Institute, Palo Alto, CA, February 1983.Google Scholar
  38. Quinlan J.R. Discovering rules by induction from large collections of examples. In D. Michie, editor, Expert systems in the Micro-electronic Age, Edinburgh University Press, 1979.Google Scholar
  39. Chang C. and Lee R.C. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  40. Steele G. L. Jr. et al. An overview of common lisp. In Proceedings of the 1982 ACM Symposium on Lisp and Functional Programming, pages 98–170, ACM, 1982.Google Scholar
  41. Schank R.C., editor. Conceptual Information Processing, North-Holland, 1975.Google Scholar
  42. Hillis W.D. The Connection Machine. AI Memo 646, MIT, September 1981.Google Scholar
  43. Sussman G.J. and McDermott D.V. From planner to conniver: a genetic approach. In AFIPS, pages 1171–1180, 1972.Google Scholar
  44. Atwell E. S. Constituent-likelihood grammar. Newsletter of the International Computer Archive of Modern English, 4:34–67, 1983.Google Scholar
  45. Atwell E. S., Leech G. N., and Garside R. G. Analysis of the lob corpus. 1984.Google Scholar
  46. Stefik M.J. Planning with constraints (molgen: part 1). Artificial Intelligence, 16, 1981.Google Scholar
  47. Nudel B.A. Consistent-labeling problems and their algorithms: expected-complexities and theory-based heuristics. Artificial Intelligence, 20, 1983. Special issue on Search and Heuristics, in memory of John Gaschnig; to appear.Google Scholar
  48. Waltz D.L. Understanding line drawings of scenes with shadows. In P.H. Winston, editor, The Psychology of Computer Vision, McGraw-Hill, New York, 1975.Google Scholar
  49. Requicha A.A.G. and Voelker H.B. Constructive Solid Geometry. Technical report Production Automation Project TM-25, University of Rochester, 1977.Google Scholar
  50. A.A.G. Requicha, Representations for rigid solids: theory, methods & systems. ACM Computing Survey, 12, 1980.Google Scholar
  51. Tilove R.T. Exploiting Spatial and Structural Locality in Geometric Modelling. PhD thesis, Production Automation Project, University of Rochester, 1980.Google Scholar
  52. Tilove R.T. Set membership classification: a unified approach to geometric intersection problems. IEEE Trans.on Computers, C-29(10), 1980.Google Scholar
  53. Gazdar G. Phrase structure grammar. In Jacobson and Pullum, editors, The Nature of Syntactic Representations, Reidel, Dordrecht, 1981.Google Scholar
  54. Barrow H.G. and Tenenbaum J.M. Interpreting line drawings as three-dimensional scenes. Artificial Intelligence, 17:75–116, 1981.CrossRefGoogle Scholar
  55. Marr D. Analysis of occluding contour. Proc. Roy. Soc. Lond., B197: 441–475, 1977.CrossRefGoogle Scholar
  56. Shapiro E.Y. An algorithm that infers theories from facts. In Proceedings of IJCAJ-81, pages 446–451, International Joint Conference on Artificial Intelligence, 1981.Google Scholar
  57. Wilson H.R. and Giese S.C. Threshold visibility of frequence gradient patterns. Vision Research, 17:1177–1190, 1977.CrossRefGoogle Scholar
  58. Frisby J.P. Seeing. Oxford University Press, 1979.Google Scholar
  59. Stolfo J.S., and Shaw D.E. Dado: a tree-structured machine architecture architecture for production systems. In AAAI-82, AAAI, 1982.Google Scholar
  60. Elcock E.W., McGregor J.J, and Murray A.M. Data directed control and operating systems. Computer Journal, 125–129, May 1972.Google Scholar
  61. Nilsson N.J. Principles of Artificial Intelligence, pages 408–411. Tioga Pub. Co., 1980.Google Scholar
  62. Pereira F. and Warren D.H.D. Definite clause grammars for language analysis-a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13:231–278, 1980.MathSciNetMATHCrossRefGoogle Scholar
  63. Gray P.M.D. Compiling Programs from Problem Descriptions. Research Report, Dept. of Computing Science, University of Aberdeen, 1970.Google Scholar
  64. Todd S.J.P. The peterlee relational test vehicle. IBM Systems Journal, 15:304, 1976.CrossRefGoogle Scholar
  65. Nilsson N.J. Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  66. Barnett J.A. Computational methods for a mathematical theory of evidence. In IJCAI79, IJCAI, 1979.Google Scholar
  67. Ishizuka M., Fu K.S., and Yao J.T.P. Speril: an expert system for damage assessment of existing structures. In Conference on Pattern Recognition and Image Processing, IEEE, 1982.Google Scholar
  68. Stallman R.M. and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135–196, 1977.MATHCrossRefGoogle Scholar
  69. Pereira L.M. and A. Porto. Selective backtracking. In K.L. Clark and S.-A. Tarnlund, editors, Logic programming. Academic Press, 1982. APIC Studies in Data Processing.Google Scholar
  70. Winograd T. Language as a cognitive process. Addison-Wesley, 1983.Google Scholar
  71. Nilsson N.J. Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  72. Marcus M. A theory of syntactic recognition for natural language. MIT Press, Cambridge, 1980.MATHGoogle Scholar
  73. Marr D. and E. Hildreth. Theory of edge detection. Proc. Roy.Soc. Lond., B207:187–217, 1980.CrossRefGoogle Scholar
  74. Anderson J.R. and Kline P.J. A general learning theory and its psychological implications. In Proceedings of IJCAI-79, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  75. Langley P. Language acquisition through error recovery. Cognition and Brain Theory, 1982.Google Scholar
  76. Charniak E. Riesbeck C. K. and McDermott D.V. Artificial Intelligence Programming. Lawrence Erlbaum Associates, Hillsdale, New Jersey., 1980.MATHGoogle Scholar
  77. Kornfeld W.A. The use of parallelism to implement a heuristic search. In Proceedings of IJCAI-79, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  78. Davis R. and Smith R.G. Negotiation as a metaphor for distributed problem solving. Artificial Intelligence, 20:63–109, 1983.CrossRefGoogle Scholar
  79. Rabiner L.R., Rosenberg A.E., and S.E. Levinso. Considerations in dynamic time warping algorithms for discrete word recognition. IEEE Trans. ASSP, 26(6): 575, 1978.MATHCrossRefGoogle Scholar
  80. Earley J. An efficient context-free parsing algorithm.Google Scholar
  81. D. Marr and E. Hildreth, Theory of edge detection. Proc. R. Soc. Lond., B207:187–217, 1980.CrossRefGoogle Scholar
  82. W. van Melle, E. H. Shortliffe, and B.G. Buchanan, EMYCIN: A Domain-Independent System that Aids in Constructing Knowledge-Based Consultation Programs. Volume 3 of 9, Infotech State of the Art Report, 1981.Google Scholar
  83. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  84. de Kleer J., and Brown J.S. Mental models of physical mechanisms and their acquisition. In Cognitive Skills and their Acquisition, Erlbaum, 1981.Google Scholar
  85. de Kleer J., and Brown J.S. Foundations of envisioning. In Proceedings of the A A Al, AAAI, 1982.Google Scholar
  86. S.M. Weiss and C.A. Kulikowski, Expert: a system for developing consultation models. In Proceedings of IJCAI-79, pages 942–947, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  87. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  88. M. Conway, Expert 4. Bulletin of the British Psychological Society, 38, 1985.Google Scholar
  89. Aleksander, I. and Stonham, T.J. A guide to pattern recognition using random-access memories. IEEE Journal of Computers & Digital Techniques, 2(1), 1979.Google Scholar
  90. P. Langley, Finding common paths as a learning mechanism. In Proc.of the Third Nat. Conf., The Canadian Soc for Computational Studies of Intelligence, 1980.Google Scholar
  91. Flynn M.J. Some computer organisations and their effectiveness. IEEE Trans.on Computers, C-21:948, 1972.Google Scholar
  92. R.M. Young, G.D. Plotkin, and R.F. Linz, Analysis of an extended concept-learning task. In Proceedings of IJCAI-77, page 285, International Joint Conference on Artificial Intelligence, 1977.Google Scholar
  93. A. Bundy and B. Silver, A critical survey of rule learning programs. In Proceedings of ECAI-82, pages 150–157, European Conference on Artificial Intelligence, 1982.Google Scholar
  94. A. Bundy and B. Silver, The Handbook of Artificial Intelligence Vol.1, Kaufmann, 1981.Google Scholar
  95. M. Minsky, A framework for representing knowledge. In P.H. Winston, editor, The Psychology of Computer Vision, McGraw-Hill, 1975.Google Scholar
  96. R.E. Roberts, and LP. Goldstein, The FRL Manual. MIT AI Lab., AI memo 409 edition, 1977.Google Scholar
  97. D.W. Shipman, The functional data model and the data language daplex. ACM Transactions and Database Systems, 6(1): 140–173, 1981.CrossRefGoogle Scholar
  98. M. Kay, Functional grammar. In Proceedings of the Fifth Annual Meeting of the Berkeley Linguistic Society, Berkeley Linguistic Society, 1979.Google Scholar
  99. D.E. Appelt, Telegram: a grammar formalism for language planning. In Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, 1983.Google Scholar
  100. W Bandler and L.J. Kohout, Fuzzy relational products as a tool for analysis and synthesis of the behaviour of complex artificial and natural systems. In Fuzzy sets: Theory and Applications to Policy Analysis and Information Systems, Plenum Press, New York, 1980. Editors Wang, P.P. and Chang, S.K. pages 341–367.Google Scholar
  101. L.A. Zadeh, Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans, of Systems, Man and Cybernetics, SMA-3: 28–44, 1973.MathSciNetCrossRefGoogle Scholar
  102. E.H. Mamdani and B.R. Gaines, Fuzzy Reasoning and its Applications. Academic Press, London, 1981.MATHGoogle Scholar
  103. J. Hintikka, In Logic, language games and information, Oxford University Press, 1973.Google Scholar
  104. J. Hintikka, The Handbook of Artificial Intelligence Vol.3, Kaufmann, 1982.Google Scholar
  105. D. Marr, Analysis of occluding contour. Proc. Roy. Soc. London, B197, 1977.Google Scholar
  106. Ballard D. Parameter Nets. Technical Report 75 revised, Computer Science Dept. and University of Rochester NY., 1982.Google Scholar
  107. J. Feldman and Ballard D. Computing with Connections. Technical Report 72, Computer Science Dept. and University of Rochester NY., 1981.Google Scholar
  108. J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 1979.Google Scholar
  109. R.E. Fikes, Knowledge Representation in Automatic Planning Systems Technical Note 119, SRI.Google Scholar
  110. A. Tate, Using Goal Structure to direct search in a Problem Solver. PhD thesis, MIRU, Edinburgh, 1975.Google Scholar
  111. A Tate, Project Planning using a Hierarchic Non-Linear Planner. Research Report 25, DAI, 1976.Google Scholar
  112. Golay M.J.E. Hexagonal parallel pattern transformations. IEEE Transactions on Computers, C-18(8), 1969.Google Scholar
  113. S.W. Draper, The use of gradient space and dual space in line drawing interpretation. Artificial Intelligence, 17, 1981.Google Scholar
  114. J.P. Frisby, Seeing. Oxford Uni. Press, 1979.Google Scholar
  115. M.B. Clowes, Man the creative machine. In J. Benthall, editor, The limits of human nature.Google Scholar
  116. R. Balzer, L.D. Erman, P. London, and C. Williams, Hearsay-ii: a domain-independent framework for expert systems. In Proc. First Annual National Conference on Artificial Intelligence, pages 108–110, American Association for Artificial Intelligence, 1980.Google Scholar
  117. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  118. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  119. E.D. Sacerdoti, Planning in a hierarchy of abstraction spaces. Artificial Intelligence, 5:115–135, 1978.CrossRefGoogle Scholar
  120. A. Tate, Generating project networks. In Proceedings of IJCAI-77, International Joint Conference on Artificial Intelligence, 1977.Google Scholar
  121. D.R. Barstow, An experiment in knowledge-based automatic programming. Artificial Intelligence, 12:73–119, 1979.CrossRefGoogle Scholar
  122. D.R. Barstow, The Handbook of Artificial Intelligence Vol.3, Kaufmann, 1982. pp206–215.Google Scholar
  123. R.M. Burstall, D.B MacQueen, and D.T. Sannella, Hope: an experimental applicative language. In Proc. 1980 LISP Conference, Stanford, California, pages 136–143, 1980.Google Scholar
  124. R.A. Kowalski, Logic for problem solving. North-Holland, 1979.Google Scholar
  125. C.C. Chang and H.J. Keisler, Model Theory. North-Holland, 1973.Google Scholar
  126. Tanimoto S. and Klinger A. Structured Computer Vision. Academic Press, New York, 1980.Google Scholar
  127. Fu K.S. and Mui J.K. A survey on image segmentation. Pattern Recognition, 13:3–16, 1981.MathSciNetCrossRefGoogle Scholar
  128. M. Brady, Computational approaches to image understanding. Computer Surveys, 14, 1982.Google Scholar
  129. J.R. Quinlan, Inferno: a cautious approach to uncertain inference. The Computer Journal, 26(3), 1983.Google Scholar
  130. G.J. Sussman, A computational model of skill acquisition. American Elsevier, New York, 1975.Google Scholar
  131. A. Tate, Interacting goals and their use. In Proceedings of IJCAI-79, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  132. R. Waldinger, Achieving several goals simultaneously. Technical Note 107, SRI AI Center, 1975.Google Scholar
  133. D.H.D. Warren, WARPLAN: A system for generating plans. Memo 76, Dept. of Artificial Intelligence, Edinburgh, 1974.Google Scholar
  134. D. McAllester, Reasoning Utility Package User’s Manual Version One. Memo 667, MIT AI Lab, April 1982.Google Scholar
  135. M. Brady, Computational approaches to image understanding. Computer Surveys, 14(1):2–71, 1982.MathSciNetCrossRefGoogle Scholar
  136. H.G. Barrow and J.M. Tenenbaum, Computational vision. In Proc IEEE 6, pages 572–596, IEEE, 1981.Google Scholar
  137. D. McAllester, Reasoning Utility Package User’s Manual Version One. Memo 667, MIT AI Lab, April 1982.Google Scholar
  138. D. McAllester, Reasoning Utility Package User’s Manual Version One. Memo 667, MIT AI Lab., April 1982.Google Scholar
  139. S.E. Fahlman, NETL: A System for Representing and Using Real-World Knowledge. MIT Press, 1979.Google Scholar
  140. Woods, W. et al. Speech Understanding Systems, Final Report Vol.4. Report 3438, Beranek and Newman Inc., 1976.Google Scholar
  141. D. Waltz, Understanding line drawings of scenes with shadows. In P.H. Winston, editor, The Psychology of Computer Vision, McGraw-Hill, 1975.Google Scholar
  142. R. Reboh, The knowledge acquisition system. In R.O. Duda, editor, A Computer-Based Consultant for Mineral Exploration, SRI International,Artificial Intelligence Center, Menlo Park, September 1979. Final Report, SRI Project 6415.Google Scholar
  143. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  144. Engleberger J.F. Robotics in Practice. IFS Publications, 1980.Google Scholar
  145. Simons G.L. Robots in Industry. NCC Publications, 1980.Google Scholar
  146. Paul R.P. Robot Manipulators. MIT Press, 1981.Google Scholar
  147. [1]
    R.J. Brachman, A Structural Paradigm for Representing Knowledge. PhD thesis, Harvard University, 1977.Google Scholar
  148. [2]
    R.J. Brachman, and Schmolze, J.G. An overview of the kl-one knowledge representation system. To appear in Cognitive Science. Expected in 1985.Google Scholar
  149. [3]
    Sidner C.L., Bates M., Bobrow R., Goodman B., Haas A., Ingria R., McAllester D., Moser M., Schmolze J., and Vilain M. Research in Knowledge Representation for Natural Language Understanding — Annual Report, 1September 1982 — 31 August 1988. Technical Report 5421, BBN Laboratories, 1983.Google Scholar
  150. D.A Turner, Recursion equations as a programming language. In Functional Programming and its Applications, CUP, 1982.Google Scholar
  151. D.G. Bobrow and T. Winograd, An overview of krl, a knowledge representation language. Cognitive Science, 1, 1977.Google Scholar
  152. D. Marr, Vision. Freeman, 1982.Google Scholar
  153. R. Gordon, M. Milner and C. Wadsworth, Edinburgh LCF. Volume 78 of Lecture Notes in Computer Science, Springer-Verlag, 1979.Google Scholar
  154. D. Sleeman, P. Langley, and T.M. Mitchell, Learning from solution paths: an approach to the credit assignment problem. AI Magazine, 1982.Google Scholar
  155. M. Kay, Morphological and syntactic analysis. In A. Zampolli, editor, Linguistic Structures Processing, North Holland, 1977.Google Scholar
  156. R.M. Kaplan and M. Kay, Word recognition. Technical Report, Xerox Palo Alto Research Center, 1982. To appear.Google Scholar
  157. G.G. Hendrix, The LIFER Manual. SRI International, Menlo Park, tn 138 edition, 1977.Google Scholar
  158. M.B. Clowes, On seeing things. Artificial Intelligence, 2, 1971.Google Scholar
  159. P. Henderson, Functional Programming — Application and Implementation. Prentice Hall, 1982.Google Scholar
  160. P. Henderson, G Jones, and S.B. Jones, Lispkit — manual and sources. Programming Research Group, Oxford University, 1983. in press.Google Scholar
  161. J.C. Latombe and E. Mazer, Lm: a high-level programming language for controlling assembly robots. In 11th Int Symp on Industrial Robots, 1981.Google Scholar
  162. E. Mazer, LM-GEO: Geometric programming of Assembly Robots. Rapport de recherche 296, IMAG, Grenoble,France.Google Scholar
  163. [1]
    Serra J. Image Analysis and Mathematical Morphology. Academic Press, 1982.Google Scholar
  164. E.L. Lusk, W.W. McCune, and R.A. Overbeek, Logic machine architecture: kernel functions. In D.W. Loveland, editor, 6th Conference on Automated Deduction, Springer-Verlag, 1982. Lecture notes in computer science No. 138.Google Scholar
  165. E.L. Lusk, W.W. McCune, and R.A. Overbeek, Logic machine architecture: inference mechanisms. In D.W. Loveland, editor, 6th Conference on Automated Deduction, Springer-Verlag, 1982. Lecture notes in computer science No. 138.Google Scholar
  166. Papert S. Mindstorms. Basic Books, 1980.Google Scholar
  167. D.G. Bobrow and M. Stefik, The LOOPS Manual.Google Scholar
  168. D. Moon, Maclisp Reference manual. MIT AI Lab.Google Scholar
  169. D. Moon, Revised Maclisp Reference Manual TR — 295. Pitman.Google Scholar
  170. R.E. Fikes, P.E. Hart, and N.J. Nilsson, Learning and executing generalized robot plans. Artificial Intelligence, 3, 1972.Google Scholar
  171. Mathlab group, A Brief Overview of MACSYMA. MIT Computer Science Lab., 1983.Google Scholar
  172. K.M.G. Raph, The Markgraf Karl Refutation Procedure. Memo SEKI-MK-84–01, Universitat Kaiserslautern, 1984.Google Scholar
  173. A. Newell and H.A. Simon, Gps, a program that simulates human thought. In E. Feigenbaum and F. Feldman, editors, Computers and Thought, pages 279–293, McGraw Hill, 1963.Google Scholar
  174. [1]
    L. Sterling, A. Bundy, L. Byrd, R. O’Keefe, and B. Silver, Solving symbolic equations with press. In J. Calmet, editor, Computer Algebra, Lecture Notes in Computer Science No. 144., pages 109–116, Springer Verlag, 1982. Longer version available from Edinburgh as Research Paper 171.Google Scholar
  175. [2]
    R. Davis, Meta-rules: reasoning about control. Artificial Intelligence, 15:179–222, 1980.CrossRefGoogle Scholar
  176. [3]
    L. Aiello and R.W. Weyrauch, Using meta-theoretic reasoning to do algebra. In 5th Conference on Automated Deduction, pages 1–13, Springer Verlag, 1980.Google Scholar
  177. [4]
    M. Stefik, Planning and meta-planning (molgen: part 2). Artificial Intelligence, 16:141–170, 1981.CrossRefGoogle Scholar
  178. M.J. Stefik, Planning and meta-planning (molgen: part 2). Artificial Intelligence, 14, 1980.Google Scholar
  179. G. Gazdar, Phrase structure grammar. In Jacobson and Pullum, editors, The Nature of Syntactic Representations, Reidel, Dordrecht, 1981.Google Scholar
  180. H.S. Thompson, Handling metarules in a parser for gpsg. In M. Barlow, D. Flickinger, and I. Sag, editors, Developments in Generalised Phrase Structure Grammar, Bloomington, Indiana University Linguistics Club, 1982. Stanford Working Papers in Grammatical Theory Volume 2.Google Scholar
  181. P. Cox, Micro Expert Reference Manual. Isis Systems Ltd., 1983.Google Scholar
  182. G. J. Sussman, T. Winograd, and E. Charniak, Micro-PLANNER reference manual. AI Laboratory, MIT, 1971. AI Memo 203A.Google Scholar
  183. K.L. Clark, and F.G. McCabe, Micro-Prolog: Programming in Logic. Prentice-Hall International, 1984.Google Scholar
  184. E.A. Feigenbaum, B.G. Buchanan, and J. Lederberg, On generality and problem solving: a case study using the dendral program. In Machine Intelligence 6, Edinburgh University Press, 1971.Google Scholar
  185. S.M. Weiss, C.A. Kulikowski, S. Amarel, and A. Safir, A model based method for computer-aided medical decision making. Artificial Intelligence, 1978.Google Scholar
  186. F.W.C. Campbell and J. Robson, Application of fourier analysis to the visibility of gratings. J. Physiol. (Lond), 197:551–566, 1968.Google Scholar
  187. M. Kay, Morphological and syntactic analysis. In A. Zampolli, editor, Linguistic Structures Processing, North Holland, 1977.Google Scholar
  188. R.M. Kaplan and M. Kay, Word recognition. Technical Report, Xerox Palo Alto Research Center, 1982. To appear.Google Scholar
  189. K. Koskenniemi, Two-level model for morphological analysis. In A. Bundy, editor, Proceedings of the Eighth International Joint Conference on Artificial Intelligence, International Joint Conference on Artificial Intelligence, W. Kaufmann, Los Altos, CA, 1983.Google Scholar
  190. P. Szeredi and E. Santane-Toth, Prolog applications in hungary. In K. Clark and S-A. Tarnlund, editors, Logic Programming, 1982.Google Scholar
  191. J. Bendl, P. Koves, and P. Szeredi, The MProlog System. 1980. Logic Programming Workshop, Debrecen, Hungary.Google Scholar
  192. P.W. Thorndyke, McArthur, D., and S. Cammarata, Autopilot: a distributed planner for airfleet control. In Proceedings of IJCAI-81, International Joint Conference on Artificial Intelligence, 1981.Google Scholar
  193. Wilks Y. and Bien J. Beliefs, point of view and multiple environments. Cognitive Science.Google Scholar
  194. B.S. Atal and J.R. Remde, A new model of lpc excitation for producing natural sounding speech at low bit rates. In Proc. IEEE ICASSP, pages 614–617, 1982.Google Scholar
  195. N. Tennant, Natural Logic. Edinburgh University Press, Edinburgh, 1978.MATHGoogle Scholar
  196. K.L. Clark, Negation as failure. In H. Gallaire and J. Minker, editors, Logic and DataBases, pages 293–322, Plenum Press, 1978.Google Scholar
  197. R. Reiter, On closed world databases. In H. Gallaire and J. Minker, editors, Logic and DataBases, pages 55–76, Plenum Press, 1978.Google Scholar
  198. P. Danielsson and S. Levialdi, Computer architectures for pictorial information systems. IEEE Computer, 53–67, November 1981.Google Scholar
  199. Fl. Schmidt and M.A. Jenkins, Data Systems Design and the Nial Approach. Technical Report, Computing and Information Science, Queens University, Kingston, Canada, June 1982.Google Scholar
  200. W.S. Adams, Plain Programming in NIAL. Technical Report, Computing and Information Science, Queens University, Kingston, Canada, June 1982.Google Scholar
  201. M.A. Jenkins, Q’Nial Reference Manual. Nial Systems Limited, 1983.Google Scholar
  202. G. Burke, and G. Carrett, NIL Notes for Release O, Revision 1. Technical Report, MIT, January 1983.Google Scholar
  203. B.D. Sacerdoti, A structure for plans and behaviour. Elsevier North-Holland, New York, 1977.Google Scholar
  204. A. Tate, Generating project networks. In Proceedings of IJCAI-77, International Joint Conference on Artificial Intelligence, 1977.Google Scholar
  205. S.A. Vere, Planning in time = windows and durations for activities and goals. IEEE Trans, on Pattern Analysis and Machine Intelligence, 1983.Google Scholar
  206. S.A. Vere, Special issue on non-monotonic logic. Journal of Artificial Intelligence Vol. 13, 1981.Google Scholar
  207. W. Simon, The Numerical Control of Machine Tools. Edward Arnold, 1978.Google Scholar
  208. I.D. Faux and M.J. Pratt, Computational Geometry for Design and Manufacture. Ellis Horwood, 1979.Google Scholar
  209. D. Man, Vision. Freeman, 1982.Google Scholar
  210. A. Tate, Project Planning using a Hierarchic Non-linear Planner. Research Report 25, Department of Artificial Intelligence, Edinburgh University, 1975.Google Scholar
  211. R.E. Fikes, P.E. Hart, and N.J. Nilsson, Learning and executing generalized robot plans. Artificial Intelligence, 3, 1972.Google Scholar
  212. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  213. P.J. Hayes, A representation for robot plans. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, International Joint Conference on Artificial Intelligence, 1975.Google Scholar
  214. B. Hayes-Roth and F. Hayes-Roth, A cognitive model of planning. Cognitive Science, 275–310, 1979.Google Scholar
  215. R.M. Stallman and G.J. Sussman, Forward-reasoning and dependency-directed backtracking. A.I. Journal, 9:135–196, 1977.MATHGoogle Scholar
  216. C.L. Forgy and J. McDermott, The OPS5 User’s Manual. Carnegie-Mellon University, Department of Computer Science, 1980. Technical Report.Google Scholar
  217. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  218. H.C. Longuet-Higgens and K. Prazdny, The interpretation of moving retinal images. Proc. R. Soc. London, B208:385–387, 1980.CrossRefGoogle Scholar
  219. R.E. Fikes, P.E. Hart, and N.J. Nilsson, Learning and executing generalised robot plans. Artificial Intelligence, 1972.Google Scholar
  220. C. Chang and R.C. Lee, Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  221. Elcock H et al, Abset: a programming language based on sets. In Meltzer and Michie, editors, Machine Intelligence 6, page 471, Edinburgh University Press, 1971.Google Scholar
  222. G.G. Hendrix, Encoding knowledge in partitioned networks. In N.V. Findler, editor, Associative Networks, Academic Press, 1979.Google Scholar
  223. D.A. Waterman, and F. Hayes-Roth. (eds.) Pattern directed inference systems. Academic Press, New York, 1978.MATHGoogle Scholar
  224. D. Marr, Vision. Freeman, 1982.Google Scholar
  225. P. Danielsson and S. Levialdi, Computer architectures for pictorial information systems. IEE Computer, 53–67, November 1981.Google Scholar
  226. B. Gold and L. Rabiner, Parallel processing techniques for estimating pitch periods of speech in the time domain. JASA, 46(2):442, 1969.Google Scholar
  227. B. Gold, Note on buzz-hiss detection. JASA, 36(9): 1659, 1964.Google Scholar
  228. J.J. Dubnowski, R.W. Schafer, and L.R. Rabiner, Real-time digital hardware pitch detector. IEEE Trans. ASSP, 24(1):2, 1976.CrossRefGoogle Scholar
  229. H. Duifhuis, L.F. Willems, and R.J. Sluyter, Measurement of pitch in speech: an implementation of goldstein’s theory of pitch perception. JASA, 71(6): 1568, 1982.Google Scholar
  230. C.F. Schmidt, N.S. Sridharan, and J.L. Goodson, The plan recognition problem. Artificial Intelligence, 11, 1978.Google Scholar
  231. J. Allen and C. Perrault, Analyzing intention in utterances. Artificial Intelligence, 15:143–178, 1980.CrossRefGoogle Scholar
  232. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  233. R.M. Burstall, Collins J.S., and R.J. Popplestone, Programming in POP-2. Edinburgh University Press, 1971.Google Scholar
  234. R.M. Burstall, Collins J.S., A description is available from: A Sloman, Cognitive StudiesGoogle Scholar
  235. R.M. Burstall, Collins J.S., and R.J. Programme, Arts E, University of Sussex, Brighton BN1 9QN, England.Google Scholar
  236. M.L. Griss and A.C. Hearn, A portable lisp compiler. Software Practice and Experience, 11:541–605, June 1981.MATHCrossRefGoogle Scholar
  237. M.L. Griss and E. Benson, Psl: a portable lisp system. In Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, pages pp 88–97, ACM, 1982.Google Scholar
  238. P. Langley, G. Bradshaw, and A. Simon, Rediscovering chemistry with the bacon system. In R. Michalski, J. Carbonell, and T. Mitchell, editors, Machine Learning: An Artificial Intelligence View, Tioga Press, 1983.Google Scholar
  239. G. Bradshaw, P. Langley, and Simon H.A. The discovery of intrinsic properties. In Proc. of the Third Nat. Conf., Canadian Soc for Computational Studies of Intelligence, 1980.Google Scholar
  240. B. Silver, Learning equation solving methods from examples. In A. Bundy, editor, Proceedings of the Eighth IJCAI, pages 429–431, International Joint Conference on Artificial Intelligence, 1983.Google Scholar
  241. B. Silver, Precondition analysis: learning equation solving strategies from worked examples. In Machine Learning 2, Tioga Publishing Company, 1984.Google Scholar
  242. L. Birnbaum and Selfridge M. Conceptual analysis of natural language. In R.C. Schank and Riesbeck C.K., editors, Inside Computer Understanding, Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1981.Google Scholar
  243. D.G. Bobrow and T. Winograd, An overview of krl, a knowledge representation language. Cognitive Science, 1:3–46, 1977.CrossRefGoogle Scholar
  244. C.C. Chang and A.J. Keisler, Model Theory. North-Holland, 1937.Google Scholar
  245. Crossley H et al, What is Mathematical Logic? Oxford University Press, 1972.Google Scholar
  246. Y.A. Wilks, A preferential, pattern seeking semantics for natural language inference. Artificial Intelligence, 6:53–74, 1975.MATHCrossRefGoogle Scholar
  247. D. Marr, Vision. Freeman, 1982.Google Scholar
  248. A. Newell and H.A. Simon, Human Problem Solving. Prentice Hall, 1972.Google Scholar
  249. C. Rich and R.C. Waters, Abstraction,Inspection and Debugging in Programming. AI Memo 634, MIT AI Lab., June 1981.Google Scholar
  250. Perlis A.J. and Rugaber S. Programming with idioms in apl. In APL79 Conf. Proc.and Rochester N.Y., 1979.Google Scholar
  251. W.F. Clocksin and C.S. Mellish, Programming in Prolog. Springer Verlag, 1981.Google Scholar
  252. D.H.D. Warren, L.M. Pereira, and F. Pereira, Prolog — the language and its implementation compared with lisp. In ACM Symposium on AI and Programming Languages, Association for Computing Machinery, 1977.Google Scholar
  253. A. Bustany, RAPPORT-4: Prolog Interface. Technical Report, Logica UK Limited, 1985.Google Scholar
  254. Otto G.P. Counting and Labelling Objects on CLIP4. Report 82/11, Image Processing Group, Dept. of Physics and Astronomy, University College London, 1982.Google Scholar
  255. J. Allen, Anatomy of LISP. McGraw-Hill, 1978.Google Scholar
  256. D. McAllester, An Outlook on Truth Maintenance. AI Memo 551, MIT AI Lab., August 1980.Google Scholar
  257. A. Newell, On the analysis of human problem solving protocols. In P.C. Johnson-Laird, P.N. Wason, editor, Thinking: Readings in Cognitive Science, Cambridge U.P., 1977. excerpt.Google Scholar
  258. K.A. Ericsson and H.A. Simon, Verbal reports as data. Psychological Review, 87:215–251, 1980.CrossRefGoogle Scholar
  259. E. Kant, Efficiency in Program Synthesis. Technical Report Computer Science: Artificial Intelligence, No. 8, UMI Research Press, Ann Arbor, Michigan, 1981.Google Scholar
  260. D. Barstow, Knowledge-Based Program Construction. Elsevier North Holland, New York, 1979. The Computer Science Library, Programming Language Series.Google Scholar
  261. S.L. Tanimoto, Regular hierarchical image and processing structures in machine vision. In A.H. Hanson and E.M. Riseman, editors, Computer Vision Systems, Academic Press Inc., 1978.Google Scholar
  262. Y. J. Jiang and S. H. Lavington, The qualified binary relationship model of information. In Proceedings No. 4, pages 61–79, 1985.Google Scholar
  263. J.F. Rulifson, R.A. Waldinger, and J.A. Derkson, A language for writing problem-solving programs. In Proceedings of IFIPS Congress’ 71,Ljubljana, Yugoslavia, IFIPS,1971.Google Scholar
  264. J.F. Rulifson, R.A. Waldinger, and J.A. Derkson, The Handbook of Artificial Intelligence Vol.8, Kaufmann, 1982.Google Scholar
  265. R.J. Popplestone and A.P. Ambler, An efficient and portable implementation of rapt. In 1st ICAA Brighton, Int Fluidics Services, 1980.Google Scholar
  266. R.J. Popplestone, A.P. Ambler, and I.M. Bellos, An interpreter for a language for describing assemblies. Artificial Intelligence, 14, 1980.Google Scholar
  267. B.K.P. Horn, Understanding image intensities. Artificial Intelligence, 8:201–231, 1977.MATHCrossRefGoogle Scholar
  268. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  269. D. H. Ballard and C. M. Brown, Computer Vision. Prentice-Hall International Inc., 1982.Google Scholar
  270. S.W. Zucker, Region growing: childhood and adolescence. Computer Graphics and Image Processing, 5:382–399, 1976.CrossRefGoogle Scholar
  271. J. Longstaff, Controlled inference and instruction techniques for dbms query languages. In P111 Proceedings of 1982 A CM SIGMOD Conference, Association for Computing Machinery, 1982.Google Scholar
  272. L.S. Davis and A. Rosenfeld, Cooperating processes in low level. Artificial Intelligence, 17:246–265, 1981.CrossRefGoogle Scholar
  273. D. H. Ballard and C. M. Brown, Computer Vision. Prentice-Hall International Inc., 1982.Google Scholar
  274. N. Bruce, Remote Procedure Call. Technical Report CSL-81-9, Xerox Palo Alto Research Center, 1981.Google Scholar
  275. C. Chang and R.C. Lee, Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  276. G. Huet and D.C. Oppen, Equations and Rewrite Rules: A Survey. Technical Report CSL-111, SRI International, January 1980.Google Scholar
  277. R. Greiner and D.B. Lenat, A representation language language. In Proc.First Annual National Conference on Artificial Intelligence, pages 165–169, American Association for Artificial Intelligence, 1980.Google Scholar
  278. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  279. J.M. Hollerbach, A recursive lagrangian formulation of manipulator dynamics and a comparative study of dynamics formulation complexity. IEEE Trans. Systems, Man & Cybernetics, SMC-10(11):730–736, 1980.Google Scholar
  280. Walker M.W. and D.E. Orin. Efficient dynamic computer simulation of robotic mechanisms. Trans. ASME, ser. G, Jnl. Dyn. Sys. Measurement & Control, 104:205–211, 1982.MATHCrossRefGoogle Scholar
  281. R.P. Paul, Robot manipulators. MIT Press, 1981.Google Scholar
  282. A. Koutsou, A survey of model-based robot programming languages. Working Paper 108, Dept. of Artificial Intelligence, Edinburgh, 1981.Google Scholar
  283. T. Lozano-Perez, Robot programming. Memo 698, MIT AI Lab, 1982.Google Scholar
  284. Fain. J. et al, The ROSIE Language Reference Manual. The Rand Corporation, n-1647-arpa edition, 1981.Google Scholar
  285. D. Waterman and F. Hayes-Roth, An Investigation of Tools for Building Expert Systems. Technical Report R-2818-NSF, Rand Corporation, June 1982.Google Scholar
  286. D. McAllester, Reasoning Utility Package User’s Manual Version One. Memo 667, MIT AI Lab, April 1982.Google Scholar
  287. D. McAllester, The SAGE Language Specification. from: SPL Research centre, The Charter, Abingdon, Oxon., 1983.Google Scholar
  288. J.A. Feldman, and P.D. Rovner, An algol-based associative language. Communication of the ACM, 8:439–449, 1969.CrossRefGoogle Scholar
  289. J.A. Feldman, J.R. Low, D.C. Swinehart, and R.H. Taylor, Recent developments in SAIL. Report AIM-176, AI Laboratory, Stanford University, 1972.Google Scholar
  290. J.F. Reiser, SAIL. stan-cs-76–574 edition, 1976.Google Scholar
  291. D.A Turner, SASL Language Manual. Technical Report, St Andrews University, December 1976. Revised edition from University of Kent, August 1979.Google Scholar
  292. D.A Turner, A new implementation technique for applicative languages. Software — Practice and Experience, 1979.Google Scholar
  293. R. Schank and R. Abelson, Scripts, Plans, Goals and Understanding. Lawrence Erlbaum Associates, 1977.Google Scholar
  294. M. Azmodek, S.H. Lavington, and M. Standring, The semantic binary relation model of information. To appear in the Proceedings of the 3rd joint BCS and ACM Symposium on Information Retrieval, July 1984.Google Scholar
  295. M. Azmodek, and J.N. Dunnion, A BRM machine and its interface procedures. Internal Report IFS/4/84, Dept. of Computer Science, University of Manchester, 1984.Google Scholar
  296. H. Gelernter, Realization of a Geometry theorem-proving machine. McGraw-Hill, 1963.Google Scholar
  297. J.S. Brown and R. Burton, Multiple representations of knowledge for tutorial reasoning. In D.G. Bobrow and A. Collins, editors, Representation and Understanding, Academic Press, 1975.Google Scholar
  298. N.V. Findler, editor, Associative Networks, Academic Press, 1979.Google Scholar
  299. E. Charniak and Y. Wilks, Computational Semantics. North-Holland, 1976.Google Scholar
  300. Simons G.L. Robots in Industry. NCC Publications, 1980.Google Scholar
  301. Nevins and Whitney, Computer controlled assembly. Scientific American, February 1978.Google Scholar
  302. R.C. Dorf, Modern Control Systems. Addison-Wesley, 1980.Google Scholar
  303. Pavlidis T. Structural Pattern Recognition. Springer-Verlag, Berlin, 1977.MATHGoogle Scholar
  304. R.K.P. Horn, Obtaining shape from shading information. In P.H. Winston, editor, The Psychology of Computer Vision.Google Scholar
  305. A.P Witkin, Recovering surface shape and orientation from texture. Artificial Intelligence, 17:17–45, 1981.CrossRefGoogle Scholar
  306. S. Kirkparick, C. D. Gelatt, and M. P. Vecchi, Optimization by simulated annealing. Science, 220:671–680, 1983.MathSciNetCrossRefGoogle Scholar
  307. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  308. [1]
    Y.F. Tsao and K.S. Fu, A parallel thinning algorithm for 3-d pictures. Computer Graphics and Image Processing, 17:315–331, 1981.CrossRefGoogle Scholar
  309. C. Chang and R.C. Lee, Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.Google Scholar
  310. [1]
    C. Chang and R.C. Lee, SmallTalk-72 Instruction manual. Xerox PARC technical report, 1976.Google Scholar
  311. [2]
    G. Birtwistle, Dahl O-J., B. Myhraug, and N. Nygaard, Simula Begin. Philadelphia, Auerbach, 1973.Google Scholar
  312. G. Birtwistle, Dahl O-J., B. Myhraug, and N. Nygaard, The Handbook of Artificial Intelligence Vol.8, Kaufmann, 1982.Google Scholar
  313. H.R. Wilson and J.R. Bergen, A fourier mechanism model for spatial vision. Vision Research, 19:19–32, 1979.CrossRefGoogle Scholar
  314. J.J. Pollock, Spelling error detection and correction by computer: some notes and a bibliography. Journal of Documentation, 38:282–291, 1982.CrossRefGoogle Scholar
  315. J.J. Pollock, The Handbook of Artificial Intelligence Vol.1, Kaufmann, 1981.Google Scholar
  316. J.E.W. Mayhew, Stereopsis. In Braddick and Sleigh, editors, Physical and Biological Processing of Images, 1983.Google Scholar
  317. A. Shapiro and R.B. Niblett, Automatic induction of classification rules for a chess endgame. In Advances in Computer Chess, 8, Pergamon, Oxford, 1982.Google Scholar
  318. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  319. M.J. Stefik, Planning with constraints (molgen: part 1) and planning and meta-planning (molgen: part2). Artificial Intelligence, 14, 1980.Google Scholar
  320. G.J. Sussman, A computer model of skill acquisition. Elsevier, 1975.Google Scholar
  321. G.J. Sussman, The Handbook of Artificial Intelligence Vol.1, Kaufmann, 1981.Google Scholar
  322. E.D. Sacerdoti, A Structure for plans and behaviour. Elsevier North-Holland, New York, 1977.Google Scholar
  323. C.R. Perrault, On the mathematical properties of linguistic theories. In Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, Association for Computational Linguistics, Stanford, CA, 1983.Google Scholar
  324. T. Winograd, Language as a cognitive process. Addison-Wesley, 1983.Google Scholar
  325. P. Szeredi and E. Santane-Toth, Prolog applications in hungary. In Logic Programming, Academic Press, 1982.Google Scholar
  326. I. Futo and J. Szeredi, A discrete simulation system based on artificial intelligence methods. In Discrete Simulation and Related Fields, North Holland, 1982.Google Scholar
  327. J. Doyle, Truth Maintenance Systems for Problem Solving. Technical Report 419, MIT AI Lab, September 1978.Google Scholar
  328. D. McAllester, An Outlook on Truth Maintenance. Technical Report 551, MIT AI Lab, August 1980.Google Scholar
  329. D.J.M. Davies, POPLER 1.5 Reference Manual. Technical Report, DAI, 1973.Google Scholar
  330. A. Tate, NONLIN: a hierarchic non-linear planning system. Research Report 25, DAI, 1976.Google Scholar
  331. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.Google Scholar
  332. M. Stefik, An examination of a frame-structured representation system. In Proceedings of IJCAI-79, pages 845–852, International Joint Conference on Artificial Intelligence, 1979.Google Scholar
  333. [1]
    W.W. Bledsoe and M Tyson, The UT interactive Prover. Memo ATP-17, Math. Dept. and U. of Texas, May 1975.Google Scholar
  334. R.S. Michalski, Variable-valued logic and its application to pattern recognition and machine learning. In Computer Science and Multiple-Valued Logic: Theory and Applications., North-Holland, 1977.Google Scholar
  335. R.S. Michalski, and R.L. Chilansky, Knowledge acquisition by encoding expert rules versus computer induction from examples: a case study involving soybean pathology. In Fuzzy Reasoning and its Applications, Academic Press, London, 1981.Google Scholar
  336. Mitchell. H Generalization as search. Artificial Intelligence, 18:203–226, 1982.MathSciNetCrossRefGoogle Scholar
  337. D. Marr, Vision. Freeman, 1982.Google Scholar
  338. F. Bristow, G.J. Fallside, Computer display of vowel quadrilateral with real-time representation of articulation. Electronics Letters, 14:107–109, 1978.CrossRefGoogle Scholar
  339. D. Marr, Vision. Freeman, 1982.Google Scholar
  340. D. Weinleb and D. Moon, LISP machine manual. MIT AI Lab., 1981.Google Scholar
  341. C. Rieger, R. Trigg, and B. Bane, ZMOB: A New Computing Engine For AI Technical Report TR-1028, Dept. of Computer Science, Univ. of Maryland, 1981.Google Scholar
  342. G. Robertson, A. Newell, and D. McCracken, The zog approach to man-machine communication. International Journal of Man-Machine Studies, 14:461–488, 1981.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Alan Bundy
    • 1
  1. 1.Department of Artificial IntelligenceEdinburgh UniversityEdinburghScotland

Personalised recommendations