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

Automated Geometric Reasoning and Geometric Representation

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

Robotics and Motion Planning

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

Machine Vision

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

Solid Modeling

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