{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:39Z","timestamp":1750220259042,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,9,12]],"date-time":"2022-09-12T00:00:00Z","timestamp":1662940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,9,12]]},"DOI":"10.1145\/3503229.3547039","type":"proceedings-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T22:15:43Z","timestamp":1661465743000},"page":"209-216","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Interactive feature modeling with background knowledge for validation and configuration"],"prefix":"10.1145","author":[{"given":"Simon","family":"Vandevelde","sequence":"first","affiliation":[{"name":"KU Leuven, Belgium"}]},{"given":"Benjamin","family":"Callewaert","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}]},{"given":"Joost","family":"Vennekens","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2022,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2021.115869"},{"key":"e_1_3_2_1_2_1","volume-title":"Clafer Tools for Product Line Engineering. In Software Product Line Conference","author":"Antkiewicz Micha\u0142","year":"2013","unstructured":"Micha\u0142 Antkiewicz, Kacper Bαk, Alexandr Murashkin, Rafael Olaechea, Jia Liang, and Krzysztof Czarnecki. 2013. Clafer Tools for Product Line Engineering. In Software Product Line Conference. Tokyo, Japan."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0441-1"},{"volume-title":"Software Product Lines","author":"Batory Don","key":"e_1_3_2_1_4_1","unstructured":"Don Batory. 2005. Feature Models, Grammars, and Propositional Formulas. In Software Product Lines. Springer Berlin Heidelberg, Berlin, Heidelberg, 7--20."},{"key":"e_1_3_2_1_5_1","volume-title":"Pablo Trinidad Mart\u00edn-Arroyo, and Antonio Ruiz Cort\u00e9s","author":"Benavides David","year":"2005","unstructured":"David Benavides, Pablo Trinidad Mart\u00edn-Arroyo, and Antonio Ruiz Cort\u00e9s. 2005. Using Constraint Programming to Reason on Feature Models. In SEKE."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"volume-title":"Advanced Information Systems Engineering","author":"Benavides David","key":"e_1_3_2_1_7_1","unstructured":"David Benavides, Pablo Trinidad, and Antonio Ruiz-Cort\u00e9s. 2005. Automated Reasoning on Feature Models. In Advanced Information Systems Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg, 491--503."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1984.233702"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30","author":"Botterweck Goetz","year":"2009","unstructured":"Goetz Botterweck, Mikolas Janota, and Denny Schneeweiss. 2009. A design of a configurable feature model configurator. In Proceedings, Third International Workshop on Variability Modelling of Software-intensive Systems, held from January 28 - 30, at the University of Sevilla, Spain. 165 -- 168."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.32"},{"key":"e_1_3_2_1_11_1","unstructured":"Pierre Carbonnelle Bart Bogaerts Joost Vennekens and Marc Denecker. 2022. Interactive Configuration Problems in Observable Environments. (2022) 8."},{"key":"e_1_3_2_1_12_1","volume-title":"IDP-Z3: a reasoning engine for FO(.). arXiv:2202.00343","author":"Carbonnelle Pierre","year":"2022","unstructured":"Pierre Carbonnelle, Simon Vandevelde, Joost Vennekens, and Marc Denecker. 2022. IDP-Z3: a reasoning engine for FO(.). arXiv:2202.00343 (2022)."},{"volume-title":"Software Product Lines","author":"Czarnecki Krzysztof","key":"e_1_3_2_1_13_1","unstructured":"Krzysztof Czarnecki, Simon Helsen, and Ulrich Eisenecker. 2004. Staged Configuration Using Feature Models. In Software Product Lines. Springer Berlin Heidelberg, Berlin, Heidelberg, 266--283."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","unstructured":"Broes De Cat Bart Bogaerts Maurice Bruynooghe Gerda Janssens and Marc Denecker. 2018. Predicate logic as a modeling language: the IDP system. In Declarative Logic Programming: Theory Systems and Applications. ACM 279--323. 10.1145\/3191315.3191321","DOI":"10.1145\/3191315.3191321"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89982-2_12"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICOSC.2019.8665543"},{"key":"e_1_3_2_1_17_1","unstructured":"Abdelrahman Osman Elfaki Somnuk Phon-Amnuaisuk and Chin Kuan Ho. 2009. Using First Order Logic to Validate Feature Model. In VaMoS. 169--172."},{"volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"Fan Shaofeng","key":"e_1_3_2_1_18_1","unstructured":"Shaofeng Fan and Naixiao Zhang. 2006. Feature Model Based on Description Logics. In Knowledge-Based Intelligent Information and Engineering Systems. Springer Berlin Heidelberg, Berlin, Heidelberg, 1144--1151."},{"key":"e_1_3_2_1_19_1","first-page":"387","article-title":"Automated analysis of feature models: Quo vadis","volume":"101","author":"Galindo Jos\u00e9 A","year":"2019","unstructured":"Jos\u00e9 A Galindo, David Benavides, Pablo Trinidad, Antonio-Manuel Guti\u00e9rrez-Fern\u00e1ndez, and Antonio Ruiz-Cort\u00e9s. 2019. Automated analysis of feature models: Quo vadis? Computing. Archives for Scientific Computing 101, 5 (2019), 387--433. Publisher: Springer.","journal-title":"Computing. Archives for Scientific Computing"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/095281300454793"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2022.05.230"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER52604.2021.00025"},{"volume-title":"Software Product Lines","author":"Mannion Mike","key":"e_1_3_2_1_25_1","unstructured":"Mike Mannion. 2002. Using First-Order Logic for Product Line Model Validation. In Software Product Lines. Springer, Berlin, Heidelberg, 176--187."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2011.66"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.345.46"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_29_1","volume-title":"Using Answer Set Programming for Feature Model Representation and Configuration. In Configuration Workshop. 1--8.","author":"Myll\u00e4rniemi Varvana","year":"2014","unstructured":"Varvana Myll\u00e4rniemi, Juha Tiihonen, Mikko Raatikainen, and Alexander Felfernig. 2014. Using Answer Set Programming for Feature Model Representation and Configuration. In Configuration Workshop. 1--8."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3442391.3442407"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068416000156"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599428"}],"event":{"name":"SPLC '22: 26th ACM International Systems and Software Product Line Conference","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Graz Austria","acronym":"SPLC '22"},"container-title":["Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume B"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547039","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503229.3547039","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:50Z","timestamp":1750188650000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503229.3547039"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,12]]},"references-count":33,"alternative-id":["10.1145\/3503229.3547039","10.1145\/3503229"],"URL":"https:\/\/doi.org\/10.1145\/3503229.3547039","relation":{},"subject":[],"published":{"date-parts":[[2022,9,12]]},"assertion":[{"value":"2022-09-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}