How to complete an interactive configuration process? Configuring as shopping

dc.contributor.author	Janota, Mikolas
dc.contributor.author	Botterweck, Goetz
dc.contributor.author	Grigore, Radu
dc.contributor.author	Marques-Silva, Joao
dc.date.accessioned	2011-02-02T13:50:12Z
dc.date.available	2011-02-02T13:50:12Z
dc.date.issued	2010
dc.identifier.uri	http://hdl.handle.net/10344/698
dc.description	peer-reviewed	en_US
dc.description.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.	en_US
dc.language.iso	eng	en_US
dc.publisher	Springer-Verlag	en_US
dc.relation.ispartofseries	SOFSEM '10, Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010.;
dc.subject	configuration	en_US
dc.subject	software customization	en_US
dc.title	How to complete an interactive configuration process? Configuring as shopping	en_US
dc.type	Conference item	en_US
dc.type.supercollection	all_ul_research	en_US
dc.type.supercollection	ul_published_reviewed	en_US
dc.type.restriction	none	en
dc.contributor.sponsor	SFI
dc.relation.projectid	03/CE2/I303_1
dc.relation.projectid	IST-2005-015905 MOBIUS project