- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Geometric reasoning about mechanical assembly
Artificial Intelligence 71 (2):371-396 (1994)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Geometric reasoning about assembly tools.Randall H. Wilson - 1998 - Artificial Intelligence 98 (1-2):237-279.
Geometric reasoning and artificial intelligence: Introduction to the special volume.Deepak Kapur & Joseph L. Mundy - 1988 - Artificial Intelligence 37 (1-3):1-11.
Geometric reasoning with logic and algebra.Dennis S. Arnon - 1988 - Artificial Intelligence 37 (1-3):37-60.
A multi-level geometric reasoning system for vision.Michele Barry, David Cyrluk, Deepak Kapur, Joseph Mundy & Van-Duc Nguyen - 1988 - Artificial Intelligence 37 (1-3):291-332.
Geometric theorem proving by integrated logical and algebraic reasoning.Takashi Matsuyama & Tomoaki Nitta - 1995 - Artificial Intelligence 75 (1):93-113.
Geometric reasoning for constructing 3D scene descriptions from images.Ellen Lowenfeld Walker & Martin Herman - 1988 - Artificial Intelligence 37 (1-3):275-290.
Human reasoning about artificial intelligence.Patrick J. Hayes, Kenneth M. Ford & J. R. Adams-Webber - 1994 - Journal of Experimental and Theoretical Artificial Intelligence 4:247-63.
A History of Chinese Mathematics. Jean-Claude Martzloff, Stephen S. Wilson.Chikara Sasaki - 1998 - Isis 89 (3):519-520.
Erratum to ‘A logic for reasoning about ambiguity’ [Artificial Intelligence 209 (2014) 1–10].Joseph Y. Halpern & Willemien Kets - 2014 - Artificial Intelligence 212 (C):158.
Reasoning about programs.R. J. Waldinger & K. N. Levitt - 1974 - Artificial Intelligence 5 (3):235-316.
Analytics
Added to PP
2020-12-22
Downloads
15 (#1,243,005)
6 months
8 (#610,780)
2020-12-22
Downloads
15 (#1,243,005)
6 months
8 (#610,780)
Historical graph of downloads
Citations of this work
An efficient algorithm for searching implicit AND/OR graphs with cycles.P. Jiménez & C. Torras - 2000 - Artificial Intelligence 124 (1):1-30.
Hybrid planning for challenging construction problems: An Answer Set Programming approach.Faseeh Ahmad, Volkan Patoglu & Esra Erdem - 2023 - Artificial Intelligence 319 (C):103902.
Geometric reasoning about assembly tools.Randall H. Wilson - 1998 - Artificial Intelligence 98 (1-2):237-279.
References found in this work
Strips: A new approach to the application of theorem proving to problem solving.Richard E. Fikes & Nils J. Nilsson - 1971 - Artificial Intelligence 2 (3-4):189-208.
A planning system for robot construction tasks.Scott Elliott Fahlman - 1974 - Artificial Intelligence 5 (1):1-49.
Computational kinematics.Leo Joskowicz & Elisha P. Sacks - 1991 - Artificial Intelligence 51 (1-3):381-416.
A symbolic approach to qualitative kinematics.Boi Faltings - 1992 - Artificial Intelligence 56 (2-3):139-170.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-mnmvz uwo