Journals in DBLP

Artif. Intell.
1988, volume: 37, number: 1-3

1. Deepak Kapur, Joseph L. Mundy
   Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:1-11 [Journal]
   
2. Deepak Kapur, Joseph L. Mundy
   Wu's Method and its Application to Perspective Viewing. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:15-36 [Journal]
   
3. Dennis S. Arnon
   Geometric Reasoning with Logic and Algebra. [Citation Graph (3, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:37-60 [Journal]
   
4. Deepak Kapur
   A Refutational Approach to Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:61-93 [Journal]
   
5. Hai-Ping Ko
   Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:95-122 [Journal]
   
6. Joseph A. Goguen
   Modular Algebraic Specification of Some Basic Geometrical Constructions. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:123-153 [Journal]
   
7. Jacob T. Schwartz, Micha Sharir
   A Survey of Motion Planning and Related Geometric Algorithms. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:157-169 [Journal]
   
8. Joseph S. B. Mitchell
   An Algorithmic Approach to Some Problems in Terrain Navigation. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:171-201 [Journal]
   
9. John F. Canny
   Constructing Roadmaps of Semi-Algebraic Sets I: Completeness. [Citation Graph (0, 0)][DBLP]
   Artif. Intell., 1988, v:37, n:1-3, pp:203-222 [Journal]
   
10. Bruce Randall Donald
    A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:223-271 [Journal]
    
11. Ellen Lowenfeld Walker, Martin Herman
    Geometric Reasoning for Constructing 3D Scene Descriptions from Images. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:275-290 [Journal]
    
12. Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen
    A Multi-Level Geometric Reasoning System for Vision. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:291-332 [Journal]
    
13. Radu Horaud, Michael Brady
    On the Geometric Interpretation of Contours. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:333-353 [Journal]
    
14. Christoph M. Hoffmann, John E. Hopcroft
    The Geometry of Projective Blending Surfaces. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:357-376 [Journal]
    
15. Victor Milenkovic
    Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:377-401 [Journal]
    
16. Alan Fleming
    Geometric Relationships Between Toleranced Features. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1988, v:37, n:1-3, pp:403-412 [Journal]