The complexity of theorem-proving procedures, STOC, p.151158, 1971. ,
Parsing languages with a congurator, Proceedings of the European Conference for Articial Intelligence ECAI, p.591595, 2004. ,
Conguration knowledge representation using uml/ocl, UML, p.4962, 2002. ,
DOI : 10.1007/3-540-45800-x_5
Automating rst-order relational logic, SIGSOFT FSE, pp.130-139, 2000. ,
DOI : 10.1145/355045.355063
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.8507
KM3: A DSL for Metamodel Specification, FMOODS, p.171185, 2006. ,
DOI : 10.1007/11663430_18
URL : https://hal.archives-ouvertes.fr/hal-00448119
TCS:, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, p.249254, 2006. ,
DOI : 10.1145/1173706.1173744
Transforming Models with ATL, MoDELS Satellite Events, p.128138, 2005. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
Conguration, volume Handbook of Constraint Programming, chapter 26, 2006. ,
The logic of (j)congurator : Combining constraint programming with a description logic, IJCAI'03, 2003. ,
Parsing SBVR-Based Controlled Languages, Models'09, 2009. ,
DOI : 10.1145/1321631.1321737
URL : https://hal.archives-ouvertes.fr/hal-00782389
A classication and constraint-based framework for conguration ,
Dynamic constraint satisfaction problems, Proceedings of AAAI-90, p.2532, 1990. ,
Composite constraint satisfaction, AI and Manufacturing Research Planning Workshop, p.153161, 1996. ,
Representing conguration knowledge with weight constraint rules, Proceedings of the AAAI Spring Symp. on Answer Set Programming, 2001. ,
An overview of knowledge-based conguration, p.111125, 1997. ,
A generative constraint formalism for conguration problems, Advances in Articial Intelligence: Proceedings of AI*IA'93, p.302313, 1993. ,
Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4 ,
Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche, 2004. ,
BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN, pp.249-6399 ,