Using constraint propagation and domain reduction for the generation phase in declarative modeling

Proceedings of the International Conference on Information Visualisation

Volumn , Issue , 2001, Pages 117-123

  Le Roux, O ^a   Gaildrat, V ^a   Caubet, R ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

3-D ENVIRONMENTS; CONSTRAINT PROPAGATION; DECLARATIVE MODELS; OBJECT CONSTRAINTS; RESOLUTION PROCESS;

VISUALIZATION;

EID: 84908401389     PISSN: 10939547     EISSN: None     Source Type: Journal    
DOI: 10.1109/IV.2001.942047     Document Type: Article

References (13)

1. P. F Bonnefoi, D. Plemenos. Object Oriented Constraint Satisfaction for Hierarchical Declarative Scene Modeling. WSCG'99, Plzen, Czech Republic, February 2-12, 1999
2. L. Champciaux. Declarative Modelling: Speeding Up Generation. Proceedings of CISST'97, p120-129, Las Vegas, Nevada, July 1997
3. P. Charman. Solving Space Planning Problems Using Constraint Technology. Technical report CS 57/93, Institute of Cybernetics - Estonian Academy of Sciences, 1993
4. C. Colin, E. Desmontils, J. Y. Martin, J. P. Mounier. Working Modes with a Declarative Modeler. Compugraphics'97, Villamoura, Portugal, GRASP, 15-18 Dec. 1997, pp 117-126
5. R. Dechter, F. Rossi, Constraint Satisfaction, Survey ECS, March, 2000
6. S. Donikian, G. Hegron. The Kernel of a Declarative Method for 3D Scene Sketch Modeling. GRAPHICON'92, Moscow, Russia, September 1992
7. C. Freuder, R. Dechter, B. Selman, M. Ginsberg, and E. Tsang, Systematic Versus Stochastic Constraint Satisfaction. Panel, IJCAI-95, pp. 2027-2032
8. V. Kumar. Algorithms for Constraints Satisfaction Problems: A Survey, The AI Magazine, Vol. 13, Number 1, p32-44, 1992
9. 2ONS: A High Level Declarative Modeler for 3D Graphics Applications. CISST'97, p149-154, Las Vegas., Nevada, March 1997
10. G. Kwaiter, V. Gaildrat. Modelling with Constraints: A Bibliographical Survey. International Conference on Information Visualisation, IV'98, London UK. IV98, July 1998
11. S. Liege, G. Hegron. An Incremental Declarative Modeling Applied to Urban Layout Design. WSCG'97, Plzen, Czech Republic, Febrary 97
12. P. and D. Martin. Declarative Generation of a Family of Polyhedra, GRAPHICON' 93. St Petersbourg, September 1993
13. D. Plemenos. Declarative Modeling by Hierarchical Decomposition. The Actual State of the MultiFormes Project, GRAPHICON'95, St Petersbourg, Russia, July 1995