Artificial Intelligence, Volume 37

Volume 37, Numbers 1-3, December 1988

Special Volume on Geometric Reasoning

Deepak Kapur, Joseph L. Mundy: Geometric Reasoning and Artificial Intelligence: Introduction to the Special Volume. 1-11 BibTeX

Automated Geometric Reasoning and Geometric Representation

Deepak Kapur, Joseph L. Mundy: Wu's Method and its Application to Perspective Viewing. 15-36 BibTeX
Dennis S. Arnon: Geometric Reasoning with Logic and Algebra. 37-60 BibTeX
Deepak Kapur: A Refutational Approach to Geometry Theorem Proving. 61-93 BibTeX
Hai-Ping Ko: Geometry Theorem Proving by Decomposition of Quasi-Algebraic Sets: An Application of the Ritt-Wu Principle. 95-122 BibTeX
Joseph A. Goguen: Modular Algebraic Specification of Some Basic Geometrical Constructions. 123-153 BibTeX

Robotics and Motion Planning

Jacob T. Schwartz, Micha Sharir: A Survey of Motion Planning and Related Geometric Algorithms. 157-169 BibTeX
Joseph S. B. Mitchell: An Algorithmic Approach to Some Problems in Terrain Navigation. 171-201 BibTeX
John F. Canny: Constructing Roadmaps of Semi-Algebraic Sets I: Completeness. 203-222 BibTeX
Bruce Randall Donald: A Geometric Approach to Error Detection and Recovery for Robot Motion Planning with Uncertainty. 223-271 BibTeX

Machine Vision

Ellen Lowenfeld Walker, Martin Herman: Geometric Reasoning for Constructing 3D Scene Descriptions from Images. 275-290 BibTeX
Michele Barry, David Cyrluk, Deepak Kapur, Joseph L. Mundy, Van-Duc Nguyen: A Multi-Level Geometric Reasoning System for Vision. 291-332 BibTeX
Radu Horaud, Michael Brady: On the Geometric Interpretation of Contours. 333-353 BibTeX

Solid Modeling

Christoph M. Hoffmann, John E. Hopcroft: The Geometry of Projective Blending Surfaces. 357-376 BibTeX
Victor Milenkovic: Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic. 377-401 BibTeX
Alan Fleming: Geometric Relationships Between Toleranced Features. 403-412 BibTeX