User-interaction Requirements and its implications for efficient implementations of interactive constraint satisfaction systems, Workshop Proceedings on User-Interaction in Constraint Satisfaction, International Conference on Constraint Programming and Logic Programming (ICLP'01), pp.31-41, 2001. ,
A configuration tool to increase product competitiveness, IEEE Intelligent Systems and Their Applications, 1998. ,
Towards a generic model of configuration tasks, Proceeding of the 11th International Joint Conference on Artificial Intelligence (IJCAI), pp.1395-1401, 1989. ,
Product configuration frameworks-a survey, IEEE Intelligent Systems and Their Applications, 1998. ,
Signal Processing Apparatus and Method. Patent WO 90/9001 ,
Design and use of software architectures-adopting and evolving a product-line approsch, 2000. ,
Modelling configurable products and software product families, IJCAI'01 Workshop on configuration, 2001. ,
A rule-based formal model for software configuration, 2000. ,
Product configuration Frameworks-A survey, IEEE intelligent systems & their applications, vol.13, pp.42-49, 1998. ,
Towards a General Ontology of Configuration, AI EDAM, vol.12, pp.357-372, 1998. ,
No silver bullet-Essence and accident in software development, IFIP, 1986. ,
Software configuration management: A roadmap, Proceedings of 22nd International Conference on Software Engineering (ICSE00), 2000. ,
Version spaces and rule-based configuration management, IJCAI'01 Workshop on configuration, 2001. ,
Linux as a case study: Its extracted software architecture, Proceedings of ICSE'99, 1999. ,
Empirical testing of a weight constraint rule based configurator, Proceedings of the ECAI Workshop W02 on Configuration, 2002. ,
Optimizing Configurations, Proceedings of the ECAI Workshop W02 on Configuration, 2000. ,
Representing Configuration Knowledge With Weight Constraint Rules, Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, 2001. ,
The Koala Component Model for Consumer Electronics Software, IEEE Computer, vol.33, pp.78-85, 2000. ,
, Generative Programming, 2000.
A classification and comparison framework for software architecture description languages, IEEE Transactions on software engineering, vol.26, pp.70-93, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00444077
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. ,
Adopting STEP for in-service configuration control, Computers in Industry, vol.31, pp.235-253, 1996. ,
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. ,
Analysis of assembly through product configuration, Computers in Industry, vol.44, pp.189-203, 2001. ,
Special issue on configuration, IEEE Intelligent Systems, vol.13, issue.4, pp.29-85, 1998. ,
Conceptual modeling for configuration of mass-customizable products, Artificial Intelligence in Engineering, vol.15, pp.165-176, 2001. ,
Extracting ontological concepts for tendering conceptual structures, Data & Knowledge Engineering, vol.40, pp.71-89, 2002. ,
Modelling generic product structures in STEP, Computer-Aided Design, vol.30, issue.14, pp.1111-1118, 1998. ,
Multiple abstraction levels in modelling product structures, Data & Knowledge Engineering, vol.36, pp.55-78, 2001. ,
Product configuration frameworks-a survey, IEEE Intelligent Systems, vol.13, issue.4, pp.42-49, 1998. ,
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. ,
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. ,
Representing Configuration Knowledge With Weight Constraint Rules, Proc. of the AAAI Spring 2001 Symposium on Answer Set Programming, 2001. ,
Dynamic Constraint Satisfaction Problems, Proc. of the 8th National Conf. on AI (AAAI-90), pp.25-32, 1990. ,
Including Diagnostic Information in Configuration Models, Proc. of the First International Conference on Computational Logic, vol.1861, 2000. ,
Mechanising Shared Configuration and Diagnosis Theories Through Constraint Logic Programming, Journal of Logic Programming, vol.37, pp.255-283, 1998. ,
Generative constraint-based configuration of large technical systems, AI EDAM, vol.12, pp.307-320, 1998. ,
An Industrial-strength Description Logic-Based Configurator Platform, IEEE Intelligent Systems & Their Applications, vol.13, pp.69-77, 1998. ,
A classification and constraint-based framework for Configuration, AI EDAM, vol.12, 1998. ,
Consistency in Networks of Relations, Artificial Intelligence, vol.8, pp.99-118, 1977. ,
A Fixpoint Definition of Dynamic Constraint Satisfaction, Principles and Practice of Constraint Programming-CP'99, vol.1713, pp.419-433, 1999. ,
Towards a General Ontology of Configuration, AI EDAM, vol.12, pp.357-372, 1998. ,
Extending and implementing the stable model semantics. To appear in Artificial Intelligence, Special Issue of Knowledge Representation and Logic Programming ,
Tractable cover compilations, Proc. of the 15th Intl. Joint Conf. on Artificial Intelligence (IJCAI'97), pp.122-127, 1997. ,
A survey on knowledge compilation, AI Communications, vol.10, issue.3-4, pp.137-150, 1997. ,
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. ,
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. ,
Consistency-based diagnosis of configuration knowledge bases, Proc. of the 14th European Conf. on Artificial Intelligence (ECAI 2000), pp.146-150, 2000. ,
, , 1993.
Proving consistency assertions for automotive product data management, J. Automated Reasoning, vol.24, issue.1-2, pp.145-163, 2000. ,
Knowledge compilation using theory prime implicates, Proc. of the 14th Intl. Joint Conf. on Artificial Intelligence (IJCAI'95), pp.837-845, 1995. ,
Consequence finding algorithms', in Handbook of Defeasable Reasoning and Uncertainty Management Systems, D.M. Gabbay and Ph. Smets, vol.5, pp.41-145, 2000. ,
Conceptual modelling for configuration: A description logic-based approach, vol.12, pp.333-344, 1998. ,
Towards a generic model of configuration tasks, Proc. of the 11th Intl. Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989. ,
Resolution versus search: Two strategies for SAT, J. Automated Reasoning, vol.24, issue.1-2, pp.225-275, 2000. ,
Knowledge compilation and theory approximation, JACM, vol.43, issue.2, pp.193-224, 1994. ,
Efficient consequence finding, Proc. of the 17th Intl. Joint Conf. on Artificial Intelligence (IJCAI'01), pp.359-365, 2001. ,
Generalized consensus theory and application to the minimization of boolean functions, IEEE Transactions on Electronic Computers, EC, vol.16, issue.4, 1967. ,
Mass Customization, The New Frontier in Business Competition, 1993. ,
Enhanced Product Structuring and Evaluation of Product Properties for Mass Customization ,
, MCP'01, World Congress on Mass Customization and Personalization, 2001.
, Produktdatenmanagement in der Fertigungsindustrie, 1999.
Algorithm and Tool for Automated Ontology Merging and Alignment, Seventeenth National Conference on Artificial Intelligence (AAAI-2000), 2000. ,
Knowledge-Based Configuration-Survey and Future Trends, F. Puppe, Expertensysteme '99, Lecture Notes, 1999. ,
, Integrierte Produktentwicklung, Hanser, Muncih, 1995.
Method Implementation in Integrated Product Development, Dr. Hut, 2000. ,
Methoden und Werkzeuge für die integrierte Produktentwicklung, 1997. ,
, Theorem proving with structured theories, 17th Intl' Joint Conference on Artificial Intelligence (IJCAI'01), 2001.
, Efficient Approximation for Triangulation of Minimum Treewidth, 17th Conference on Uncertainty in Artificial Intelligence (UAI '01), 2001.
A Sufficiently Fast Algorithm for Finding Close to Optimal Junction Trees, Proceedings of the 12th Annual Conference on Uncertainty in Artificial Intelligence, 1996. ,
A linear time algorithm for finding treedecompositions of small treewidth, 1992. ,
Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams, In ACM Computing Surveys, vol.24, 1992. ,
Probabilistic Networks and Expert Systems, 1999. ,
Compiling knowledge into decomposable negation normal form, Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), 1999. ,
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. ,
Handling interactivity in a constraint based approach of configuration ECAI, 2000. ,
Inference in belief networks: A procedural guide, International Journal of Approximate Reasoning, vol.15, issue.3, pp.225-263, 1996. ,
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. ,
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
, A Perspective in Knowledge Compilation In IJCAI-01, 2000.
Knowledge Compilation Using Theory Prime Implicates, IJCAI, 1995. ,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference Morgan Kaufmann, 1988. ,
L'achèvement des bases de connaissance en calcul propositionnel et en calcul des prédicats, 1997. ,
Compilation for critically constrained Knowledge Bases. submitted to the, Journal of Artificial Intelligence Research, 1996. ,
, CSP to configuration problems AAAI-99 Workshop on Configuration, 1999.
SAT-Based Consistency Checking of Automotive Electronic Product Data, Presented at the ECAI 2000 Configuration Workshop, 2000. ,
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking, Proceedings of the 14th International FLAIRS Conference, 2001. ,
Automotive Product Documentation, Proceedings of the 14th International IEA/AIE Conference, 2001. ,
Tree Clustering for Constraint Networks, Artificial Intelligence, pp.353-356, 1989. ,
The Theory of Domains, Proceedings of Workshop on Understanding Function and Function-to-Form Evolution, 1992. ,
Frames, quantification, perspectives and negotiation in constraint networks in life-cycle engineering, Artificial Intelligence in Engineering, vol.7, pp.199-226, 1992. ,
Guest editorial: Representing functionality in design, Artificial Intelligence for Engineering Design and Manufacture, vol.10, issue.4, pp.251-253, 1996. ,
Consistency-based diagnosis of configuration knowledgebases, Proceedings of the 14h European Conference on Artificial Intelligence (ECAI'2000), pp.146-150, 2000. ,
A case study in explanation and implication, CP2000 Workshop on Analysis and Visualization of Constraint Programs and Solvers, 2000. ,
Generating tradeoffs for interative constraint-based configuration, Proceedings of the Seventh International Conference on Principles and Practice of Constraint Programming-CP-2001, 2001. ,
Constraint-Aided Conceptual Design, 1999. ,
Conflict detection for arbitrary constraint propagation algorithms, IJCA'01 workshop on Modelling and Solving Problems with Constraints, pp.81-88, 2001. ,
Dynamic constraint satisfaction problems, Proceedings of AAAI-90, pp.25-32, 1990. ,
, Foundations of Constraint Satisfaction, 1993.
An approach to dealing with non-standard constraint satisfaction problems, 2000. ,
Distributed configuring, Proc. IJCAI-01 Configuration WS, pp.18-24, 2001. ,
Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, pp.59-68, 1998. ,
Explanation and implication for configuration problems, Proc. IJCAI-01 Configuration WS, pp.31-37, 2001. ,
Consistency-based configuration, AAAI-99, Workshop on Configuration, 1999. ,
Description and configuration of complex technical products in a virtual store, Proc. ECAI 2000 Configuration WS, pp.50-55, 2000. ,
Supporting product configuration in a virtual store, LNAI, vol.2175, pp.176-188, 2001. ,
An industrial-strength description logic-based configurator platform, IEEE Intelligent Systems, pp.69-77, 1998. ,
Dynamic constraint satisfaction problems, Proc. of the AAAI 90, pp.25-32, 1990. ,
Partitioning methods for satisfiability testing on large formulas, pp.179-184, 2000. ,
Configuration as composite constraint satisfaction, Proc. Artificial Intelligence and Manufacturing. Research Planning Workshop, pp.153-161, 1996. ,
Product configuration frameworks-a survey, IEEE Intelligent Systems, pp.42-49, 1998. ,
Unified configuration knowledge representation using weight constraint rules, Proc. ECAI 2000 Configuration WS, pp.79-84, 2000. ,
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
Engconengineering & configuration, Proc. of AAAI-99 Workshop on Configuration, 1999. ,
Concepts in configuration management systems, Proc. of the 3rd. Intl. Workshop on Software Configuration Management, 1991. ,
Software configuration management: a roadmap, ICSE-Future of SE Track, pp.279-289, 2000. ,
The Adele configuration manager', in Configuration Management, Walter Tichy, pp.99-133, 1994. ,
Toward PDM / SCM: integration?, Proc. of the 8. Intl. Workshop on Software Configuration Management, vol.1439, pp.75-95, 1998. ,
Software configuration management: State of the art, state of the practice, 9th International Symposium on System Configuration Management (SCM-9, 1999. ,
Flexible control in expert systems for construction tasks, Journal Applied Intelligence, vol.2, issue.4, pp.369-385, 1992. ,
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. ,
Consistency testing: The race experience, Proceedings TABLEAUX'2000, 2000. ,
Applying feature models in industrial settings', in Software product lines-Experience and research directions, pp.47-70, 2000. ,
Modeling structure and behaviour for knowledge based software configuration, 14th Workshop, New Results in Planning, Scheduling and Design (PuK2000), 2000. ,
Towards Management of Evolution in Product Configuration Data Models, 1998. ,
Product configuration view to software product families, Software Configuration Workshop (SCM-19), 2001. ,
Analyzing configuration systems with description logics: A case study, 1997. ,
Modelling configurable product families, Proc. of the 4th WDK Workshop on Product Structuring, 1998. ,
Does configuration management research have a future?, Proceedings of the 5th Inter. Conf. on Software Configuration Management, 1995. ,
The structuring of products and product programmes, Proceedings of the 2 nd workshop on product structuring, 1996. ,
Re-engineering work: don't automate, obliterate, Harvard Business Review, vol.3, 1990. ,
Conceptual modeling of product families in configuration projects, The 4 th Annual International Conference on Industrial Engineering Theory, vol.5, 1999. ,
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. ,
Arc-consistency in dynamic constraint satisfaction problems, Proceedings of the 10th AAAI, pp.221-226, 1991. ,
, Personalisation technologies for the Digital TV World, 14 th European Conference on Artificial Intelligence, 2000.
Structure driven algorithms for truth maintenance, Artificial Intelligence Journal, vol.82, pp.1-20, 1996. ,
Fuzzy Sets and Systems, 1996. ,
Possibility theory in constraint satisfaction problems: Handling priority, preference and uncertainty, Applied Intelligence, issue.6, pp.287-309, 1996. ,
Problèmes de satisfaction de contraintes flexiles, application à l'ordonnancement de production, IRIT, 1994. ,
On the generation of locally consistent solution spaces inmixed dynamic contraint problems, 1998. ,
Configuration of a machining operation, 14th European Conference on Artificial Intelligence, ECAI 2000, Configuration Workshop, 2000. ,
Experience based configuration, 17th International Conference on Artificial Intelligence, IJCAI'01, Configuration Workshop, 2001. ,
Case Based Reasoning, 1993. ,
Constraint solving, preference activation and solution adaptation in IDIOM, Artificial Intelligence Laboratory, 1996. ,
Configuring a machining operation as a constraint satisfaction problem, CIMCA'99, pp.17-19, 1999. ,
Constraint satisfaction for case adaptation, Workshop on Case Adaptation of the International Conference on Case-based Reasoning, ICCBR'99, 1999. ,
Exploiting Interchangeability Algorithms over Discrete CSPs, 2001. ,
An approach to case combination, Workshop on adaptation in case-based reasoning, ECAI, vol.96, 1996. ,
Synergy and commonality in case-based and constraint based reasoning, Proceedings of the AAAI Spring Symposium on Multimodal Reasoning, 1998. ,
Constraint consistency techniques for continuous domains, 1995. ,
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. ,
, CBR support for CSP modeling of InterOperability testing, AAAI-98 Workshop on Case-Based Reasoning Integrations, pp.155-160, 1998.
Interchangeability for Case Adaptation in Configuration Problems, Workshop on Case-Based Reasoning Integrations (AAAI-98), 1998. ,
Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM, vol.32, issue.3, pp.298-318, 1989. ,
Distributed dynamic backtracking, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), p.772, 2001. ,
Belief Maintenance in Dynamic Constraint Networks, Proc. 7th National Conf. on Artificial Intelligence (AAAI), pp.37-42, 1988. ,
Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, Special Issue on Configuration, vol.13, pp.59-68, 1998. ,
Knowledge-based configuration and advanced constraint technologies, 1993. ,
Nogood caching for multiagent backtrack search, Proc. of 14th National Conf. on Artificial Intelligence (AAAI), Agents Workshop, 1997. ,
A classification and constraint-based framework for configuration', Artificial Intelligence for Engineering Design, Analysis and Manufacturing, vol.12, issue.4, pp.383-397, 1998. ,
Conceptual Modeling for Configuration: A Description Logic-based Approach, Artificial Intelligence for Engineering Design, vol.12, issue.4, pp.333-344, 1998. ,
Dynamic Constraint Satisfaction Problems, Proc. of 8th National Conf. on Artificial Intelligence (AAAI), pp.25-32, 1990. ,
Configuration as Composite Constraint Satisfaction, Proc. of AAAI Fall Symposium on Configuration, 1996. ,
Asynchronous search with aggregations, Proc. of 17th National Conf. on Artificial Intelligence (AAAI), pp.917-922, 2000. ,
ABT with asynchronous reordering, Proc. of Intelligent Agent Technology (IAT), pp.54-63, 2001. ,
Maintaining hierarchically distributed consistency, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), pp.15-24, 2000. ,
Consistency maintenance for ABT, Proc. of 7th Int. Conf. on Principles and Practice of Constraint Programming (CP), pp.271-285, 2001. ,
An overview of knowledge-based configuration, Communications, vol.10, issue.2, 1997. ,
Generative constraintbased configuration, Artificial Intelligence for Engineering Design, vol.12, issue.4, pp.307-320, 1998. ,
, Foundations of Constraint Satisfaction, 1993.
Distributed constraint satisfaction for formalizing distributed problem solving, Proc. of 12th Int. Conf. on Distributed Computing Systems (ICDCS), pp.614-621, 1992. ,
OilEd: A Reasonable Ontology Editor for the Semantic Web, Proceedings of Joint Austrian/German Conference on Artificial Intelligence (KI), pp.396-408, 2001. ,
Special issue on problem-solving methods of the, International Journal of Human-Computer Studies, vol.49, issue.4, 1998. ,
Weaving the Web, 2000. ,
What Are Ontologies, and Why do we Need Them?, IEEE Intelligent Systems, vol.14, pp.20-26, 1999. ,
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 Joint Foundation for Configuration in the Semantic Web, Proceedings of the Workshop on Configuration ,
Product Data Integration in B2B ECommerce, IEEE Intelligent Systems, vol.16, issue.4, pp.54-59, 2001. ,
OIL: An Ontology Infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.38-45, 2001. ,
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. ,
A translation approach to portable ontology specifications, Knowledge Acquisition, vol.5, 1993. ,
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.
Preference-programming for Configuration, Proceedings of IJCAI, Configuration Workshop, 2001. ,
Multivendor Catalogs: Smart Catalogs and Virtual Catalogs, The Journal of Electronic Commerce, vol.9, issue.3, 1996. ,
Ontologies and Online Commerce, IEEE Intelligent Systems, vol.16, issue.2, pp.9-10, 2001. ,
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. ,
Towards a Generic Model of Configuration Tasks, Proceedings ¤ § ¦ International Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989. ,
Modelling generic product structures in STEP, Computer-Aided Design, vol.30, pp.1111-1118, 1999. ,
Specifications of Knowledge Components for Reuse, Proceedings of ¤ © ¦ International Conference on Software Engineering and Knowledge Engineering, pp.36-43, 1999. ,
Enabling technology for knowledge sharing, AI Magazine, vol.12, pp.36-56, 1991. ,
Collaborative Engineering based on Knowledge Sharing Agreements, Proceedings of the ACME Database Symposium, pp.11-14, 1994. ,
Making Mass Customization Work, Harvard Business Review, pp.109-119, 1993. ,
The Unified Modeling Language Reference Manual, 1998. ,
E-Commerce Frameworks, IEEE Computer, pp.40-47, 2000. ,
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. ,
Dynamic Service Matchmaking among Agents in Open Information Environments, ACM SIGMOD Record, Special Issue on Semantic Interoperability in Global Information Systems, 1999. ,
Part-Whole Relations in Object-Centered Systems: An Overview, Data & Knowledge Engineering, vol.20, issue.3, pp.347-383, 1996. ,
Description Logics with Concrete Domains and Aggregation, Proceedings of the © European Conference on ,
, Artificial Intelligence (ECAI '98), pp.336-340, 1998.
Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM, vol.32, issue.3, pp.298-318, 1989. ,
Weaving the Web, 2000. ,
On the relative expressive power of description logics and predicate calculus, Artificial Intelligence, vol.82, pp.353-367, 1996. ,
An optimal lower bound on the number of variables for graph identification, Proceedings of © IEEE Symposium on FOCS, pp.612-617, 1989. ,
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. ,
ConsistencyBased Diagnosis of Configuration Knowledge Bases, Proceedings of the European Conference on Artificial Intelligence (ECAI 2000), pp.146-150, 2000. ,
OIL: An Ontology Infrastructure for the Semantic Web, IEEE Intelligent Systems, vol.16, issue.2, pp.38-45, 2001. ,
Configuring Large Systems Using Generative Constraint Satisfaction, IEEE Intelligent Systems, vol.13, issue.4, pp.59-68, 1998. ,
The configuration design ontologies and the VT elevator domain theory, International Journal of HumanComputer Studies, vol.44, issue.3/4, pp.569-598, 1996. ,
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. ,
A classification and constraint-based framework for configuration, Special Issue: Configuration Design, vol.12, issue.4, pp.383-397, 1998. ,
Dynamic Constraint Satisfaction Problems, Proceedings of the National Conference on Artificial Intelligence (AAAI 90), pp.25-32, 1990. ,
Towards a Generic Model of Configuration Tasks, Proceedings U International Joint Conf. on Artificial Intelligence, pp.1395-1401, 1989. ,
Description Logics for the Representation of Aggregated Objects, Proceedings of the European Conference on Artificial Intelligence (ECAI 2000), pp.239-243, 2000. ,
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. ,
A ModelTheoretic Semantics for DAML+OIL, 2001. ,
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. ,
, The Logic of Typed Feature Structures. Cambridge, 1992.
Sufficiency of the SEED Knowledge-Level Representation for Grammatical Design, Proc. Australian New Zealand Conference on Intelligent Information Systems, 1996. ,
Conceptual Graphs: Fundamental Notions, Revue d'Intelligence Artificielle, vol.6, issue.4, pp.365-406, 1992. ,
Conceptual Graphs with Constrained Reasoning, Intelligence Artificielle, vol.15, issue.1, pp.87-116, 2001. ,
Knowledge Reuse in SEED Exploiting Conceptual Graphs, Proc. Supplemental Proceedings of the Fourth International Conference on Conceptual Structures, 1996. ,
Unification over Constraints in Conceptual Graphs, Proc. Seventh International Conference on Conceptual Structures, 1999. ,
Software Environment to Support Early Phases in Building Design (SEED) Overview, Architectural Engineering, vol.1, issue.1, 1995. ,
Generative Geometric Design and Boundary Solid Grammars, 1991. ,
Generative Geometric Design, IEEE Computer Graphics and Applications, vol.14, issue.2, pp.37-45, 1995. ,
Reasoning with Type Definitions, Proc. Fifth International Conference on Conceptual Structures, 1997. ,
Représenter des Connaissances et Raisonner avec des Graphes, Revue d'Intelligence Artificielle, vol.10, issue.6, pp.7-56, 1996. ,
Conceptual Graphs as Terms: Prospects for Resolution Theorem Proving, 1997. ,
Conceptual Structures: Information Processing in Mind and Machine, 1984. ,
Basic Conceptual Structures Theory, Proc. Second International Conference on Conceptual Structures, 1994. ,
Projection and Unification for Conceptual Graphs, Proc. Third International Conference on Conceptual Structures, 1995. ,
Erasure in Design Space Exploration, Proc. Artificial Intelligence in Design, 2000. ,
Typed Feature Structures in Design Space Exploration, Journal of Artificial Intelligence in Engineering, Design and Manufacturing, vol.13, issue.4, pp.287-302, 1999. ,
Graphical Models for Preference and Utility, Proc. of UAI-95, pp.3-10, 1995. ,
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison, Constraints, vol.4, issue.3, pp.275-316, 1999. ,
A Constraint-Based Approach to Preference Elicitation and Decision Making, AAAI Spring Symposium on Qualitative Decision Theory, 1997. ,
Reasoning with Conditional Ceteris Paribus Preference Statements, Proc. of UAI-99, pp.71-80, 1999. ,
Introducing Variable Importance Tradeoffs into CP-Nets, Proc. of UAI-02, 2002. ,
CP-nets-Reasoning and Consistency Testing, Proc. of KR-02, 2002. ,
Preference-based Configuration of Web Page Content, Proc. of IJCAI-01, pp.1451-1456, 2001. ,
Predicting Likely Components in CPnet based Multimedia Systems, 2001. ,
Explanation and Implication for Configuration Problems, Proceedings of 4th Workshop on Configuration (IJCAI-01), pp.31-37, 2001. ,
Modeling and Generating Tradeoffs for Constraint-Based Configuration, Workshop on Configuration (IJCAI-01), 2001. ,
Sales Configuration in Business Processes, IEEE Intelligent Systems and their Appl, vol.13, issue.4, pp.78-85, 1998. ,
Challenges for Spoken Dialogue Systems, Proceedings of the IEEE ASRU Workshop, 1999. ,
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions, Proc. of IJCAI-97, pp.162-167, 1997. ,
Preference-based Search for Scheduling, Proceedings of Seventeenth National Conference on Artificial Intelligence, pp.904-909, 2000. ,
Preference Programming for Configuration, Workshop on Configuration (IJCAI-01), pp.50-56, 2001. ,
Dynamic Constraint Satisfaction Problem, Proceedings of the Eighth National Conference on Artificial Intelligence, pp.25-32, 1990. ,
Expected Utility Networks, Proc. of UAI-99, 1999. ,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
Product Conguration Frameworks-A Survey, IEEE Intelligent Systems and their Appl, vol.13, issue.4, pp.42-49, 1998. ,
Dynamic Constraint Satisfaction in Conguration, Proceedings of AAAI Workshop on Conguration, 1999. ,
Formalizing Configuration Knowledge Using Rules with Choices, Int. Workshop on Nonmonotonic Reasoning, 1998. ,
, Foundations of Constraint Satisfaction, 1993.
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
Approximation model building using genetic programming methodology : applications, 2nd ISSMO/AIAA Internet Conference on Approximations and Fast Reanalysis in engineering optimization, 2000. ,
Function approximation with continuous self-organizing maps using neighboring influence interpolation, Neural Computation B, 2000. ,
Extended and generalized genetic programming for function analysis ,
Aircraft multidisciplinary design optimization using design of experiments theory and response surface modelling methods, 1997. ,
A comparison of approximation modeling techniques : polynomial versus interpolating models, 7th Symposium on multidiscplinary Analysis and Optimization ,
, , 1998.
Solving Polynomial Systems using a Branch and Prune Approach, SIAM J. Numerical Analysis, vol.34, pp.797-827, 1997. ,
Fuzzy systems as universal approximators, IEEE transactions on computers, vol.43, issue.11, pp.1329-1333, 1994. ,
Curve and surface modelling with uncertainties using dual Kriging, Journal of Mechanical Design, vol.121, pp.249-255, 1999. ,
Optimal function approximation using fuzzy rules, International Conference of the North American Fuzzy Information Processing Socier, 1999. ,
Radial basis functional link nets as learning fuzzy systems', Cs479, 1996. ,
Design of neural networks for fast convergence and accuracy, 39th Conference on Structures, Structural Dynamics and Materials, 1998. ,
Lower bounds for approximation by MLP neural networks, Neurocomputing, vol.25, pp.81-91, 1999. ,
What is the best shape for a fuzzy set in function approximation, 5th IEEE International Conference on Fuzzy Systemes, 1996. ,
Comparison of response surface and kriging models for multidisciplinary design optimization, 7th Symposium on multidiscplinary Analysis and Optimization. AIAA/NASA/UASF/ISSMO, 1998. ,
On the use of statistics in design and the implications for deterministic computer experiments, ASME Design Engineering Technical Conference, 1997. ,
Multidisciplinary aerospace design optimization ; survey of recent developments, 34th Aerospace Sciences Meeting and Exhibit, 1996. ,
, Les plans d'expérience : méthode Taguchi, AFNOR, 1995.
Neural networks for rapid design and analysis, 39th Conference on Structures, Structural Dynamics and Materials, 1998. ,
Response surface model building and multidisciplinary optimization using D-optimal design, 7th Symposium on multidiscplinary Analysis and Optimization ,
, , 1998.
The optimal number of learning samples and hidden units in function approximation with a feedforward network, 1993. ,
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
,
, 33 <= " *-<=.-8 @,&9 "!33, vol.8, pp.9-33
, %@> ) (; > " +++'+ 8 9, vol.6, p.33
, , vol.3
, , vol.8
, , vol.9
$ ( / . 0 .123 +''" 8 '9 ,
, A*?A+; %%B> " 8 +9
, Customizing the Interaction with the User in On-Line Configuration Systems
Personalising on-line configuration of products and services, Proc. 15th, vol.2 ,
, , 2002.
Web-based commerce of complex products and services with multiple suppliers ,
A framework for rapid development of advanced web-based configurator, Proc. 15th Conf. ECAI, to appear, 2002. ,
Tailoring the interaction with users in Web stores, User Modeling and User-Adapted Interaction, vol.10, issue.4, pp.251-303, 2000. ,
Personalization in business-to-consumer interaction, Communications of the ACM, Special Issue, vol.45, issue.5, pp.52-53, 2002. ,
, BroadVision. Broadvision
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. ,
, , 2001.
, , 2002.
, Net Perceptions Inc. Net perceptions
Knowing What Others Know: Studies in Intuitive Psychometrics, 1990. ,
Preference-programming for configuration, IJCAI Configuration Workshop, pp.50-56, 2001. ,
Personalized hypermedia presentation techniques for improving online customer relationships, The Knowledge Engineering Review, vol.16, issue.2, pp.111-155, 2001. ,
A classification and constraint-based framework for configuration, AI in Engineering, Design and Manucturing, vol.12, pp.383-397, 1998. ,
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 1988. ,
, Special Issue on Recommender Systems, vol.40, 1997.
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.
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. ,
, Decision Analysis and Behavioral Research, 1986.
, Stiftung Warentest. Digitalkameras: Pixeljagd. test, issue.6, 2000.
Supercharge the Sales Effort: Sales Application for Large Enterprise, Strategic Report Analysis, 2001. ,
, Expert Configurator for Concurrent Engineering: Cameleon Software and Model, Special Issue:ProductionSystemsDesignandControl,JournalofIntelligent Manufacturing, vol.11, pp.127-134, 2000.
Aquantitativeestimationmethodology for design project, IEPM 1999 conference, vol.2, p.1999 ,
, Case studies in system design. Workshoponsystemengineeringandcomputerbasedsystem, pp.43-50, 1995.
DOI : 10.1109/ecbs.1995.521839
, General configurator requirements and modeling elements, ECAI Workshop onConfiguration, pp.1-6, 2000.
UML as domain specific language for the construction of knowledge base configuration system, pp.337-345, 1999. ,
Exploiting structural abstraction for consistency based diagnosis of large configurator knowledge bases, pp.23-28, 2000. ,
Detecting and resolving inconsistenciyandredundancyinconditionalconstraintsatisfaction problems, pp.90-94, 1999. ,
, Dynamic Constraint Satisfaction Problems, 9th National Conference on Artificial Intelligence AAAI, pp.25-32, 1990.
Conceputal modeling of product families in configuration projects, ECAI WorkshoponConfiguration, pp.68-73, 2000. ,
Configuration as Composite Constraint Satisfaction, Proceedings of the Artificial Intelligent and Manufacturing Research Planning Workshop, pp.153-169, 1996. ,
, Yet another approach to CCSP for configuration problem, ECAI Workshop on Configuration, pp.59-62, 2000.