Artificial Intelligence, Volume 61

Volume 61, Number 1, 1993

• Cees Witteveen, Gerhard Brewka: Skeptical Reason Maintenance and Belief Revision. 1-36

• Charles Elkan, Russell Greiner: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 41-52
• Drew V. McDermott: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 53-63
• Robert Neches: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 65-79
• Douglas R. Skuce: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 81-94
• John F. Sowa: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 95-104
• William Croft: Ernest Davis, Representations of Commonsense Knowledge. 105-112
• Daniel S. Weld: Ernest Davis, Representations of Commonsense Knowledge. 113-120
• Mark S. Tuttle: E. Davis, Representations of Commonsense Knowledge and D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representations and Inference in the Cyc Project. 121-148

• Ramanathan V. Guha, Douglas B. Lenat: Re: CycLing Paper Reviews. 149-174
• Ernest Davis: Representations of Commonsense Knowledge: Response to the Reviews. 175-179

Volume 61, Number 2, 1993

• Luis Enrique Sucar, Duncan Fyfe Gillies, D. A. Gillies: Objective Probabilities in Expert Systems. 187-208
• Robert K. Lindsay, Bruce G. Buchanan, Edward A. Feigenbaum, Joshua Lederberg: DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation. 209-261
• Georg Gottlob, Christian G. Fermüller: Removing Redundancy from a Clause. 263-289

• Kurt Ammon: An Automatic Proof of Gödel's Incompleteness Theorem. 291-306
• Alberto Bertoni, Marco Dorigo: Implicit Parallelism in Genetic Algorithms. 307-314
• Bjørnar Tessem: Approximations for Efficient Computation in the Theory of Evidence. 315-329

• Richard P. Gabriel: Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject Protocol. 331-342
• Elisha Sacks: What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems. 343-349
• Zuliang Shen: R.R. Yager, S. Ovchinnikov, R.M. Tong and H.T. Nguyen, eds., Fuzzy Sets and Applications: Selected Papers by L. A. Zadeh. 351-358