Skip to main content
SpringerLink
Log in

Catalogue of Artificial Intelligence Tools

  • Chapter
Catalogue of Artificial Intelligence Tools

Part of the book series: Symbolic Computation ((1064))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

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.

    Article  Google 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. 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.

    Article  MATH  Google Scholar 

  16. Berliner H. The b* tree search algorithm: a best-first proof procedure. Artificial Intelligence, 12:23–40, 1979.

    Article  MathSciNet  Google 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.

    Article  MATH  Google Scholar 

  32. Danielsson P-E. and Levialdi S. Computer architectures for pictorial information systems. Computer, 14(11):53–67, November 1981.

    Article  Google 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.

    Article  Google Scholar 

  55. Marr D. Analysis of occluding contour. Proc. Roy. Soc. Lond., B197: 441–475, 1977.

    Article  Google 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.

    Article  Google 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.

    Article  MathSciNet  MATH  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    MATH  Google Scholar 

  73. Marr D. and E. Hildreth. Theory of edge detection. Proc. Roy.Soc. Lond., B207:187–217, 1980.

    Article  Google 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.

    MATH  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    Article  Google 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.

    Article  MathSciNet  Google Scholar 

  102. E.H. Mamdani and B.R. Gaines, Fuzzy Reasoning and its Applications. Academic Press, London, 1981.

    MATH  Google 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.

    Article  Google 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.

    Article  Google 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.

    Article  MathSciNet  Google 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.

    Article  MathSciNet  Google 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. R.J. Brachman, A Structural Paradigm for Representing Knowledge. PhD thesis, Harvard University, 1977.

    Google Scholar 

  148. 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. 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. 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. 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. R. Davis, Meta-rules: reasoning about control. Artificial Intelligence, 15:179–222, 1980.

    Article  Google Scholar 

  176. 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. M. Stefik, Planning and meta-planning (molgen: part 2). Artificial Intelligence, 16:141–170, 1981.

    Article  Google 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.

    MATH  Google 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.

    MATH  Google 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.

    Article  Google 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.

    MATH  Google 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.

    Article  Google 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.

    Article  Google 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 Studies

    Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    Article  Google 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.

    Article  MATH  Google 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.

    Article  Google 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.

    MATH  Google 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.

    Article  Google Scholar 

  306. S. Kirkparick, C. D. Gelatt, and M. P. Vecchi, Optimization by simulated annealing. Science, 220:671–680, 1983.

    Article  MathSciNet  Google Scholar 

  307. N.J. Nilsson, Principles of Artificial Intelligence. Tioga Pub. Co., 1980.

    Google Scholar 

  308. Y.F. Tsao and K.S. Fu, A parallel thinning algorithm for 3-d pictures. Computer Graphics and Image Processing, 17:315–331, 1981.

    Article  Google Scholar 

  309. C. Chang and R.C. Lee, Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973.

    Google Scholar 

  310. C. Chang and R.C. Lee, SmallTalk-72 Instruction manual. Xerox PARC technical report, 1976.

    Google Scholar 

  311. 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.

    Article  Google Scholar 

  314. J.J. Pollock, Spelling error detection and correction by computer: some notes and a bibliography. Journal of Documentation, 38:282–291, 1982.

    Article  Google 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. 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.

    Article  MathSciNet  Google 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.

    Article  Google 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.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Artificial Intelligence, Edinburgh University, 80 South Bridge, Edinburgh, EH1 1HN, Scotland

    Alan Bundy

Authors
  1. Alan Bundy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Artificial Intelligence, Edinburgh University, 80 South Bridge, Edinburgh, EH1 1HN, Scotland

    Alan Bundy

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bundy, A. (1986). Catalogue of Artificial Intelligence Tools. In: Bundy, A. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96964-5_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-96964-5_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16893-5

  • Online ISBN: 978-3-642-96964-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation