Symbolic reasoning among 3-D models and 2-D images
- 1 August 1981
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 17 (1-3), 285-348
- https://doi.org/10.1016/0004-3702(81)90028-x
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Linear feature extraction and descriptionComputer Graphics and Image Processing, 1980
- An algorithm for planning collision-free paths among polyhedral obstaclesCommunications of the ACM, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Description and recognition of curved objects☆Artificial Intelligence, 1977
- An Overview of KRL, a Knowledge Representation LanguageCognitive Science, 1977
- Inferring the positions of bodies from specified spatial relationshipsArtificial Intelligence, 1975
- Representation and Description of Curved ObjectsPublished by Defense Technical Information Center (DTIC) ,1972
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970