Artificial Intelligence（AI ）的VOLUME 37, ISSUES 1–3论文列表

卷期号： Volume 37, Issues 1–3

发布时间： December 1988

卷期年份： 1988

卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/37/issue/1

Author index

Editorial Board

Geometric reasoning and artificial intelligence: Introduction to the special volume

Wu's method and its application to perspective viewing

Geometric reasoning with logic and algebra

A refutational approach to geometry theorem proving

Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle

Modular algebraic specification of some basic geometrical constructions

A survey of motion planning and related geometric algorithms

An algorithmic approach to some problems in terrain navigation

Constructing roadmaps of semi-algebraic sets I: Completeness

A geometric approach to error detection and recovery for robot motion planning with uncertainty

Geometric reasoning for constructing 3D scene descriptions from images

A multi-level geometric reasoning system for vision

On the geometric interpretation of image contours

The geometry of projective blending surfaces

Verifiable implementations of geometric algorithms using finite precision arithmetic

Geometric relationships between toleranced features