COCONF: Conceptual language-based configuration

AI Communications

Volumn 23, Issue 1, 2010, Pages 1-46

  Magro, Diego ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Backtracking search; Configuration; Configuration algorithm; Problem decomposition

Indexed keywords

BACKTRACKING SEARCH; BASIC PROPERTIES; COMPOSITE OBJECTS; COMPOSITIONAL STRUCTURE; CONFIGURATION ALGORITHM; CONFLICT-DIRECTED BACKJUMPING; EXPLICIT REPRESENTATION; FORMAL PROOFS; LOOK-AHEAD; MODELING LANGUAGES; PROBLEM DECOMPOSITION; REAL WORLD DOMAIN; SOFTWARE CONFIGURATION;

LINGUISTICS;

EID: 76849095690     PISSN: 09217126     EISSN: None     Source Type: Journal    
DOI: 10.3233/AIC-2010-0470     Document Type: Article

References (42)

1. M. Aldanondo, G. Moynard and K.H. Hamou, General configurator requirements and modeling elements, in: Proc. ECAI 2000 Configuration WS, Berlin, Germany, 2000, pp. 1-6.
2. J. Amilhastre, H. Fargier and P. Marquis, Consistency restoration and explanations in dynamic csps application to configuration, Artificial Intelligence 1/2(135) (2002), 199-234.
3. L. Anselma and D. Magro, Dynamic problem decomposition in configuration, in: Proc. IJCAI-03 Configuration WS, Acapulco, Mexico, 2003, pp. 21-26.
4. F. Bergenti, Product and service configuration for the masses, in: Proc. ECAI 2004 Configuration WS, Valencia, Spain, 2004, pp. 7/1-7/6.
5. T. Blecker, N. Abdelkafi, G. Kreutler and G. Friedrich, Product configuration systems: State of the art, conceptualization and extensions, MPRA Paper 5291, University Library of Munich, Germany, 2004.
6. R. Dechter, Constraint Processing, Morgan Kaufmann, San Francisco, CA, USA, 2003.
7. A. Falkner, I. Feinerer, G. Salzer and G. Schenner, Solving practical configuration problems using UML, in: Proc. ECAI 2008 Workshop on Configuration Systems, Patras, Greece, 2008, pp. 1-6.
8. A. Felfernig, G. Friedrich, D. Jannach, M.C. Silaghi and M. Zanker, Distributed generative CSP approach towards multi-site product configuration, in: Workshop on Immediate Applications of Constraint Programming, Cork, Ireland, 2003, pp. 100-123.
9. G. Fleischanderl, G.E. Friedrich, A. Haselböck and M. Stumptner, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems 13(4) (1998), 59-68.
10. N. Franke and F.T. Piller, Key research issues in user interaction with user toolkits in a mass customisation system, International Journal of Technology Management 26(5/6) (2003), 578-599.
11. E. Freuder, T. Carchrae and J. Christopher Beck, Satisfaction guaranteed, in: Proc. IJCAI-03 Configuration WS, Acapulco, Mexico, 2003, pp. 1-6.
12. E. Freuder, C. Likitvivatanavong and R. Wallace, Explanation and implication for configuration problems, in: Proc. IJCAI-01 Configuration WS, Seattle, WA, USA, 2001, pp. 31-37.
13. E. Freuder and B. O'Sullivan, Modeling and generating tradeoffs for constraint-based configuration, in: Proc. IJCAI-01 Configuration WS, Seattle, WA, USA, 2001, pp. 38-44.
14. G. Friedrich, Elimination of spurious explanations, in: Proc. ECAI 2004, Valencia, Spain, 2004, pp. 813-817.
15. E. Gelle and M. Sabin, Solving methods for conditional constraint satisfaction, in: Proc. IJCAI-03 Configuration WS, Acapulco, Mexico, 2003, pp. 7-12.
16. P. Gerstl and S. Pribbenow, Midwinters, end games, and body parts: a classification of part-whole relations, International Journal of Human-Computer Studies 43(5/6) (1995), 865-889.
17. A. Goy and D. Magro, Dynamic configuration of a personalized tourist agenda, in: Proc. IADIS Int. Conf. WWW/Internet 2004, Madrid, Spain, 2004, pp. 619-626.
18. A. Haag, Dealing with configurable products in the sap business suite, in: Proc. IJCAI-05 Configuration WS, Edinburgh, Scotland, 2005, pp. 68-71.
19. U. Junker and D. Mailharro, The logic of ilog (j)configurator: Combining constraint programming with a description logic, in: Proc. IJCAI-03 Configuration WS, Acapulco, Mexico, 2003, pp. 13-20.
20. D. Magro and P. Torasso, Decomposing and distributing configuration problems, in: LNAI, Vol.2443, Springer-Verlag, Berlin, 2002, pp. 81-90.
21. D. Magro and P. Torasso, Decomposition strategies for configuration problems, AIEDAM, Special Issue on Configuration 17(1) (2003), 51-73.
22. J. McDermott, R1: A rule-based configurer of computer systems, Artificial Intelligence 19 (1982), 39-88.
23. J. McDermott, R1 ("xcon") at age 12: lessons from an elementary school achiever, Artificial Intelligence 59(1/2) (1993), 241-247.
24. D.L. McGuinness, Configuration, in: The Description Logic Handbook. Theory, Implementation, and Applications, F. Baader, D.L. McGuinness, D. Nardi and P.F. Patel-Schneider, eds, Cambridge University Press, 2003, pp. 388-405.
25. S. Mittal and B. Falkenhainer, Dynamic constraint satisfaction problems, in: Proc. of the AAAI 90, Boston, MA, USA, 1990, pp. 25-32.
26. V. Myllärniemi, T. Asikainen, T. Männistö and T. Soininen, Kumbang configurator-a configuration tool for software product families, in: Proc. IJCAI-05 Configuration WS, Edinburgh, Scotland, 2005, pp. 51-56.
27. B. O'Sullivan, A. Ferguson and E. Freuder, A decision tree learning and constraint satisfaction hybrid for interactive problem solving, in: Proc. IJCAI-05 Configuration WS, Edinburgh, Scotland, 2005, pp. 1-6.
28. J. Pine II, Mass Customization: The New Frontier in Business Competition, Harvard Business School Press, Boston, 1993.
29. P. Prosser, Hybrid algorithms for constraint satisfaction problems, Computational Intelligence 9(3) (1993), 268-299.
30. D. Sabin and E.C. Freuder, Configuration as composite constraint satisfaction, in: Proc. Artificial Intelligence and Manufacturing. Research Planning Workshop, Albuquerque, NM, USA, 1996, pp. 153-161.
31. D. Sabin and R.Wiegel, Product configuration farmeworks-a survey, IEEE Intelligent Systems 13(4) (1998), 42-49.
32. L. Sebastia, E. Onaindia and E. Marzal, Decomposition of planning problems, AI Communications 19(1) (2006), 49-81.
33. C. Sinz, A. Kaiser and W. Küchlin, Formal methods for the validation of automotive product configuration data, AIEDAM, Special Issue on Configuration 17(1) (2003), 75-97.
34. T. Soininen and E. Gelle, Dynamic constraint satisfaction in configuration, in: In Configuration Papers from the AAAI Workshop, AAAI, Orlando, FL, USA, Technical Report WS- 99-05, 1999, pp. 95-100.
35. T. Soininen, I. Niemelä, J. Tiihonen and R. Sulonen, Unified configuration knowledge representation using weight constraint rules, in: Proc. ECAI 2000 Configuration WS, Berlin, Germany, 2000, pp. 79-84.
36. T. Soininen, J. Tiihonen, T. Männistö and R. Sulonen, Towards a general ontology of configuration, AI EDAM 12(4) (1998), 383-397.
37. M. Stumptner, An overview of knowledge-based configuration, AI Communications 10(2) (1997), 111-125.
38. M. Stumptner, Configuring web services, in: Proc. ECAI 2004 Configuration WS, Valencia, Spain, 2004, pp. 10/1-10/6.
39. M. Stumptner and A. Haselböck, A generative constraint formalism for configuration problems, in: LNAI, Vol.728, Springer-Verlag, Berlin, 1993, pp. 302-313.
40. S. Subbarayan and H.R. Andersen, Linear functions for interactive configuration using join matching and csp tree decomposition, in: Proc. IJCAI-05 ConfigurationWS, Edinburgh, Scotland, 2005, pp. 7-12.
41. J. Tiihonen, M. Heiskala, K.-S. Paloheimo and A. Anderson, Configuration of contract based services, in: Proc. ECAI 2006 Configuration WS, Riva del Garda, Italy, 2006, pp. 25-30.
42. M. Zanker, M. Aschinger and M. Jessenitschnig, Constraintbased personalized bundling of products and services, in: Proc. ECAI 2008 Workshop on Configuration Systems, Patras, Greece, 2008, pp. 23-28.