Bibliography

Bar75

A.G. Barto.
Cellular Automata as Models of Natural Systems.
The University of Michigan, 1975.

Bel77

N.D. Belnap.
A useful four-valued logic.
In J.M. Dunn and G. Epstein, editors, Modern Uses of Multiple-Valued Logics. D. Reidel Pub. Co., 1977.

BF81

A. Barr and E.A. Feigenbaum, editors.
The Handbook of Artificial Intelligence, volume I-II.
William Kaufmann Inc., Los Altos, California, 1981.

BW77

D.G. Bobrow and T. Winograd.
An overview of KRL, a knowledge representation language.
Cognitive Science, 1(1):3-46, 1977.

CM85

E. Charniak and D. McDermott.
Introduction to Artificial Intelligence.
Addison-Wesley Publishing Company, Reading, MA, 1985.

Coo71

S.A. Cook.
The complexity of theorem-proving procedures.
In Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, ACM, New York, pages 151-158, 1971.

DK77

R. Davis and J.J. King.
An overview of productions systems.
In E. Elcock and D. Michie, editors, Machine Intelligence, volume 8, pages 300-332. Ellis Horwood, Chichester, England, 1977.

EN69

G. Ernst and A. Newell.
GPS: A Case Study in Generality and Problem Solving.
Academy Press, New York, 1969.

FTW83

J.D. Farmer, T. Toffoli, and S. Wolfram.
Cellular Automata: Proceedings of an Interdisciplinary Workshop at Los Alamos.
New Mexico, North-Holland, Amsterdam, March 7-11 1983.

GH88

D.E. Goldberg and J.H. Holland.
Genetic algorithms and machine learning: Introduction to the special issue on genetic algorithms.
Machine Learning, 3, 1988.

Hay77

P.J. Hayes.
In defense of logic.
In Proceedings of IJCAI 5, pages 559-565, 1977.

Hil89

W.C. Hill.
The mind at ai: Horseless carriage to clock.
The AI Magazine, pages 29-41, Summer 1989.

HM85

J.Y. Halpern and Y.O. Moses.
A guide to the modal logics of knowledge and belief.
In Proceedings of IJCAI 9, pages 480-490, 1985.

Hol75

J.H. Holland.
Adaptation in Natural and Artificial Systems.
University of Michigan Press, Ann Arbor, 1975.

Hol86

J.H. Holland.
Escaping brittleness: The possibilities of general purpose learning algorithms applied to parallel rule-based systems.
In R.S. Mishalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning 2, pages 593-623. Kaufman, 1986.

HRWL83

F. Hayes-Roth, D.A. Waterman, and D.B. Lenat.
Building Expert System.
Addison-Wesley Publishing Company, Reading, MA, 1983.

McC79

P. McCorduck.
Machines Who Think.
Freeman, San Francisco, 1979.

McD78

J. McDermott.
Tarskian semantics, or no notation without denotation.
Cognitive Science, 2(3):277-282, July-September 1978.

MH69

J. McCarthy and P.J. Hayes.
Some philosophical problems from the standpoint of artificial intelligence.
In D. Michie and B. Meltzer, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, Edinburgh, GB, 1969.

MP69

M.L. Minsky and S.A. Papert.
Perceptrons: An Introduction to Computational Geometry.
M.I.T. Press, 1969.

New80

A. Newell.
Physical symbol systems.
Cognitive Science, 4:135-183, 1980.

PS85

P.F. Patel-Schneider.
A decidable first-order logic for knowledge representation.
In Proceedings of IJCAI 9, pages 455-458, 1985.
Also AI Technical Report Number 45, Schlumberger Palo Alto Research.

Rei80

R. Reiter.
A logic for default reasoning.
Artificial Intelligence, 13(1-2):81-132, April 1980.

SMS92

A.C. Stylianou, G.R. Madey, and R.D. Smith.
Selection criteria for expert system shells: A socio-technical framework.
Communications of the ACM, 35(10):32-48, October 1992.

Wat86

D.A. Waterman.
A Guide to Expert Systems.
Addison-Wesley Publishing Company, Reading, MA, 1986.

Win84

P.H. Winston.
Artificial Intelligence (2nd Edition).
Addison-Wesley Publishing Company, Reading, MA, 1984.

Zad79

L.A. Zadeh.
A theory of approximate reasoning.
In D. Mitchie J.E. Hayes and L.I. Mikulich, editors, Machine Intelligence 9. Wiley Masson, New York, 1979.