(Enter summary)
Abstract: An important problem in geometric reasoning is to find the configuration of a collection of
geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this
problem can be solved efficiently by symbolically reasoning about geometry. This approach, called
degrees of freedom analysis, employs a set of specialized routines called plan fragments that
specify how to change the configuration of a set of bodies to satisfy a new constraint while
preserving... (Update)
Context of citations to this paper: More
.... of a pre specified function, perhaps with some simple inference for multi way numerical constraints) The planning for the MAP [BKH96] and the need to maintain a numerical model along with the symbolic geometric model distinguish GCE s geometric degrees of freedom...
...evaluation of a pre specified function, perhaps with some simple inference for multi way numerical constraints. The planning for the MAP [8] and the need to maintain a numerical model along with the symbolic geometric model distinguish GCE s geometric degrees of freedom...
Cited by: More
Interactive Constraint-Aided Conceptual Design - O'Sullivan
(Correct)
Extending Interactive Graphical Applications with Constraints - Badros (2000)
(Correct)
Constraints in Interactive Graphical Applications - Badros (1998)
(Correct)
Similar documents (at the sentence level):
16.9%: Knowledge Systems Laboratory April 1994 Report No. KSL 94-25 - Planning From
(Correct)
Active bibliography (related documents): More All
0.3: Design history functionality in FROOM - Salomons, van Slooten, Franken..
(Correct)
0.3: Conceptual Graphs in Constraint Based Re-Design - Salomons, van Slooten, van..
(Correct)
0.2: A Computer Aided Tolerancing Tool based on Kinematic.. - Salomons, Poerink.. (1995)
(Correct)
Similar documents based on text: More All
0.1: Knowledge and Regularity in Planning - Allen, al. (1992)
(Correct)
0.1: Process Programming by Hindsight - Pankaj Garg (1992)
(Correct)
0.1: Synthesis of UNIX Programs using Derivational Analogy - Bhansali, Harandi (1993)
(Correct)
Related documents from co-citation: More All
3: A geometric constraint engine (context) - Kramer - 1992
3: Multi-way versus one-way constraints in user interfaces: Experience with the Del..
- Sannella, Maloney et al. - 1993
3: and Kim Marriott (context) - Borning, Lin - 1997
BibTeX entry: (Update)
Bhansali, S., Kramer, G. A. `Principled approach towards symbolic geometric constraint satisfaction' Journal of Artificial Intelligence Research Vol 4(1996) pp 419-443 http://citeseer.ist.psu.edu/bhansali96principled.html More
@article{ bhansali96principled,
author = "Sanjay Bhansali and Glenn A. Kramer and Tim J. Hoar",
title = "A Principled Approach Towards Symbolic Geometric Constraint Satisfaction",
journal = "Journal of Artificial Intelligence Research",
volume = "4",
pages = "419-443",
year = "1996",
url = "citeseer.ist.psu.edu/bhansali96principled.html" }
Citations (may not include all citations):
128
Spatial planning: A configuration space approach (context) - Lozano-Perez - 1983
28
a man-machine graphical communication system (context) - Sutherland - 1963
28
The Juno-2 constraint-based drawing editor
- Heydon, Nelson - 1994
24
and nothing else changes: the frame problem (context) - Borgida, Mylopoulos et al. - 1993
15
Solving Geometric Constraint Systems: A Case Study in Kinema.. (context) - Kramer - 1992
12
Knowledge-based experiment design in molecular genetics (context) - Friedland - 1979
11
Kinematic Synthesis of Linkages (context) - Hartenberg, Denavit - 1964
8
Symmetry constraint inference in assembly planning: automati.. (context) - Liu, Popplestone - 1990
7
Assembly modeling as an extension of feature-based design (context) - Shah, Rogers - 1993
5
Interactive geometric constraint systems
- Brunkhart - 1994
4
Computer support in the design of mechanical products (context) - Salomons - 1994
1
Automatic program synthesis for geometric constraint satisfa.. (context) - Hoar - 1995
1
Constraints in conceptual design (context) - Serrano - 1987
1
STRIPS: A new approach to the applicatiion of theorem provin.. (context) - Department, CS et al. - 1971
1
An architecture to represent over (context) - Anantha, Kramer et al. - 1992
1
A Computer Model of Skill Acquisition (context) - Engineering, Sussman - 1975
1
Numerical Recipes: The Art of Scientific Computing (context) - GEOMETRIC, SATISFACTION et al. - 1986
Documents on the same site (http://eia.udg.es/~oller/agents/jair/table-of-contents-with-abstracts.html): More
Iterative Optimization and Simplification of Hierarchical.. - Fisher (1996)
(Correct)
Logarithmic-Time Updates and Queries in Probabilistic.. - Delcher, Grove, Kasif.. (1995)
(Correct)
Adaptive Problem-Solving for Large-Scale Scheduling Problems.. - Gratch, Chien (1996)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC