{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T22:21:09Z","timestamp":1776982869610,"version":"3.51.4"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T00:00:00Z","timestamp":1636156800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T00:00:00Z","timestamp":1636156800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"EU FEDER"},{"name":"Austrian research promotion agency","award":["880657"],"award-info":[{"award-number":["880657"]}]},{"name":"MINECO project OPHELIA","award":["RTI2018-101204-B-C22"],"award-info":[{"award-number":["RTI2018-101204-B-C22"]}]},{"name":"TASOVA network","award":["MCIU-AEI TIN2017-90644-REDT"],"award-info":[{"award-number":["MCIU-AEI TIN2017-90644-REDT"]}]},{"name":"Junta de Andalucia - METAMORFOSIS project"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[2021,12]]},"DOI":"10.1007\/s10844-021-00675-4","type":"journal-article","created":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T02:02:21Z","timestamp":1636164141000},"page":"491-508","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Explanations for over-constrained problems using QuickXPlain with speculative executions"],"prefix":"10.1007","volume":"57","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1600-3447","authenticated-orcid":false,"given":"Cristian","family":"Vidal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Felfernig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Galindo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00fcsl\u00fcm","family":"Atas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Benavides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,6]]},"reference":[{"issue":"6","key":"675_CR1","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1016\/j.scico.2012.12.004","volume":"78","author":"M Acher","year":"2013","unstructured":"Acher, M., Collet, P., Lahire, P., & France, R. (2013). Familiar: A domain-specific language for large scale management of feature models. Science of Computer Programming, 78(6), 657\u2013681.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"675_CR2","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s11219-017-9400-8","volume":"27","author":"M Alf\u00e9rez","year":"2019","unstructured":"Alf\u00e9rez, M., Acher, M., Galindo, J.A., Baudry, B., & Benavides, D. (2019). Modeling variability in the video domain Language and experience report. Software Quality Journal, 27(1), 307\u2013347.","journal-title":"Software Quality Journal"},{"key":"675_CR3","unstructured":"Bakker, R., & Dikker, F. (1993). Diagnosing and Solving Over-determined Constraint Satisfaction Problems. In 13Th intl. Joint conference on artificial intelligence (IJCAI\u201993) (pp. 276\u2013281). France: Chamb\u00e9ry."},{"key":"675_CR4","doi-asserted-by":"crossref","unstructured":"Batory, D. (2005). Feature models, grammars, and propositional formulas. In Intl. conference on software product lines (pp. 7\u201320). Springer.","DOI":"10.1007\/11554844_3"},{"key":"675_CR5","unstructured":"Benavides, D., Ruiz-Cort\u00e9s, A., & Trinidad, P. (2005). Automated reasoning on feature models. In LNCS Advanced information systems engineering: 17th Intl, Conference, CAiSE 2005, (Vol. 3520 pp. 491\u2013503)."},{"key":"675_CR6","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1016\/j.is.2010.01.001","volume":"35","author":"D Benavides","year":"2010","unstructured":"Benavides, D., Segura, S., & Ruiz-Cortes, A. (2010). Automated analysis of feature models 20 years later A literature review. Information Systems, 35, 615\u2013636.","journal-title":"Information Systems"},{"key":"675_CR7","unstructured":"Bordeaux, L., Hamadi, Y., & Samulowitz, H. (2009). Experiments with Massively Parallel Constraint Solving. In 21St Intl. Joint conference on artifical intelligence (pp. 443\u2013448). USA: Morgan Kaufmann Publishers."},{"issue":"12","key":"675_CR8","doi-asserted-by":"publisher","first-page":"1190","DOI":"10.1109\/TC.1985.6312218","volume":"C-34","author":"F Burton","year":"1985","unstructured":"Burton, F. (1985). Speculative computation, parallelism, and functional programming. IEEE Transactions on Computers, C-34(12), 1190\u20131193.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"675_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J de Kleer","year":"1987","unstructured":"de Kleer, J., & Williams, B. (1987). Diagnosing multiple faults. Artificial Intelligence, 32(1), 97\u2013130.","journal-title":"Artificial Intelligence"},{"issue":"7","key":"675_CR10","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1016\/j.infsof.2014.01.014","volume":"56","author":"J D\u00edaz","year":"2014","unstructured":"D\u00edaz, J., P\u00e9rez, J., & Garbajosa, J. (2014). Agile product-line architecting in practice: A case study in smart grids. Information and Software Technology, 56(7), 727\u2013748.","journal-title":"Information and Software Technology"},{"key":"675_CR11","doi-asserted-by":"crossref","unstructured":"Doux, G., Albert, P., Barbier, G., Cabot, J., Del Fabro, M., & Lee, S. (2011). An mde-based approach for solving configuration problems An application to the eclipse platform. In European conference on modelling foundations and applications (pp. 160\u2013171). Springer.","DOI":"10.1007\/978-3-642-21470-7_12"},{"key":"675_CR12","doi-asserted-by":"crossref","unstructured":"Felfernig, A. (2021). AI techniques for software requirements prioritization. In M. Kalech, R. Abreu, & M. Last (Eds.) Artificial intelligence methods for software engineering (pp. 29\u201347). World Scientific.","DOI":"10.1142\/9789811239922_0002"},{"key":"675_CR13","unstructured":"Felfernig, A., Benavides, D., Galindo, J., & Reinfrank, F. (2013). Towards anomaly explanation in feature models. In 15Th intl. configuration workshop (pp. 117\u2013124)."},{"key":"675_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75067-5","volume-title":"Group Recommender Systems \u2013 An Introduction","author":"A Felfernig","year":"2018","unstructured":"Felfernig, A., Boratto, L, Stettinger, M., & Tkalcic, M. (2018). Group Recommender Systems \u2013 An Introduction. Berlin: Springer."},{"key":"675_CR15","doi-asserted-by":"crossref","unstructured":"Felfernig, A., & Systems, R. Burke. (2008). Constraint-based Recommender Technologies and Research Issues. In ACM intl. conference on electronic commerce (ICEC\u201908) (pp. 17\u201326). Austria: Innsbruck.","DOI":"10.1145\/1409540.1409544"},{"issue":"2","key":"675_CR16","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0004-3702(03)00117-6","volume":"152","author":"A Felfernig","year":"2004","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., & Stumptner, M. (2004). Consistency-based Diagnosis of Configuration Knowledge Bases. Artificial Intelligence, 152(2), 213\u2013234.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"675_CR17","doi-asserted-by":"publisher","first-page":"11","DOI":"10.2753\/JEC1086-4415110201","volume":"11","author":"A Felfernig","year":"2006","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., & Zanker, M. (2006). An integrated environment for the development of knowledge-based recommender applications. Intelligence Journal of Electronic Commerce (IJEC), 11(2), 11\u201334.","journal-title":"Intelligence Journal of Electronic Commerce (IJEC)"},{"key":"675_CR18","volume-title":"Knowledge-based Configuration - From Research to Business Cases","author":"A Felfernig","year":"2014","unstructured":"Felfernig, A., Hotz, L., Bagley, C., & Tiihonen, J. (2014). Knowledge-based Configuration - From Research to Business Cases. Burlington: Morgan Kaufmann."},{"issue":"2","key":"675_CR19","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10844-018-0530-7","volume":"52","author":"A Felfernig","year":"2019","unstructured":"Felfernig, A., Polat-Erdeniz, S., Uran, C., Reiterer, S., Atas, M., Tran, T., Azzoni, P., Kiraly, C., & Dolui, K. (2019). An overview of recommender systems in the internet of things. Journal of Intelligent Information Systems, 52 (2), 285\u2013309.","journal-title":"Journal of Intelligent Information Systems"},{"issue":"1","key":"675_CR20","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1017\/S0890060411000011","volume":"26","author":"A Felfernig","year":"2012","unstructured":"Felfernig, A., Schubert, M., & Zehentner, C. (2012). An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 26(1), 53\u201362.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"issue":"1","key":"675_CR21","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10844-017-0492-1","volume":"51","author":"A Felfernig","year":"2018","unstructured":"Felfernig, A., Walter, R., Galindo, J., Benavides, D., Erdeniz, S., Atas, M., & Reiterer, S. (2018). Anytime Diagnosis for Reconfiguration. Journal of Intelligent Information Systems, 51(1), 161\u2013182.","journal-title":"Journal of Intelligent Information Systems"},{"key":"675_CR22","unstructured":"Fleischanderl, G. (2002). Suggestions from the software engineering practice for applying Consistency-Based diagnosis to configuration knowledge bases. In 13Th Intl. workshop on principles of diagnosis (DX-02) (pp. 33\u201335). Austria: Semmering."},{"issue":"1\u20132","key":"675_CR23","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., & Wotawa, F. (1999). Model-based Diagnosis of Hardware Designs. Artificial Intelligence, 111(1\u20132), 3\u201339.","journal-title":"Artificial Intelligence"},{"key":"675_CR24","doi-asserted-by":"crossref","unstructured":"Galindo, J., & Benavides, D. (2019). Towards a new repository for feature model exchange. In C. Cetina, O. D\u00edaz, L. Duchien, M. Huchard, R. Rabiser, C. Salinesi, C. Seidl, X. T\u00ebrnava, L. Teixeira, T. Th\u00fcm, & T. Zadi (Eds.) 23rd intl. systems and software product line conference, SPLC Volume b, Paris, France, September 9-13, 2019 (p. 2019). ACM.","DOI":"10.1145\/3307630.3342405"},{"issue":"5","key":"675_CR25","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s00607-018-0646-1","volume":"101","author":"J Galindo","year":"2019","unstructured":"Galindo, J., Benavides, D., Trinidad, P., Guti\u00e9rrez-Fern\u00e1ndez, A., & Ruiz-Cort\u00e9s, A. (2019). Automated analysis of feature models Quo vadis? Computing, 101(5), 387\u2013433.","journal-title":"Computing"},{"issue":"5\u20136","key":"675_CR26","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1017\/S1471068418000340","volume":"18","author":"I Gent","year":"2018","unstructured":"Gent, I., Miguel, I., Nightingale, P., McCreesh, C., Prosser, P., Nooore, N., & Unsworth, C. (2018). A review of literature on parallel constraint solving. Theory and Practice of Logic Programming, 18(5\u20136), 725\u2013758.","journal-title":"Theory and Practice of Logic Programming"},{"key":"675_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63516-3","volume-title":"Handbook of Parallel Constraint Reasoning","author":"Y Hamadi","year":"2018","unstructured":"Hamadi, Y., & Sais, L. (2018). Handbook of Parallel Constraint Reasoning. Berlin: Springer."},{"key":"675_CR28","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.infsof.2017.10.018","volume":"95","author":"J Horcas","year":"2018","unstructured":"Horcas, J., Pinto, M., & Fuentes, L. (2018). Variability models for generating efficient configurations of functional quality attributes. Information and Software Technology, 95, 147\u2013164.","journal-title":"Information and Software Technology"},{"key":"675_CR29","unstructured":"Jannach, D., Schmitz, T., & Shchekotykhin, K. (2015). Parallelized hitting set computation for model-based diagnosis. In 29th AAAI conference on artificial intelligence (pp. 1503\u20131510). Texas: AAAI Press."},{"key":"675_CR30","doi-asserted-by":"publisher","first-page":"835","DOI":"10.1613\/jair.5001","volume":"55","author":"D Jannach","year":"2016","unstructured":"Jannach, D., Schmitz, T., & Shchekotykhin, K. (2016). Parallel Model-Based diagnosis on Multi-Core computers. Journal of Artificial Intelligence Research, 55, 835\u2013887.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"675_CR31","unstructured":"Junker, U. (2004). quickXPlain: Preferred Explanations and Relaxations for Over-constrained Problems. In 19th national conference on artifical intelligence (pp. 167\u2013172 ). San Jose: AAAI Press."},{"key":"675_CR32","doi-asserted-by":"crossref","unstructured":"Kastner, C., Thum, T., Saake, G., Feigenspan, J., Leich, T., Wielgorz, F., & Apel, S. (2009). Featureide: A tool framework for feature-oriented software development. In 31St IEEE intl. conference on software engineering (pp. 611\u2013614). IEEE.","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"675_CR33","doi-asserted-by":"crossref","unstructured":"Le, V.M., Felfernig, A., Uta, M., Benavides, D., Galindo, J., & Tran, T.N.T. (2021). DirectDebug: Automated testing and debugging of feature models. In 43Rd IEEE\/ACM intl. conference on software engineering: New ideas and emerging results (pp. 81\u201385). IEEE\/ACM.","DOI":"10.1109\/ICSE-NIER52604.2021.00025"},{"issue":"2-3","key":"675_CR34","doi-asserted-by":"publisher","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"D Le Berre","year":"2010","unstructured":"Le Berre, D., & Parrain, A. (2010). The Sat4j Library, Release 2.2. Journal on Satisfiability. Boolean Modeling and Computation, 7(2-3), 59\u201364.","journal-title":"Boolean Modeling and Computation"},{"key":"675_CR35","unstructured":"Marques-Silva, J., Heras, F., Janota, M., Previti, A., & Belov, A. (2013). On computing minimal correction subsets. In 23Rd intl. joint conference on artificial intelligence. Beijing, China (pp. 615\u2013622)."},{"key":"675_CR36","unstructured":"O\u2019Sullivan, B., Nanopulos, A., Faltings, B., & Pu, P. (2007). Representative explanations for Over-Constrained problems. In 22Nd AAAI conference on artificial intelligence (pp. 323\u2013328). Canada: Vancouver."},{"issue":"1","key":"675_CR37","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"23","author":"R Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 23(1), 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"675_CR38","doi-asserted-by":"crossref","unstructured":"Ricci, F., Rokach, L., Shapira, B., & Kantor, P. (2011). Recommender Systems Handbook, Springer, Berlin.","DOI":"10.1007\/978-0-387-85820-3"},{"key":"675_CR39","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01556-4","volume-title":"A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice","author":"F Rossi","year":"2011","unstructured":"Rossi, F., Venable, K., & Walsh, T. (2011). A Short Introduction to Preferences: Between Artificial Intelligence and Social Choice. California: Morgan & Claypool Publishers."},{"key":"675_CR40","doi-asserted-by":"crossref","unstructured":"Schmitz, T., & Jannach, D. (2017). An AI-based interactive tool for spreadsheet debugging. In IEEE symposium on visual languages and human-centric computing (VL\/HCC\u201917) (pp. 333\u2013334). USA: IEEE.","DOI":"10.1109\/VLHCC.2017.8103496"},{"issue":"2","key":"675_CR41","first-page":"111","volume":"10","author":"M Stumptner","year":"1997","unstructured":"Stumptner, M. (1997). An Overview of Knowledge-based Configuration. Ai Communications, 10(2), 111\u2013125.","journal-title":"Ai Communications"},{"key":"675_CR42","doi-asserted-by":"crossref","unstructured":"Thum, T., Batory, D., & Kastner, C. (2009). Reasoning about edits to feature models. In 31St IEEE intl. conference on software engineering (pp. 254\u2013264). Piscataway: IEEE.","DOI":"10.1109\/ICSE.2009.5070526"},{"issue":"2","key":"675_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3446906","volume":"11","author":"TNT Tran","year":"2021","unstructured":"Tran, T.N.T., Felfernig, A., & Tintarev, N. (2021). Humanized Recommender Systems: State-of-the-art and Research Issues. ACM Transactions on Interactive Intelligent Systems, 11(2), 1\u201341.","journal-title":"ACM Transactions on Interactive Intelligent Systems"},{"key":"675_CR44","volume-title":"Foundations of Constraint Satisfaction","author":"E Tsang","year":"1993","unstructured":"Tsang, E. (1993). Foundations of Constraint Satisfaction. Cambridge: Academic Press."},{"key":"675_CR45","doi-asserted-by":"crossref","unstructured":"Varela-Vaca, A., Galindo, J.A., Ramos-Guti\u00e9rrez, B., G\u00f3mez-L\u00f3pez, M., & Benavides, D. (2019). Process mining to unleash variability management: discovering configuration workflows using logs. In Proceedings of the 23rd intl. systems and software product line conference, (Vol. A pp. 265\u2013276).","DOI":"10.1145\/3336294.3336303"},{"issue":"4","key":"675_CR46","doi-asserted-by":"publisher","first-page":"1309","DOI":"10.3390\/s21041309","volume":"21","author":"M Vecchio","year":"2021","unstructured":"Vecchio, M., Azzoni, P., Menychtas, A., Maglogiannis, I., & Felfernig, A. (2021). A fully open-source approach to intelligent edge computing: the AGILE\u2019s lesson. Sensors, 21(4), 1309.","journal-title":"Sensors"},{"key":"675_CR47","doi-asserted-by":"crossref","unstructured":"Vidal, C., Felfernig, A., Galindo, J., Atas, M., & Benavides, D. (2020). A Parallelized Variant of Junker\u2019s quickXPlain Algorithm. In 25Th intl. symp. on methodologies for intell. Syst., volume 12117 of springer lecture notes in computer science (pp. 457\u2013468). Springer.","DOI":"10.1007\/978-3-030-59491-6_44"},{"issue":"4","key":"675_CR48","first-page":"59","volume":"28","author":"T Walsh","year":"2007","unstructured":"Walsh, T. (2007). Representing and reasoning with preferences. AI Magazine, 28(4), 59\u201370.","journal-title":"AI Magazine"},{"issue":"7","key":"675_CR49","doi-asserted-by":"publisher","first-page":"1094","DOI":"10.1016\/j.jss.2010.02.017","volume":"83","author":"J White","year":"2010","unstructured":"White, J., Benavides, D., Schmidt, D.C., Trinidad, P., Dougherty, B., & Ruiz-Cortes, A. (2010). Automated diagnosis of feature model configurations. J. Syst Softw., 83(7), 1094\u20131107.","journal-title":"J. Syst Softw."},{"issue":"1","key":"675_CR50","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/S0020-0190(00)00166-6","volume":"79","author":"F Wotawa","year":"2001","unstructured":"Wotawa, F. (2001). A variant of reiter\u2019s Hitting-Set algorithm. Information Processing Letters, 79(1), 45\u201351.","journal-title":"Information Processing Letters"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-021-00675-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10844-021-00675-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10844-021-00675-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,14]],"date-time":"2023-01-14T15:43:44Z","timestamp":1673711024000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10844-021-00675-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,6]]},"references-count":50,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["675"],"URL":"https:\/\/doi.org\/10.1007\/s10844-021-00675-4","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,6]]},"assertion":[{"value":"10 December 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 August 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 November 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}