Information Technology
Frame representations and the procedural/declarative controversy
In D. G. Bobrow and A. Collins (Eds.), Representation and understanding: studies in cognitive science. New York: Academic Press, 185-210. Also In: Ronald Brachman and Hector Levesque, editors, Readings in Knowledge Representation, pages 357-370. Morgan
Reasoning from incomplete knowledge in a procedural deductive system
Also see book version (1980), IJCAI-77. Also Rep. No. TR-347, AI Laboratory, Massachusetts Institute of Technology.
Grammatical Inference: Introduction and Survey Parts I and II
IEEE Transwactions on Systems, Man and Cybernetics SMC-5, pp. 409-425
Semantic networks and case grammar
Publication 29, Institute of Linguistics, University of Stockholm.
Automatic program synthesis from example problems
Fourth International Joint Conference on Artificial Intelligence Advance Papers, pp. 26B-273
Adaptation in Natural and Artificial Systems
John Holland's pioneering book Adaptation in Natural and Artificial Systems [1975, 2nd ed. 1992] showed how the evolutionary process can be applied to solve a wide variety of problems using a highly parallel technique that is now called the genetic algorithm. The genetic algorithm transforms a population of individual objects, each with an associated fitness value, into a new generation of the population using the Darwinian principle of reproduction and survival of the fittest and naturally occurring genetic operations such as crossover (recombination) and mutation. Each individual in the population represents a possible solution to a given problem. The genetic algorithm attempts to find a very good or best solution to the problem by genetically breeding the population of individuals. In preparing to use the conventional genetic algorithm operating on fixed-length character strings to solve a problem, the user must 1. determine the representation scheme, Ann Arbor: The University of Michigan Press
Prolog: Manual de reference et d’utilization
Tech. rep., Groupe d’Intelligence Artificielle, Universit´e d’Aix-Marseille.
Analysing mathematical proofs (or reading between the lines)
John Wiley and Sons, Inc. Robinson, J.A. (1965) "A Machine Oriented Logic Based on the Resolution Principle".