{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:40:12Z","timestamp":1756831212706,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9]]},"DOI":"10.1145\/3744915.3748461","type":"proceedings-article","created":{"date-parts":[[2025,8,30]],"date-time":"2025-08-30T14:54:43Z","timestamp":1756565683000},"page":"39-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Simplified Extensibility in the Universal Variability Language using Answer Set Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9092-5637","authenticated-orcid":false,"given":"Ferdinand","family":"Auerswald","sequence":"first","affiliation":[{"name":"Bosch Sensortec GmbH, Reutlingen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5424-4195","authenticated-orcid":false,"given":"Dmytro","family":"Pukhkaiev","sequence":"additional","affiliation":[{"name":"Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3513-6448","authenticated-orcid":false,"given":"Uwe","family":"A\u00dfmann","sequence":"additional","affiliation":[{"name":"Chair of Software Technology, Technische Universit\u00e4t Dresden, Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,8,31]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"David Benavides Chico Sundermann Kevin Feichtinger Jos\u00e9\u00a0A. Galindo Rick Rabiser and Thomas Th\u00fcm. 2025. UVL: Feature modelling with the Universal Variability Language. Journal of Systems and Software 225 (jul 2025) 112326. 10.1016\/j.jss.2024.112326","DOI":"10.1016\/j.jss.2024.112326"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","unstructured":"Gerhard Brewka Thomas Eiter and Miroslaw Truszczy\u0144ski. 2011. Answer set programming at a glance. Commun. ACM 54 12 (2011) 93\u2013103. 10.1145\/1145\/2043174.2043195","DOI":"10.1145\/1145\/2043174.2043195"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","unstructured":"Krzysztof Czarnecki Simon Helsen and Ulrich Eisenecker. 2005. Formalizing cardinality\u2010based feature models and their specialization. Software Process: Improvement and Practice 10 1 (jan 2005) 7\u201329. 10.1002\/spip.213","DOI":"10.1002\/spip.213"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.5555\/345203"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","unstructured":"Sascha El-Sharkawy Adam Krafczyk and Klaus Schmid. 2015. Analysing the Kconfig semantics and its analysis tools. ACM SIGPLAN Notices 51 3 (2015) 45\u201354. 10.1145\/1145\/2814204.2814222","DOI":"10.1145\/1145\/2814204.2814222"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08129-35"},{"key":"e_1_3_3_2_8_2","first-page":"62","volume-title":"Proceedings of the 19th International Configuration Workshop","author":"Felfernig Alexander","year":"2017","unstructured":"Alexander Felfernig, Andreas Falkner, M\u00fcsl\u00fcm Atas, Seda\u00a0Polat Erdeniz, Christoph Uran, and Paolo Azzoni. 2017. ASP-based Knowledge Representations for IoT Configuration Scenarios. In Proceedings of the 19th International Configuration Workshop,Linda L. Zhang andAlbert Haag (Eds.). 62\u201367."},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"publisher","unstructured":"Jos\u00e9\u00a0A. Galindo Jose\u00a0Miguel Horcas Alexander Felferning David Fernandez-Amoros and David Benavides. 2023. FLAMA: A collaborative effort to build a new framework for the automated analysis of feature models. ACM International Conference Proceeding Series B-2 (2023) 16\u201319. 10.1145\/1145\/3579028.3609008","DOI":"10.1145\/1145\/3579028.3609008"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01561-8"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"publisher","unstructured":"Martin Gebser Roland Kaminski Benjamin Kaufmann and Torsten Schaub. 2019. Multi-shot ASP solving with clingo. Theory and Practice of Logic Programming 19 1 (2019) 27\u201382. 10.1017\/S1471068418000054 arxiv:https:\/\/arXiv.org\/abs\/1705.09811","DOI":"10.1017\/S1471068418000054"},{"key":"e_1_3_3_2_12_2","doi-asserted-by":"publisher","unstructured":"Martin Gebser Roland Kaminski and Torsten Schaub. 2011. aspcud: A Linux Package Configuration Tool Based on Answer Set Programming. Electronic Proceedings in Theoretical Computer Science 65 LoCoCo (2011) 12\u201325. 10.4204\/eptcs.65.2","DOI":"10.4204\/eptcs.65.2"},{"key":"e_1_3_3_2_13_2","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1988. The stable model semantics for logic programming. 1070\u20131080\u00a0pages. http:\/\/www.cs.utexas.edu\/users\/ai-lab?gel88"},{"key":"e_1_3_3_2_14_2","first-page":"55","volume-title":"Proceedings of the 15th International Configuration Workshop","author":"Schenner Gottfried","year":"2013","unstructured":"Gottfried Schenner, Andreas Falkner, Anna Ryabokon, and Gerhard Friedrich. 2013. Solving object-oriented configuration scenarios with ASP. In Proceedings of the 15th International Configuration Workshop,Michel Aldanondo andAndreas Falkner (Eds.). 55\u201362."},{"key":"e_1_3_3_2_15_2","unstructured":"A.\u00a0Spencer Kang Kyo C; Cohen Sholom G.; Hess James A.; Novak William E.; Peterson. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study. November (1990). doi:https:\/\/doi.org\/CMU\/SEI-90-TR-21"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Ahmet\u00a0Serkan Karata\u015f and Halit O\u011fuzt\u00fcz\u00fcn. 2016. Attribute-based variability in feature models. Requirements Engineering 21 2 (2016) 185\u2013208. 10.1007\/s00766-014-0216-9","DOI":"10.1007\/s00766-014-0216-9"},{"key":"e_1_3_3_2_17_2","unstructured":"Alexander Kn\u00fcppel. 2016. The Role of Complex Constraints in Feature Modeling. (2016)."},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Alexander Kn\u00fcppel Thomas Th\u00fcm Stephan Mennicke Jens Meinicke and Ina Schaefer. 2017. Is there a mismatch between real-world feature models and product-line research? Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering Part F1301 (2017) 291\u2013302. 10.1145\/1145\/3106237.3106252","DOI":"10.1145\/1145\/3106237.3106252"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Nicola Leone and Francesco Ricca. 2015. Answer set Programming: A tour from the basics to advanced development tools and industrial applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9203 (2015) 308\u2013326. 10.1007\/978-3-319-21768-010","DOI":"10.1007\/978-3-319-21768-010"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","unstructured":"Jacob Loth Chico Sundermann Tobias Schrull Thilo Brugger Felix Rieg and Thomas Th\u00fcm. 2023. UVLS: A Language Server Protocol For UVL. ACM International Conference Proceeding Series B-2 (2023) 43\u201346. 10.1145\/1145\/3579028.3609014","DOI":"10.1145\/1145\/3579028.3609014"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"publisher","unstructured":"Seemran Mishra. 2021. Product Configuration in Answer Set Programming. Electronic Proceedings in Theoretical Computer Science 345 Iclp (sep 2021) 296\u2013304. 10.4204\/EPTCS.345.46","DOI":"10.4204\/EPTCS.345.46"},{"key":"e_1_3_3_2_22_2","unstructured":"Varvana Myll\u00e4rniemi Juha Tiihonen Mikko Raatikainen and Alexander Felfernig. 2014. Using answer set programming for feature model representation and configuration. CEUR Workshop Proceedings 1220 (2014) 1\u20138."},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Max Ostrowski and Torsten Schaub. 2012. ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming 12 4-5 (jul 2012) 485\u2013503. 10.1017\/S1471068412000142","DOI":"10.1017\/S1471068412000142"},{"key":"e_1_3_3_2_24_2","unstructured":"M Riebisch K B\u00f6llert D Streitferdt and I Philippow. 2002. Extending Feature Diagrams with UML Multiplicities. 6th World Conference on Integrated Design & Process Technology (2002) 1\u20137. http:\/\/www.citeulike.org\/group\/858\/article\/505058"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","unstructured":"Chico Sundermann Tobias He\u00df Dominik Engelhardt Rahel Arens Johannes Herschel Kevin Jedelhauser Benedikt Jutz Sebastian Krieter and Ina Schaefer. 2021. Integration of UVL in FeatureIDE. ACM International Conference Proceeding Series Part F1716 (2021) 73\u201379. 10.1145\/3461002.3473940","DOI":"10.1145\/3461002.3473940"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Tommi Syrj\u00e4nen. 2000. Including diagnostic information in configuration models. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 1861 43963 (2000) 837\u2013851. 10.1007\/3-540-44957-456","DOI":"10.1007\/3-540-44957-456"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"publisher","unstructured":"Maurice\u00a0H. Ter Beek Klaus Schmid and Holger Eichelberger. 2019. Textual variability modeling languages an overview and considerations. ACM International Conference Proceeding Series B (2019). 10.1145\/1145\/3307630.3342398","DOI":"10.1145\/1145\/3307630.3342398"}],"event":{"name":"SPLC-A '25: 29th ACM International Systems and Software Product Line Conference - Volume A","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"A Coru\u00f1a Spain","acronym":"SPLC-A '25"},"container-title":["Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3744915.3748461","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T16:06:23Z","timestamp":1756829183000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3744915.3748461"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,31]]},"references-count":26,"alternative-id":["10.1145\/3744915.3748461","10.1145\/3744915"],"URL":"https:\/\/doi.org\/10.1145\/3744915.3748461","relation":{},"subject":[],"published":{"date-parts":[[2025,8,31]]},"assertion":[{"value":"2025-08-31","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}