F. Arnold and G. Podehl, Best of both worlds-A mapping from EXPRESS-G to UML', in The Unified Modeling Language, UML'98-Beyond the Notation. First International Workshop, Selected Papers, LNCS, vol.1618, pp.49-63, 1999.

M. Ashworth, M. S. Bloor, A. Mckay, and J. Owen, Adopting STEP for in-service configuration control, Computers in Industry, vol.31, pp.235-253, 1996.

J. W. Bertrand, M. Zuijderwijk, and H. M. Hegge, Using hierarchical pseudo bills of material for customer order acceptance and optimal material replenishment in assemble to order manufacturing of nonmodular products, Int. J. Production Economics, vol.66, pp.171-184, 2000.

P. Y. Chao and T. T. Chen, Analysis of assembly through product configuration, Computers in Industry, vol.44, pp.189-203, 2001.

B. Faltings and E. C. Freuder, Special issue on configuration, IEEE Intelligent Systems, vol.13, issue.4, pp.29-85, 1998.

A. Felfernig, G. E. Friedrich, and D. Jannach, Conceptual modeling for configuration of mass-customizable products, Artificial Intelligence in Engineering, vol.15, pp.165-176, 2001.

A. Kayed and R. M. Colomb, Extracting ontological concepts for tendering conceptual structures, Data & Knowledge Engineering, vol.40, pp.71-89, 2002.

T. Männistö, H. Peltonen, A. Martio, and R. Sulonen, Modelling generic product structures in STEP, Computer-Aided Design, vol.30, issue.14, pp.1111-1118, 1998.

T. Männistö, H. Peltonen, T. Soininen, and R. Sulonen, Multiple abstraction levels in modelling product structures, Data & Knowledge Engineering, vol.36, pp.55-78, 2001.

D. Sabin and R. Weigel, Product configuration frameworks-a survey, IEEE Intelligent Systems, vol.13, issue.4, pp.42-49, 1998.

T. Soininen and I. Niemelä, Developing a declarative rule language for applications in product configuration, PADL'99 Practical Aspects of Declarative Languages Proc. First International Workshop, vol.1551, pp.305-319, 1998.

A. Felfernig, G. Friedrich, and D. Jannach, UML as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems, International Journal of Software Engineering and Knowledge Engineering, vol.10, pp.449-469, 2000.

T. Soininen, I. Niemelä, J. Tiihonen, and R. Sulonen, Representing Configuration Knowledge With Weight Constraint Rules, Proc. of the AAAI Spring 2001 Symposium on Answer Set Programming, 2001.

S. Mittal and B. Falkenhainer, Dynamic Constraint Satisfaction Problems, Proc. of the 8th National Conf. on AI (AAAI-90), pp.25-32, 1990.

T. Syrjänen, Including Diagnostic Information in Configuration Models, Proc. of the First International Conference on Computational Logic, vol.1861, 2000.

N. Sharma and R. Colomb, Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming, Journal of Logic Programming, vol.37, pp.255-283, 1998.

M. Stumptner, G. Friedrich, and A. Haselböck, Generative constraint-based configuration of large technical systems, AI EDAM, vol.12, pp.307-320, 1998.

D. Mcguinness and J. Wright, An Industrial-strength Description Logic-Based Configurator Platform, IEEE Intelligent Systems & Their Applications, vol.13, pp.69-77, 1998.

D. Mailharro, A classification and constraint-based framework for Configuration, AI EDAM, vol.12, 1998.

A. K. Mackworth, Consistency in Networks of Relations, Artificial Intelligence, vol.8, pp.99-118, 1977.

T. Soininen, E. Gelle, and I. Niemelä, A Fixpoint Definition of Dynamic Constraint Satisfaction, Principles and Practice of Constraint Programming-CP'99, vol.1713, pp.419-433, 1999.

T. Soininen, J. Tiihonen, T. Männistö, and R. Sulonen, Towards a General Ontology of Configuration, AI EDAM, vol.12, pp.357-372, 1998.

P. Simons, I. Niemelä, and T. Soininen, Extending and implementing the stable model semantics. To appear in Artificial Intelligence, Special Issue of Knowledge Representation and Logic Programming

Y. Boufkhad, G. Eric, P. Marquis, B. Mazure, and S. Lakhdar, Tractable cover compilations, Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI'97), pp.122-127, 1997.

M. Cadoli and F. M. Donini, A survey on knowledge compilation, AI Communications, vol.10, issue.3-4, pp.137-150, 1997.

O. Coudert and J. C. Madre, Implicit and incremental computation of primes and essential primes of boolean functions, Proc. of the 29th Design Automation Conf. (DAC 1992), pp.36-39, 1992.

A. , Tractable databases: How to make propositional unit propagation complete through compilation, Proc. of the 4th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'94), pp.551-561, 1994.

A. Felfernig, G. E. Friedrich, D. Jannach, and M. Stumptner, Consistency-based diagnosis of configuration knowledge bases, Proc. of the 14th European Conf. on Artificial Intelligence (ECAI 2000), pp.146-150, 2000.

K. D. Forbus and J. De-kleer, , 1993.

W. Küchlin and C. Sinz, Proving consistency assertions for automotive product data management, J. Automated Reasoning, vol.24, issue.1-2, pp.145-163, 2000.

