Journals in DBLP
Luis Enrique Sucar , Duncan Fyfe Gillies , D. A. Gillies Objective Probabilities in Expert Systems. [Citation Graph (1, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:187-208 [Journal ] Robert K. Lindsay , Bruce G. Buchanan , Edward A. Feigenbaum , Joshua Lederberg DENDRAL: A Case Study of the First Expert System for Scientific Hypothesis Formation. [Citation Graph (1, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:209-261 [Journal ] Georg Gottlob , Christian G. Fermüller Removing Redundancy from a Clause. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:263-289 [Journal ] Kurt Ammon An Automatic Proof of Gödel's Incompleteness Theorem. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:291-306 [Journal ] Alberto Bertoni , Marco Dorigo Implicit Parallelism in Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:307-314 [Journal ] Bjørnar Tessem Approximations for Efficient Computation in the Theory of Evidence. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:315-329 [Journal ] Richard P. Gabriel Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject Protocol. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:331-342 [Journal ] Elisha Sacks What's in a Linkage? Review of: Glenn Kramer, Solving Geometric Constraint Systems. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:343-349 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Artif. Intell., 1993, v:61, n:2, pp:351-358 [Journal ]