How to complete an interactive configuration process? Configuring as shopping

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5901 LNCS, Issue , 2010, Pages 528-539

  Janota, Mikoláš ^a   Botterweck, Goetz ^b   Grigore, Radu ^c   Marques Silva, Joao ^c  

^a University of Limerick   (Ireland)

^b UNIVERSITY OF LIMERICK   (Ireland)

^c UNIVERSITY COLLEGE DUBLIN   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

CONFIGURATION PROCESS; CUSTOMIZABLE; FORMAL CONCEPTS; INTERACTIVE TOOL; NON-MONOTONIC REASONING;

ARTIFICIAL INTELLIGENCE; FEATURE EXTRACTION; FORMAL LOGIC;

COMPUTER SCIENCE;

EID: 77249179733     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11266-9_44     Document Type: Conference Paper

References (24)

1. Batory, D.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7-20. Springer, Heidelberg (2005)
2. Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491-503. Springer, Heidelberg (2005)
3. Cadoli, M., Lenzerini, M.: The Complexity of Closed World Reasoning and Circumscription. In: The Eighth National Conference on Artificial Intelligence (1990)
4. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2002)
5. Czarnecki, K., Helsen, S., Eisenecker, U.: Staged Configuration Using Feature Models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266-283. Springer, Heidelberg (2004)
6. Delgrande, J., Schaub, T., Tompits, H., Wang, K.: A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Computational Intelligence 20(2), 308-334 (2004)
7. P-Complete. Theoretical Computer Science (1993)
8. Hadzic, T., Subbarayan, S., Jensen, R., Andersen, H., Møller, J., Hulgaard, H.: Fast Backtrack-Free Product Configuration Using a Precompiled Solution Space Representation. In: The International Conference on Economic, Technical and Organizational Aspects of Product Configuration Systems, DTU (2004)
9. Janota, M.: Do SAT Solvers Make Good Configurators? In: First Workshop on Analyses of Software Product Lines, ASPL (2008)
10. Janota, M., Kiniry, J.: Reasoning about Feature Models in High-Order Logic. In: SPLC (2007)
11. Janota, M., Kuzina, V., Wasowski, A.: Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 431-445. Springer, Heidelberg (2008)
12. Janota, M., Marques-Silva, J., Grigore, R.: Algorithms for Finding Dispensable Variables, http://arXiv.org/abs/0910.0013
13. Junker, U.: Preference Programming for Configuration. In: Workshop on Configuration (2001)
14. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA), feasibility study. Technical Report, SEI, Carnegie Mellon University (1990)
15. Kavvadias, D.J., Sideri, M., Stavropoulos, E.C.: Generating All Maximal Models of a Boolean Expression. Information Processing Letters (2000)
16. Krebs, T., Wagner, T., Runte, W.: Recognizing User Intentions in Incremental Configuration Processes. In: Workshop on Configuration (2003)
17. Lottaz, C., Stalker, R., Smith, I.: Constraint Solving and Preference Activation for Interactive Design. AI EDAM 12(01), 13-27 (1998)
18. McCarthy, J.: Circumscription-a Form of Non-Monotonic Reasoning. Artificial Intelligence 13, 27-39 (1980)
19. Minker, J.: On Indefinite Databases and the Closed World Assumption. In: Love-land, D.W. (ed.) CADE 1982. LNCS, vol. 138. Springer, Heidelberg (1982)
20. Parnas, D.L.: On the Design and Development of Program Families. IEEE Transactions on Software Engineering (1976)
21. Reiter, R., de Kleer, J.: Foundations of Assumption-Based Truth Maintenance Systems: Preliminary Report. In: Proceedings of AAAI (1987)
22. Sabin, D., Weigel, R.: Product Configuration Frameworks-a Survey. IEEE Intelligent Systems 13(4), 42-49 (1998)
23. Schobbens, P.-Y., Heymans, P., Trigaux, J.-C.: Feature Diagrams: A Survey and a Formal Semantics. In: Requirements Engineering Conference, RE (2006)
24. van der Meer, E.R., Wasowski, A., Andersen, H.R.: Efficient Interactive Configuration of Unbounded Modular Systems. In: Symp. Applied Comput. (SAC) (2006)