P. Marquis, Knowledge compilation using theory prime implicates, Proc. of the 14th Intl. Joint Conf. on Artificial Intelligence (IJCAI'95), pp.837-845, 1995.

P. Marquis, Consequence finding algorithms', in Handbook of Defeasable Reasoning and Uncertainty Management Systems, D.M. Gabbay and Ph. Smets, vol.5, pp.41-145, 2000.

D. L. Mcguinness and J. R. Wright, Conceptual modelling for configuration: A description logic-based approach, vol.12, pp.333-344, 1998.

S. Mittal and F. Frayman, Towards a generic model of configuration tasks, Proc. of the 11th Intl. Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989.

I. Rish and R. Dechter, Resolution versus search: Two strategies for SAT, J. Automated Reasoning, vol.24, issue.1-2, pp.225-275, 2000.

B. Selman and H. Kautz, Knowledge compilation and theory approximation, JACM, vol.43, issue.2, pp.193-224, 1994.

L. Simon and A. , Efficient consequence finding, Proc. of the 17th Intl. Joint Conf. on Artificial Intelligence (IJCAI'01), pp.359-365, 2001.

P. Tison, Generalized consensus theory and application to the minimization of boolean functions, IEEE Transactions on Electronic Computers, EC, vol.16, issue.4, 1967.

B. Pine, Mass Customization, The New Frontier in Business Competition, 1993.

U. Lindemann and U. Pulm, Enhanced Product Structuring and Evaluation of Product Properties for Mass Customization

, MCP'01, World Congress on Mass Customization and Personalization, 2001.

J. Schoettner, Produktdatenmanagement in der Fertigungsindustrie, 1999.

N. F. Noy and M. A. Musen, Algorithm and Tool for Automated Ontology Merging and Alignment, Seventeenth National Conference on Artificial Intelligence (AAAI-2000), 2000.

A. Guenter and C. Kuehn, Knowledge-Based Configuration-Survey and Future Trends, F. Puppe, Expertensysteme '99, Lecture Notes, 1999.

K. Ehrlenspiel, Integrierte Produktentwicklung, Hanser, Muncih, 1995.

R. Stetter, Method Implementation in Integrated Product Development, Dr. Hut, 2000.

S. Ambrosy, Methoden und Werkzeuge für die integrierte Produktentwicklung, 1997.

. Amir and S. Mcilraith, Theorem proving with structured theories, 17th Intl' Joint Conference on Artificial Intelligence (IJCAI'01), 2001.

E. Amir, Efficient Approximation for Triangulation of Minimum Treewidth, 17th Conference on Uncertainty in Artificial Intelligence (UAI '01), 2001.

. Becker and D. Geiger, A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees, Proceedings of the 12th Annual Conference on Uncertainty in Artificial Intelligence, 1996.

H. L. Bodlaender, A linear time algorithm for finding treedecompositions of small treewidth, 1992.

R. Bryant, Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams, In ACM Computing Surveys, vol.24, 1992.

D. Cowell, . Lauritzen, and . Spiegelhalter, Probabilistic Networks and Expert Systems, 1999.

A. Darwiche, Compiling knowledge into decomposable negation normal form, Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1999.

A. Darwiche, On the Tractable Counting of Theory Models and its Applications to Belief Revision and Truth Maintenance, International Workshop on Belief Change & Journal of Applied NonClassical Logics, 2000.

H. Fargier and J. Amilhastre, Handling interactivity in a constraint based approach of configuration ECAI, 2000.

C. Huang and A. Darwiche, Inference in belief networks: A procedural guide, International Journal of Approximate Reasoning, vol.15, issue.3, pp.225-263, 1996.

S. L. Lauritzen and D. J. Spiegelhalter, Local computations with probabilities on graphical structures and their application to experts systems, In journal of the Royal Statistics Society, B, vol.50, pp.157-224, 1988.

. Mathieu and J. P. Delahaye, A kind of logical compilation for knowledge bases, Theoretical Computer Science, vol.131, pp.197-218, 1994.
URL : https://hal.archives-ouvertes.fr/hal-00731935

. Marquis and A. Darwiche, A Perspective in Knowledge Compilation In IJCAI-01, 2000.

P. Marquis, Knowledge Compilation Using Theory Prime Implicates, IJCAI, 1995.

J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference Morgan Kaufmann, 1988.

O. Roussel, L'achèvement des bases de connaissance en calcul propositionnel et en calcul des prédicats, 1997.

. Schrag and D. Miranker, Compilation for critically constrained Knowledge Bases. submitted to the, Journal of Artificial Intelligence Research, 1996.

M. Veron, . Fargier, and M. Aldanondo, CSP to configuration problems AAAI-99 Workshop on Configuration, 1999.

C. Sinz, A. Kaiser, and W. Küchlin, SAT-Based Consistency Checking of Automotive Electronic Product Data, Presented at the ECAI 2000 Configuration Workshop, 2000.

C. Sinz, A. Kaiser, and W. Küchlin, Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking, Proceedings of the 14th International FLAIRS Conference, 2001.

A. Kaiser and W. Küchlin, Automotive Product Documentation, Proceedings of the 14th International IEA/AIE Conference, 2001.

. Dechter and J. Pearl, Tree Clustering for Constraint Networks, Artificial Intelligence, pp.353-356, 1989.

. Mogens-myrup-andreasen, The Theory of Domains, Proceedings of Workshop on Understanding Function and Function-to-Form Evolution, 1992.

J. Bowen and D. Bahler, Frames, quantification, perspectives and negotiation in constraint networks in life-cycle engineering, Artificial Intelligence in Engineering, vol.7, pp.199-226, 1992.

A. Chakrabarti and L. Blessing, Guest editorial: Representing functionality in design, Artificial Intelligence for Engineering Design and Manufacture, vol.10, issue.4, pp.251-253, 1996.

A. Felfernig, G. Friedrich, D. Jannach, and M. Stumpter, Consistency-based diagnosis of configuration knowledgebases, Proceedings of the 14h European Conference on Artificial Intelligence (ECAI'2000), pp.146-150, 2000.

E. C. Freuder, C. Likitvivatanavong, and R. J. Wallace, A case study in explanation and implication, CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000.

E. C. Freuder, O. Barry, and . Sullivan, Generating tradeoffs for interative constraint-based configuration, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming-CP-2001, 2001.

O. Barry and . Sullivan, Constraint-Aided Conceptual Design, 1999.

U. Junker and . Quickxplain, Conflict detection for arbitrary constraint propagation algorithms, IJCA'01 workshop on Modelling and Solving Problems with Constraints, pp.81-88, 2001.

S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, Proceedings of AAAI-90, pp.25-32, 1990.

E. Tsang, Foundations of Constraint Satisfaction, 1993.

J. Van-der-linden, An approach to dealing with non-standard constraint satisfaction problems, 2000.

A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, Distributed configuring, Proc. IJCAI-01 Configuration WS, pp.18-24, 2001.

G. Fleischanderl, G. E. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, pp.59-68, 1998.

E. Freuder, C. Likitvivatanavong, and R. Wallace, Explanation and implication for configuration problems, Proc. IJCAI-01 Configuration WS, pp.31-37, 2001.

G. Friedrich and M. Stumptner, Consistency-based configuration, AAAI-99, Workshop on Configuration, 1999.

D. Magro and P. Torasso, Description and configuration of complex technical products in a virtual store, Proc. ECAI 2000 Configuration WS, pp.50-55, 2000.

D. Magro and P. Torasso, Supporting product configuration in a virtual store, LNAI, vol.2175, pp.176-188, 2001.

D. L. Mcguinness and J. R. Wright, An industrial-strength description logic-based configurator platform, IEEE Intelligent Systems, pp.69-77, 1998.

S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, Proc. of the AAAI 90, pp.25-32, 1990.

T. , J. Park, and A. Van-gelder, Partitioning methods for satisfiability testing on large formulas, pp.179-184, 2000.

D. Sabin and E. C. Freuder, Configuration as composite constraint satisfaction, Proc. Artificial Intelligence and Manufacturing. Research Planning Workshop, pp.153-161, 1996.

D. Sabin and R. Weigel, Product configuration frameworks-a survey, IEEE Intelligent Systems, pp.42-49, 1998.

T. Soininen, I. Niemelä, J. Tiihonen, and R. Sulonen, Unified configuration knowledge representation using weight constraint rules, Proc. ECAI 2000 Configuration WS, pp.79-84, 2000.

M. Veron and M. Aldanondo, Yet another approach to ccsp for configuration problem, Proc. ECAI 2000 Configuration WS, pp.59-62, 2000.
URL : https://hal.archives-ouvertes.fr/hal-01785274

V. Arlt, A. Günter, O. Hollmann, T. Wagner, and L. Hotz, Engconengineering & configuration, Proc. of AAAI-99 Workshop on Configuration, 1999.

S. Dart, Concepts in configuration management systems, Proc. of the 3rd. Intl. Workshop on Software Configuration Management, 1991.

J. Estublier, Software configuration management: a roadmap, ICSE-Future of SE Track, pp.279-289, 2000.

J. Estublier and R. Casallas, The Adele configuration manager', in Configuration Management, Walter Tichy, pp.99-133, 1994.

J. Estublier, J. M. Favre, and M. P. , Toward PDM / SCM: integration?, Proc. of the 8. Intl. Workshop on Software Configuration Management, vol.1439, pp.75-95, 1998.

K. Frühauf and A. Zeller, Software configuration management: State of the art, state of the practice, 9th International Symposium on System Configuration Management (SCM-9, 1999.

A. Günter and R. Cunis, Flexible control in expert systems for construction tasks, Journal Applied Intelligence, vol.2, issue.4, pp.369-385, 1992.

A. Günter and C. Kühn, Knowledge-based configuration-survey and future directions', in XPS-99: Knowledge Based Systems, Proceedings 5th Biannual German Conference on Knowledge Based Systems, vol.1570, 1999.

V. Haarslev and R. Möller, Consistency testing: The race experience, Proceedings TABLEAUX'2000, 2000.

A. Hein, M. Schlick, and R. Vinga-marting, Applying feature models in industrial settings', in Software product lines-Experience and research directions, pp.47-70, 2000.

C. Kühn, Modeling structure and behaviour for knowledge based software configuration, 14th Workshop, New Results in Planning, Scheduling and Design (PuK2000), 2000.

T. Männistö, Towards Management of Evolution in Product Configuration Data Models, 1998.

T. Männistö, T. Soininen, and R. Sulonen, Product configuration view to software product families, Software Configuration Workshop (SCM-19), 2001.

R. Möller, C. Schröder, and C. Lutz, Analyzing configuration systems with description logics: A case study, 1997.

J. Tiihonen, T. Lehtonen, T. Soininen, A. Pulkkinen, R. Sulonen et al., Modelling configurable product families, Proc. of the 4th WDK Workshop on Product Structuring, 1998.

A. Van-der-hoek, D. Heimbigner, and L. W. Wolf, Does configuration management research have a future?, Proceedings of the 5th Inter. Conf. on Software Configuration Management, 1995.

M. M. Andreasen, C. T. Hansen, and N. H. Mortensen, The structuring of products and product programmes, Proceedings of the 2 nd workshop on product structuring, 1996.

G. Booch, J. Rumbaugh, and I. Jacobsen, Re-engineering work: don't automate, obliterate, Harvard Business Review, vol.3, 1990.

L. Hvam, J. Riis, B. Hansen, L. Malis-m-;-hvam, . Riis et al., Conceptual modeling of product families in configuration projects, The 4 th Annual International Conference on Industrial Engineering Theory, vol.5, 1999.

R. Bergmann and W. Wilke, Towards a new formal model of transformational adaptation in case-based reasoning, Proceedings of the 13th European Conference on Artificial Intelligence, ECAI 98, pp.53-57, 1998.

C. Bessière, Arc-consistency in dynamic constraint satisfaction problems, Proceedings of the 10th AAAI, pp.221-226, 1991.

P. Cotter and B. Smyth, Personalisation technologies for the Digital TV World, 14 th European Conference on Artificial Intelligence, 2000.

R. Dechter and A. Dechter, Structure driven algorithms for truth maintenance, Artificial Intelligence Journal, vol.82, pp.1-20, 1996.

D. Dubois and H. Prade, Fuzzy Sets and Systems, 1996.

D. Dubois, H. Fargier, and H. Prade, Possibility theory in constraint satisfaction problems: Handling priority, preference and uncertainty, Applied Intelligence, issue.6, pp.287-309, 1996.

H. Fargier, Problèmes de satisfaction de contraintes flexiles, application à l'ordonnancement de production, IRIT, 1994.

E. Gelle, On the generation of locally consistent solution spaces inmixed dynamic contraint problems, 1998.

L. Geneste, M. Ruet, and T. Monteiro, Configuration of a machining operation, 14th European Conference on Artificial Intelligence, ECAI 2000, Configuration Workshop, 2000.

L. Geneste and M. Ruet, Experience based configuration, 17th International Conference on Artificial Intelligence, IJCAI'01, Configuration Workshop, 2001.

J. Kolodner, Case Based Reasoning, 1993.

C. Lottaz, Constraint solving, preference activation and solution adaptation in IDIOM, Artificial Intelligence Laboratory, 1996.

T. Monteiro, J. L. Perpen, and L. Geneste, Configuring a machining operation as a constraint satisfaction problem, CIMCA'99, pp.17-19, 1999.

N. Neagu and B. Faltings, Constraint satisfaction for case adaptation, Workshop on Case Adaptation of the International Conference on Case-based Reasoning, ICCBR'99, 1999.

N. Neagu and B. Faltings, Exploiting Interchangeability Algorithms over Discrete CSPs, 2001.

L. Purvis and P. Pu, An approach to case combination, Workshop on adaptation in case-based reasoning, ECAI, vol.96, 1996.

L. Purvis, Synergy and commonality in case-based and constraint based reasoning, Proceedings of the AAAI Spring Symposium on Multimodal Reasoning, 1998.

D. Sam, Constraint consistency techniques for continuous domains, 1995.

M. H. Sqalli, L. Purvis, and E. C. Freuder, Survey of applications integrating constraint satisfaction and case-based reasoning, The First International Conference and Exhibition on The Practical Application of Constraint Technologies and Logic Programming, vol.99, 1999.

M. H. Sqalli and E. C. Freuder, CBR support for CSP modeling of InterOperability testing, AAAI-98 Workshop on Case-Based Reasoning Integrations, pp.155-160, 1998.

R. Weigel, B. Faltings, and M. Torrens, Interchangeability for Case Adaptation in Configuration Problems, Workshop on Case-Based Reasoning Integrations (AAAI-98), 1998.

V. E. Barker, D. E. O'connor, J. D. Bachant, and E. Soloway, Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM, vol.32, issue.3, pp.298-318, 1989.

C. Bessì-ere, A. Maestre, and P. Meseguer, Distributed dynamic backtracking, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), p.772, 2001.

R. Dechter and A. Dechter, Belief Maintenance in Dynamic Constraint Networks, Proc. 7th National Conf. on Artificial Intelligence (AAAI), pp.37-42, 1988.

G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, Special Issue on Configuration, vol.13, pp.59-68, 1998.

A. Haselböck, Knowledge-based configuration and advanced constraint technologies, 1993.

W. Havens, Nogood caching for multiagent backtrack search, Proc. of 14th National Conf. on Artificial Intelligence (AAAI), Agents Workshop, 1997.

D. Mailharro, A classification and constraint-based framework for configuration', Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.12, issue.4, pp.383-397, 1998.

D. L. Mcguiness and J. R. Wright, Conceptual Modeling for Configuration: A Description Logic-based Approach, Artificial Intelligence for Engineering Design, vol.12, issue.4, pp.333-344, 1998.

S. Mittal and B. Falkenhainer, Dynamic Constraint Satisfaction Problems, Proc. of 8th National Conf. on Artificial Intelligence (AAAI), pp.25-32, 1990.

D. Sabin and E. C. Freuder, Configuration as Composite Constraint Satisfaction, Proc. of AAAI Fall Symposium on Configuration, 1996.

M. Silaghi, D. Sam-haroud, and B. Faltings, Asynchronous search with aggregations, Proc. of 17th National Conf. on Artificial Intelligence (AAAI), pp.917-922, 2000.

M. Silaghi, D. Sam-haroud, and B. Faltings, ABT with asynchronous reordering, Proc. of Intelligent Agent Technology (IAT), pp.54-63, 2001.

M. Silaghi, D. Sam-haroud, and B. V. Faltings, Maintaining hierarchically distributed consistency, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), pp.15-24, 2000.

M. Silaghi, D. Sam-haroud, and B. V. Faltings, Consistency maintenance for ABT, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), pp.271-285, 2001.

M. Stumptner, An overview of knowledge-based configuration, Communications, vol.10, issue.2, 1997.

M. Stumptner, G. Friedrich, and A. Haselböck, Generative constraintbased configuration, Artificial Intelligence for Engineering Design, vol.12, issue.4, pp.307-320, 1998.

E. Tsang, Foundations of Constraint Satisfaction, 1993.

M. Yokoo, E. H. Durfee, T. Ishida, and K. Kuwabara, Distributed constraint satisfaction for formalizing distributed problem solving, Proc. of 12th Int. Conf. on Distributed Computing Systems (ICDCS), pp.614-621, 1992.

S. Bechhofer, I. Horrocks, C. Goble, and R. Stevens, OilEd: A Reasonable Ontology Editor for the Semantic Web, Proceedings of Joint Austrian/German Conference on Artificial Intelligence (KI), pp.396-408, 2001.

R. Benjamins and D. Fensel, Special issue on problem-solving methods of the, International Journal of Human-Computer Studies, vol.49, issue.4, 1998.

T. Berners-lee, Weaving the Web, 2000.

B. Chandrasekaran, J. Josephson, and R. Benjamins, What Are Ontologies, and Why do we Need Them?, IEEE Intelligent Systems, vol.14, pp.20-26, 1999.

A. Felfernig, G. Friedrich, and D. Jannach, UML as domain specific language for the construction of knowledge-based configuration systems, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol.10, issue.4, pp.449-469, 2000.

A. Felfernig, G. Friedrich, D. Jannach, M. Stumptner, and M. Zanker, A Joint Foundation for Configuration in the Semantic Web, Proceedings of the Workshop on Configuration

D. Fensel, Y. Ding, B. Omelayenko, E. Schulten, G. Botquin et al., Product Data Integration in B2B ECommerce, IEEE Intelligent Systems, vol.16, issue.4, pp.54-59, 2001.

D. Fensel, F. Vanharmelen, I. Horrocks, D. Mcguinness, and P. F. Patelschneider, OIL: An Ontology Infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.38-45, 2001.

A. Gangemi, D. M. Pisanelli, and G. Steve, An Overview of the ONIONS Project: Applying Ontologies to the Integration of Medical Terminologies, Data and Knowledge Engineering, vol.31, issue.2, pp.183-220, 1999.

T. Gruber, A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, 1993.

J. Hendler, Agents and the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.30-37, 2001.

, ISO Standard 10303-1: Industrial automation systems and integration-Product data representation and exchange-Part 1: Overview and fundamental principles, 1994.

U. Junker, Preference-programming for Configuration, Proceedings of IJCAI, Configuration Workshop, 2001.

A. M. Keller and M. R. Genesereth, Multivendor Catalogs: Smart Catalogs and Virtual Catalogs, The Journal of Electronic Commerce, vol.9, issue.3, 1996.

D. L. Mcguinness, Ontologies and Online Commerce, IEEE Intelligent Systems, vol.16, issue.2, pp.9-10, 2001.

. Sh, T. C. Mcilraith, H. Son, and . Zeng, Mobilizing the Semantic Web with DAML-Enabled Web Services, Proceedings of the IJCAI 2001 Workshop on E-Business and the Intelligent Web, pp.29-39, 2001.

S. Mittal and F. Frayman, Towards a Generic Model of Configuration Tasks, Proceedings ¤ § ¦ International Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989.

T. Mnnist, A. Martio, and R. Sulonen, Modelling generic product structures in STEP, Computer-Aided Design, vol.30, pp.1111-1118, 1999.

E. Motta, D. Fensel, M. Gaspari, and V. R. Benjamins, Specifications of Knowledge Components for Reuse, Proceedings of ¤ © ¦ International Conference on Software Engineering and Knowledge Engineering, pp.36-43, 1999.

R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil et al., Enabling technology for knowledge sharing, AI Magazine, vol.12, pp.36-56, 1991.

G. R. Olsen, M. Cutkosky, J. M. Tenenbaum, and T. R. Gruber, Collaborative Engineering based on Knowledge Sharing Agreements, Proceedings of the ACME Database Symposium, pp.11-14, 1994.

B. J. Pineii, B. Victor, and A. C. Boynton, Making Mass Customization Work, Harvard Business Review, pp.109-119, 1993.

J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual, 1998.

S. S. Shim, V. S. Pendyala, M. Sundaram, and J. Z. Gao, E-Commerce Frameworks, IEEE Computer, pp.40-47, 2000.

T. Soininen, J. Tiihonen, T. Mnnist, and R. Sulonen, Towards a General Ontology of Configuration', AI Engineering Design Analysis and Manufacturing, Journal, Special Issue: Configuration Design, vol.12, issue.4, pp.357-372, 1998.

K. Sycara, M. Klusch, and S. Widoff, Dynamic Service Matchmaking among Agents in Open Information Environments, ACM SIGMOD Record, Special Issue on Semantic Interoperability in Global Information Systems, 1999.

A. Artale, E. Franconi, N. Guarino, and L. Pazzi, Part-Whole Relations in Object-Centered Systems: An Overview, Data & Knowledge Engineering, vol.20, issue.3, pp.347-383, 1996.

F. Baader and U. Sattler, Description Logics with Concrete Domains and Aggregation, Proceedings of the © European Conference on

, Artificial Intelligence (ECAI '98), pp.336-340, 1998.

V. E. Barker, D. E. O'connor, J. D. Bachant, and E. Soloway, Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM, vol.32, issue.3, pp.298-318, 1989.

T. Berners-lee, Weaving the Web, 2000.

A. Borgida, On the relative expressive power of description logics and predicate calculus, Artificial Intelligence, vol.82, pp.353-367, 1996.

J. Cai, M. Furer, and N. Immerman, An optimal lower bound on the number of variables for graph identification, Proceedings of © IEEE Symposium on FOCS, pp.612-617, 1989.

A. Felfernig, G. Friedrich, and D. Jannach, UML as domain specific language for the construction of knowledge-based configuration systems, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol.10, issue.4, pp.449-469, 2000.

A. Felfernig, G. Friedrich, D. Jannach, and M. Stumptner, ConsistencyBased Diagnosis of Configuration Knowledge Bases, Proceedings of the European Conference on Artificial Intelligence (ECAI 2000), pp.146-150, 2000.

D. Fensel, F. Vanharmelen, I. Horrocks, D. Mcguinness, and P. F. Patelschneider, OIL: An Ontology Infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.38-45, 2001.

G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner, Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998.

T. Gruber, R. Olsen, and J. Runkel, The configuration design ontologies and the VT elevator domain theory, International Journal of HumanComputer Studies, vol.44, issue.3/4, pp.569-598, 1996.

E. W. Jüngst and M. Heinrich, A resource-based paradigm for the configuring of technical systems from modular components, Proceedings of the ! IEEE Conference on AI applciations (CAIA), pp.257-264, 1991.

D. Mailharro, A classification and constraint-based framework for configuration, Special Issue: Configuration Design, vol.12, issue.4, pp.383-397, 1998.

S. Mittal and B. Falkenhainer, Dynamic Constraint Satisfaction Problems, Proceedings of the National Conference on Artificial Intelligence (AAAI 90), pp.25-32, 1990.

S. Mittal and F. Frayman, Towards a Generic Model of Configuration Tasks, Proceedings U International Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989.

U. Sattler, Description Logics for the Representation of Aggregated Objects, Proceedings of the European Conference on Artificial Intelligence (ECAI 2000), pp.239-243, 2000.

T. Soininen, J. Tiihonen, T. Männistö, and R. Sulonen, Towards a General Ontology of Configuration, AI Engineering Design Analysis and Manufacturing Journal, Special Issue: Configuration Design, vol.12, issue.4, pp.357-372, 1998.

F. Vanharmelen, P. F. Patel-schneider, and I. Horrocks, A ModelTheoretic Semantics for DAML+OIL, 2001.

J. R. Wright, E. Weixelbaum, G. T. Vesonder, K. E. Brown, S. R. Palmer et al., A Knowledge-Based Configurator that supports Sales, Engineering, and Manufacturing at AT&T Network Systems. AI Magazine, Proc. Workshop on Conceptual Graph Tools, International Conference on Conceptual Structures, vol.14, pp.69-80, 1993.

B. Carpenter, The Logic of Typed Feature Structures. Cambridge, 1992.

T. Chang and R. F. Woodbury, Sufficiency of the SEED Knowledge-Level Representation for Grammatical Design, Proc. Australian New Zealand Conference on Intelligent Information Systems, 1996.

M. Chein and M. Mugnier, Conceptual Graphs: Fundamental Notions, Revue d'Intelligence Artificielle, vol.6, issue.4, pp.365-406, 1992.

D. R. Corbett, Conceptual Graphs with Constrained Reasoning, Intelligence Artificielle, vol.15, issue.1, pp.87-116, 2001.

D. R. Corbett and A. L. Burrow, Knowledge Reuse in SEED Exploiting Conceptual Graphs, Proc. Supplemental Proceedings of the Fourth International Conference on Conceptual Structures, 1996.

D. R. Corbett and R. F. Woodbury, Unification over Constraints in Conceptual Graphs, Proc. Seventh International Conference on Conceptual Structures, 1999.

U. Flemming and R. F. Woodbury, Software Environment to Support Early Phases in Building Design (SEED) Overview, Architectural Engineering, vol.1, issue.1, 1995.

J. A. Heisserman, Generative Geometric Design and Boundary Solid Grammars, 1991.

J. A. Heisserman, Generative Geometric Design, IEEE Computer Graphics and Applications, vol.14, issue.2, pp.37-45, 1995.

M. Leclère, Reasoning with Type Definitions, Proc. Fifth International Conference on Conceptual Structures, 1997.

M. Mugnier and M. Chein, Représenter des Connaissances et Raisonner avec des Graphes, Revue d'Intelligence Artificielle, vol.10, issue.6, pp.7-56, 1996.

T. Müller, Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving, 1997.

J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine, 1984.

M. Wermelinger and J. G. Lopes, Basic Conceptual Structures Theory, Proc. Second International Conference on Conceptual Structures, 1994.

M. Willems, Projection and Unification for Conceptual Graphs, Proc. Third International Conference on Conceptual Structures, 1995.

R. Woodbury, S. Datta, and A. L. Burrow, Erasure in Design Space Exploration, Proc. Artificial Intelligence in Design, 2000.

R. F. Woodbury, A. L. Burrow, S. Datta, and T. W. Chang, Typed Feature Structures in Design Space Exploration, Journal of Artificial Intelligence in Engineering, Design and Manufacturing, vol.13, issue.4, pp.287-302, 1999.

F. Bacchus and A. Grove, Graphical Models for Preference and Utility, Proc. of UAI-95, pp.3-10, 1995.

S. Bistarelli, H. Fargier, U. Montanari, F. Rossi, T. Schiex et al., Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison, Constraints, vol.4, issue.3, pp.275-316, 1999.

C. Boutilier, R. Brafman, C. Geib, and D. Poole, A Constraint-Based Approach to Preference Elicitation and Decision Making, AAAI Spring Symposium on Qualitative Decision Theory, 1997.

C. Boutilier, R. Brafman, H. Hoos, and D. Poole, Reasoning with Conditional Ceteris Paribus Preference Statements, Proc. of UAI-99, pp.71-80, 1999.

R. Brafman and C. Domshlak, Introducing Variable Importance Tradeoffs into CP-Nets, Proc. of UAI-02, 2002.

C. Domshlak and R. Brafman, CP-nets-Reasoning and Consistency Testing, Proc. of KR-02, 2002.

C. Domshlak, R. Brafman, and S. E. Shimony, Preference-based Configuration of Web Page Content, Proc. of IJCAI-01, pp.1451-1456, 2001.

C. Domshlak and S. E. Shimony, Predicting Likely Components in CPnet based Multimedia Systems, 2001.

E. Freuder, C. Likitvivatanavong, and R. Wallace, Explanation and Implication for Configuration Problems, Proceedings of 4th Workshop on Configuration (IJCAI-01), pp.31-37, 2001.

E. Freuder and B. O'sullivan, Modeling and Generating Tradeoffs for Constraint-Based Configuration, Workshop on Configuration (IJCAI-01), 2001.

A. Haag, Sales Configuration in Business Processes, IEEE Intelligent Systems and their Appl, vol.13, issue.4, pp.78-85, 1998.

G. James, Challenges for Spoken Dialogue Systems, Proceedings of the IEEE ASRU Workshop, 1999.

U. Junker, A Cumulative-Model Semantics for Dynamic Preferences on Assumptions, Proc. of IJCAI-97, pp.162-167, 1997.

U. Junker, Preference-based Search for Scheduling, Proceedings of Seventeenth National Conference on Artificial Intelligence, pp.904-909, 2000.

U. Junker, Preference Programming for Configuration, Workshop on Configuration (IJCAI-01), pp.50-56, 2001.

S. Mittal and B. Falkenhainer, Dynamic Constraint Satisfaction Problem, Proceedings of the Eighth National Conference on Artificial Intelligence, pp.25-32, 1990.

P. , L. Mura, and Y. Shoham, Expected Utility Networks, Proc. of UAI-99, 1999.

J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988.

D. Sabin and R. Weigel, Product Conguration Frameworks-A Survey, IEEE Intelligent Systems and their Appl, vol.13, issue.4, pp.42-49, 1998.

T. Soininen and E. M. Gelle, Dynamic Constraint Satisfaction in Conguration, Proceedings of AAAI Workshop on Conguration, 1999.

T. Soininen and I. Niemelä, Formalizing Configuration Knowledge Using Rules with Choices, Int. Workshop on Nonmonotonic Reasoning, 1998.

E. Tsang, Foundations of Constraint Satisfaction, 1993.

M. Veron and A. , Yet Another Approach to CCSP for Configuration Problem, Proceedings of 3rd Workshop on Configuration (ECAI-00), 2000.
URL : https://hal.archives-ouvertes.fr/hal-01785274

L. F. Alvarez, V. V. Toporov, D. C. Hughes, and A. F. Ashour, Approximation model building using genetic programming methodology : applications, 2nd ISSMO/AIAA Internet Conference on Approximations and Fast Reanalysis in engineering optimization, 2000.

M. Aupetit, P. Couturier, and P. Massotte, Function approximation with continuous self-organizing maps using neighboring influence interpolation, Neural Computation B, 2000.

J. Frohlich and C. Hafner, Extended and generalized genetic programming for function analysis

A. A. Giunta, Aircraft multidisciplinary design optimization using design of experiments theory and response surface modelling methods, 1997.

A. A. Giunta and L. T. Watson, A comparison of approximation modeling techniques : polynomial versus interpolating models, 7th Symposium on multidiscplinary Analysis and Optimization

A. Issmo, , 1998.

P. V. Hentenryck, D. Mcallester, and D. Kapur, Solving Polynomial Systems using a Branch and Prune Approach, SIAM J. Numerical Analysis, vol.34, pp.797-827, 1997.

B. Kosko, Fuzzy systems as universal approximators, IEEE transactions on computers, vol.43, issue.11, pp.1329-1333, 1994.

A. Limaiem and H. A. Elmaraghy, Curve and surface modelling with uncertainties using dual Kriging, Journal of Mechanical Design, vol.121, pp.249-255, 1999.

D. Lisin and M. A. Gennert, Optimal function approximation using fuzzy rules, International Conference of the North American Fuzzy Information Processing Socier, 1999.

C. G. Looney, Radial basis functional link nets as learning fuzzy systems', Cs479, 1996.

P. G. Maghami and D. W. Sparks, Design of neural networks for fast convergence and accuracy, 39th Conference on Structures, Structural Dynamics and Materials, 1998.

V. Maiorov and A. Pinkus, Lower bounds for approximation by MLP neural networks, Neurocomputing, vol.25, pp.81-91, 1999.

S. Mitaim and B. Kosko, What is the best shape for a fuzzy set in function approximation, 5th IEEE International Conference on Fuzzy Systemes, 1996.

T. W. Simpson, J. J. Korte, T. M. Mauery, and F. Mistree, Comparison of response surface and kriging models for multidisciplinary design optimization, 7th Symposium on multidiscplinary Analysis and Optimization. AIAA/NASA/UASF/ISSMO, 1998.

T. W. Simpson, J. Peplinski, P. N. Koch, and J. K. Allen, On the use of statistics in design and the implications for deterministic computer experiments, ASME Design Engineering Technical Conference, 1997.

J. Sobieszczanski-sobieski and R. T. Haftka, Multidisciplinary aerospace design optimization ; survey of recent developments, 34th Aerospace Sciences Meeting and Exhibit, 1996.

P. Souvay, Les plans d'expérience : méthode Taguchi, AFNOR, 1995.

D. W. Sparks and P. G. Maghami, Neural networks for rapid design and analysis, 39th Conference on Structures, Structural Dynamics and Materials, 1998.

R. Unal, R. A. Lepsch, and M. L. Mcmillin, Response surface model building and multidisciplinary optimization using D-optimal design, 7th Symposium on multidiscplinary Analysis and Optimization

A. Issmo, , 1998.

V. Vysniauskas, C. A. Groen, and B. J. Krose, The optimal number of learning samples and hidden units in function approximation with a feedforward network, 1993.

M. Winter, G. Metta, and G. Sandini, Neural-gas for function approximation : a heuristic for minimizing the local estimation error, IEEE, vol.4, issue.4, 2000.

, <=-3-3$-"-3* 8 ?@?9, p.33

/. , +. , and &. ++-(+&amp;-&amp;-&apos;-&apos;,

, 33 <= " *-<=.-8 @,&9 "!33, vol.8, pp.9-33

&. , %@> ) (; > " +++'+ 8 9, vol.6, p.33

. +9-&quot;-e-!-&amp;-&apos;-!-%, , vol.3

&. =o-&quot;-$-!-&amp;)*-+ and %. , , vol.8

&. %%a, , vol.9

!. 3o, $ ( / . 0 .123 +''" 8 '9

J. I#-o-!(-#!, A*?A+; %%B> " 8 +9

, Customizing the Interaction with the User in On-Line Configuration Systems

L. Ardissono, A. Felfernig, G. Friedrich, A. Goy, D. Jannach et al., Personalising on-line configuration of products and services, Proc. 15th, vol.2

. Conf and . Ecai, , 2002.

L. Ardissono, A. Felfernig, G. Friedrich, A. Goy, D. Jannach et al., Web-based commerce of complex products and services with multiple suppliers

L. Ardissono, A. Felfernig, G. Friedrich, D. Jannach, R. Schaefer et al., A framework for rapid development of advanced web-based configurator, Proc. 15th Conf. ECAI, to appear, 2002.

L. Ardissono and A. Goy, Tailoring the interaction with users in Web stores, User Modeling and User-Adapted Interaction, vol.10, issue.4, pp.251-303, 2000.

L. Ardissono, A. Goy, G. Petrone, and M. Segnan, Personalization in business-to-consumer interaction, Communications of the ACM, Special Issue, vol.45, issue.5, pp.52-53, 2002.

, BroadVision. Broadvision

A. Felfernig, G. Friedrich, and D. Jannach, UML as domain specific language for the construction of knowledge-based configuration systems, Int. Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol.10, issue.4, pp.449-469, 2000.

F. , , 2001.

I. Jconfigurator, , 2002.

, Net Perceptions Inc. Net perceptions

A. Jameson, Knowing What Others Know: Studies in Intuitive Psychometrics, 1990.

U. Junker, Preference-programming for configuration, IJCAI Configuration Workshop, pp.50-56, 2001.

A. Kobsa, J. Koenemann, and W. Pohl, Personalized hypermedia presentation techniques for improving online customer relationships, The Knowledge Engineering Review, vol.16, issue.2, pp.111-155, 2001.

D. Mailharro, A classification and constraint-based framework for configuration, AI in Engineering, Design and Manucturing, vol.12, pp.383-397, 1998.

J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988.

P. Resnick and H. R. Varian, Special Issue on Recommender Systems, vol.40, 1997.

E. Rich, Stereotypes and user modeling, User Models in Dialog Systems, pp.35-51, 1989.
DOI : 10.1007/978-3-642-83230-7_2

, Special Issue on Personalization, Communications of the ACM, vol.43, 2000.

R. Schäfer, Rules for using multi-attribute utility theory for estimating a user's interests, Proc. 9. GI-Workshops: ABIS-Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen, 2001.

D. Winterfeldt and W. Edwards, Decision Analysis and Behavioral Research, 1986.

, Stiftung Warentest. Digitalkameras: Pixeljagd. test, issue.6, 2000.

G. Group, Supercharge the Sales Effort: Sales Application for Large Enterprise, Strategic Report Analysis, 2001.

M. Aldanondo, S. Rougé, and M. Veron, Expert Configurator for Concurrent Engineering: Cameleon Software and Model, Special Issue:ProductionSystemsDesignandControl,JournalofIntelligent Manufacturing, vol.11, pp.127-134, 2000.

H. A. Bashirandv and . Thomson, Aquantitativeestimationmethodology for design project, IEPM 1999 conference, vol.2, p.1999

A. T. Bahill and W. L. Chapman, Case studies in system design. Workshoponsystemengineeringandcomputerbasedsystem, pp.43-50, 1995.
DOI : 10.1109/ecbs.1995.521839

M. Aldanondo, M. , G. Moynard, and K. Hadj-hamou, General configurator requirements and modeling elements, ECAI Workshop onConfiguration, pp.1-6, 2000.

A. Felfering, G. Friedrich, and D. Jannach, UML as domain specific language for the construction of knowledge base configuration system, pp.337-345, 1999.

A. Felfering, G. Friedrich, J. Dietmar, and M. Stumptner, Exploiting structural abstraction for consistency based diagnosis of large configurator knowledge bases, pp.23-28, 2000.

M. Sabin, M. , and E. C. Freuder, Detecting and resolving inconsistenciyandredundancyinconditionalconstraintsatisfaction problems, pp.90-94, 1999.

S. Mittal and B. Falkenhainer, Dynamic Constraint Satisfaction Problems, 9th National Conference on Artificial Intelligence AAAI, pp.25-32, 1990.

N. H. Mortensen, B. Yu, H. S. Skovgaardandu, and . Harlou, Conceputal modeling of product families in configuration projects, ECAI WorkshoponConfiguration, pp.68-73, 2000.

D. Sabin and E. C. Freuder, Configuration as Composite Constraint Satisfaction, Proceedings of the Artificial Intelligent and Manufacturing Research Planning Workshop, pp.153-169, 1996.

M. Véron and M. Aldanondo, Yet another approach to CCSP for configuration problem, ECAI Workshop on Configuration, pp.59-62, 2000.