Journals in DBLP

Artif. Intell.
1993, volume: 62, number: 2

1. Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland, Alan Smaill
   Rippling: A Heuristic for Guiding Inductive Proofs. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:185-253 [Journal]
   
2. Oren Etzioni
   Acquiring Search-Control Knowledge Via Static Analysis. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:255-301 [Journal]
   
3. Bart Selman, Hector J. Levesque
   The Complexity of Path-Based Defeasible Inheritance. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:303-339 [Journal]
   
4. Marco Colombetti
   Formal Semantics for Mutual Belief. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:341-353 [Journal]
   
5. Natarajan Shankar
   David A. McAllester, Ontic: A Knowledge Representation System for Mathematics. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:355-362 [Journal]
   
6. Alberto Maria Segre, Geoffrey J. Gordon
   Sholom M. Weiss and Casimir A. Kulikowski, Computer Systems That Learn. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1993, v:62, n:2, pp:363-378 [Journal]