Artificial Intelligence, Volume 61

Volume 61, Number 1, 1993

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

• 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 BibTeX
• Drew V. McDermott: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 53-63 BibTeX
• Robert Neches: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 65-79 BibTeX
• Douglas R. Skuce: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 81-94 BibTeX
• John F. Sowa: D. B. Lenat and R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project. 95-104 BibTeX
• William Croft: Ernest Davis, Representations of Commonsense Knowledge. 105-112 BibTeX
• Daniel S. Weld: Ernest Davis, Representations of Commonsense Knowledge. 113-120 BibTeX
• 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 BibTeX

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

Volume 61, Number 2, 1993

• Luis Enrique Sucar, Duncan Fyfe Gillies, D. A. Gillies: Objective Probabilities in Expert Systems. 187-208 BibTeX
• 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 BibTeX
• Georg Gottlob, Christian G. Fermüller: Removing Redundancy from a Clause. 263-289 BibTeX

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

• Richard P. Gabriel: Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject Protocol. 331-342 BibTeX
• Elisha Sacks: What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems. 343-349 BibTeX
• 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 BibTeX