@inproceedings{122, keywords = {Software Product Lines, Configuration}, author = {Mikolás Janota and Goetz Botterweck and Radu Grigore and João Silva}, title = {How to Complete an Interactive Configuration Process?}, abstract = {When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a configuration complete and how can the tool help the user to complete it? We formalize this problem and relate it to concepts from non-monotonic reasoning well researched in Artificial Intelligence. The results are interesting for both practitioners and theoreticians. Practitioners will find a technique facilitating an interactive configuration process and experiments supporting feasibility of the approach. Theoreticians will find links between well-known formal concepts and a concrete practical application.}, year = {2010}, booktitle = {SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml\ yn, Czech Republic, January 23-29, 2010. Proceedings}, journal = {SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Ml\ yn, Czech Republic, January 23-29, 2010. Proceedings}, pages = {528-539}, url = {http://dx.doi.org/10.1007/978-3-642-11266-9_44}, doi = {10.1007/978-3-642-11266-9_44}, crossref = {DBLP:conf/sofsem/2010}, key = {bibcite_122}, }