2009/10/20 by Mikoláš Janota, Mikolas Janota, Goetz Botterweck +7
Computer Science · #Advanced Software Engineering Methodologies #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Service-Oriented Architecture and Web Services #Software Engineering (cs.SE) #cs.AI #cs.LO #cs.SE
paper · pdf · doi:10.48550/arxiv.0910.3913
to appear in SOFSEM 2010
arxiv created 2009/10/20 · openalex publication_date 2009/10/20 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.