Catalogue of Artificial Intelligence Tools

[1]  Daniel E. Whitney,et al.  Computer-controlled Assembly , 1978 .

[2]  Mark Stefik,et al.  Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..

[3]  Theodosios Pavlidis,et al.  Structural pattern recognition , 1977 .

[4]  Bernard Silver.  Learning Equation Solving Methods From Examples , 1983, IJCAI.

[5]  Chuck Rieger,et al.  ZMOB: a new computing engine for AI , 1981, IJCAI 1981.

[6]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  Peter Henderson,et al.  Functional Programming - Application and Implementation: Russian Edition 1983, Japanese Edition 1985 , 1980 .

[8]  Simon H. Lavington,et al.  The Qualified Binary Relationship Model of Information , 1985, BNCOD.

[9]  H. C. Longuet-Higgins,et al.  The interpretation of a moving retinal image , 1980, Proceedings of the Royal Society of London. Series B. Biological Sciences.

[10]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[11]  Richard Fikes,et al.  Learning and Executing Generalized Robot Plans , 1993, Artif. Intell..

[12]  Perry W. Thorndyke,et al.  AUTOPILOT: A Distributed Planner for Air Fleet Control , 1981, IJCAI.

[13]  John Seely Brown,et al.  MULTIPLE REPRESENTATIONS OF KNOWLEDGE FOR TUTORIAL REASONING , 1975 .

[14]  Leon Sterling,et al.  Solving Symbolic Equations with PRESS , 1982, J. Symb. Comput..

[15]  Randall Davis,et al.  Meta-Rules: Reasoning about Control , 1980, Artif. Intell..

[16]  D. L. Weinreb,et al.  Lisp Machine Manual (Chinual) , 1981 .

[17]  Rod M. Burstall,et al.  HOPE: An experimental applicative language , 1980, LISP Conference.

[18]  G. L Simons.  Robots in industry , 1980 .

[19]  King-Sun Fu,et al.  A parallel thinning algorithm for 3-D pictures , 1981 .

[20]  David Warren,et al.  Warplan: a system for generating plans , 1974 .

[21]  Tom M. Mitchell,et al.  Learning from Solution Paths: An Approach to the Credit Assignment Problem , 1982, AI Mag..

[22]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[23]  Donald A. Waterman,et al.  Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[24]  S. Tanimoto,et al.  Structured computer vision: Machine perception through hierarchical computation structures , 1980 .

[25]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[26]  Martin L. Griss,et al.  PSL: A Portable LISP System , 1982, LFP '82.

[27]  Elaine Kant,et al.  Efficiency in program synthesis , 1981 .

[28]  Bishnu S. Atal,et al.  A new model of LPC excitation for producing natural-sounding speech at low bit rates , 1982, ICASSP.

[29]  Lawrence Birnbaum,et al.  Conceptual analysis of natural language , 1981 .

[30]  Richard J. Waldinger,et al.  A Language for Writing Problem-Solving Programs , 1971, IFIP Congress.