Objective probabilities in expert systems
DENDRAL: A case study of the first expert system for scientific hypothesis formation
Removing redundancy from a clause
An automatic proof of Gödel's incompleteness theorem
Implicit parallelism in genetic algorithms
Approximations for efficient computation in the theory of evidence
The art of the metaobject protocol: Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow
What's in a linkage? Review of: Glenn Kramer, solving geometric constraint systems
Fuzzy sets and applications: Selected papers by L.A. Zadeh: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds.
Announcement
Forthcoming papers
Author index—Volume 61 (1993)