{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:31Z","timestamp":1775053291181,"version":"3.50.1"},"reference-count":101,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,5,20]],"date-time":"2017-05-20T00:00:00Z","timestamp":1495238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100004410","name":"T\u00fcrkiye Bilimsel ve Teknolojik Ara\u015ftirma Kurumu","doi-asserted-by":"publisher","award":["TUBITAK 2218"],"award-info":[{"award-number":["TUBITAK 2218"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Turkish-German University Scientific Research Projects Commission","award":["2015BM0014"],"award-info":[{"award-number":["2015BM0014"]}]},{"DOI":"10.13039\/501100004410","name":"T\u00fcrkiye Bilimsel ve Teknolojik Ara\u015ftirma Kurumu","doi-asserted-by":"publisher","award":["114E777"],"award-info":[{"award-number":["114E777"]}],"id":[{"id":"10.13039\/501100004410","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["678867"],"award-info":[{"award-number":["678867"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Intell Manuf"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s10845-017-1333-3","type":"journal-article","created":{"date-parts":[[2017,5,20]],"date-time":"2017-05-20T11:49:18Z","timestamp":1495280958000},"page":"1407-1422","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Applications of non-monotonic reasoning to automotive product configuration using answer set programming"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1510-5628","authenticated-orcid":false,"given":"Eray","family":"Gen\u00e7ay","sequence":"first","affiliation":[]},{"given":"Peter","family":"Sch\u00fcller","sequence":"additional","affiliation":[]},{"given":"Esra","family":"Erdem","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,5,20]]},"reference":[{"key":"1333_CR1","doi-asserted-by":"crossref","unstructured":"Aho, A. V., & Ullman, J. D. (1979). Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (pp. 110\u2013119). ACM.","DOI":"10.1145\/567752.567763"},{"issue":"2","key":"1333_CR2","doi-asserted-by":"publisher","first-page":"177","DOI":"10.3233\/ICA-2003-10207","volume":"10","author":"M Aldanondo","year":"2003","unstructured":"Aldanondo, M., Hadj-Hamou, K., Moynard, G., & Lamothe, J. (2003). Mass customization and configuration: Requirement analysis and constraint based modeling propositions. Integrated Computer-Aided Engineering, 10(2), 177\u2013189.","journal-title":"Integrated Computer-Aided Engineering"},{"issue":"1","key":"1333_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","volume":"135","author":"J Amilhastre","year":"2002","unstructured":"Amilhastre, J., Fargier, H., & Marquis, P. (2002). Consistency restoration and explanations in dynamic CSPs-application to configuration. Artificial Intelligence, 135(1), 199\u2013234.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"1333_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1613\/jair.2905","volume":"37","author":"HR Andersen","year":"2010","unstructured":"Andersen, H. R., Hadzic, T., & Pisinger, D. (2010). Interactive cost configuration over decision diagrams. Journal of Artificial Intelligence Research, 37(1), 99\u2013140.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"1333_CR5","unstructured":"Arlt, V., G\u00fcnter, A., Hollmann, O., Wagner, T., & Hotz, L. (1999). EngCon - Engineering and Configuration. In Workshop on Configuration at AAAI"},{"key":"1333_CR6","unstructured":"Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A., & Thorstensen, E. (2011). Optimization methods for the partner units problem. In: International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (pp. 4\u201319). Springer."},{"issue":"3","key":"1333_CR7","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/2629454","volume":"15","author":"M Aschinger","year":"2014","unstructured":"Aschinger, M., Drescher, C., Gottlob, G., & Vollmer, H. (2014). LoCo-A logic for configuration problems. ACM Transactions on Computational Logic (TOCL), 15(3), 20.","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"issue":"3","key":"1333_CR8","first-page":"21","volume":"5","author":"J Bachant","year":"1984","unstructured":"Bachant, J., & McDermott, J. (1984). R1 revisited: Four years in the trenches. AI magazine, 5(3), 21.","journal-title":"AI magazine"},{"key":"1333_CR9","doi-asserted-by":"crossref","unstructured":"Balduccini, M. (2011). Industrial-size scheduling with ASP+CP. In International conference on logic programming and nonmonotonic reasoning, (pp. 284\u2013296). Springer.","DOI":"10.1007\/978-3-642-20895-9_33"},{"issue":"4","key":"1333_CR10","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1017\/S1471068403001807","volume":"3","author":"M Balduccini","year":"2003","unstructured":"Balduccini, M., & Gelfond, M. (2003). Diagnostic reasoning with A-Prolog. Theory and Practice of Logic Programming, 3(4), 425\u2013461.","journal-title":"Theory and Practice of Logic Programming"},{"key":"1333_CR11","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C Baral","year":"2004","unstructured":"Baral, C. (2004). Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge: Cambridge University Press."},{"key":"1333_CR12","unstructured":"Blochinger, W., Sinz, C., & K\u00fcchlin, W. (2001). Parallel consistency checking of automotive product data. In Proceedings of the international parallel computing conference, (pp. 50\u201357)."},{"key":"1333_CR13","unstructured":"BMBF: Zukunftsbild Industrie 4.0. (2013). In Brosch\u00fcre (pp. 99999-1679). Bonn: Bundesministerium f\u00fcr Bildung und Forschung (BMBF). Retrieved May 15, 2017 from https:\/\/www.bmbf.de\/pub\/Zukunftsbild_Industrie_4.0.pdf"},{"key":"1333_CR14","doi-asserted-by":"crossref","unstructured":"Brewka, G., Delgrande, J., Romero, J., & Schaub, T. (2015) Asprin: Customizing answer set preferences without a headache. In AAAI Conference on artificial intelligence, (pp. 1467\u20131474).","DOI":"10.1609\/aaai.v29i1.9398"},{"issue":"12","key":"1333_CR15","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., & Truszczy\u0144ski, M. (2011). Answer set programming at a glance. Communications of the ACM, 54(12), 92\u2013103.","journal-title":"Communications of the ACM"},{"key":"1333_CR16","unstructured":"Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., & Schaub, T. (2012). ASP-Core-2: Input language format (p 15). ASP Standardization Working Group, Tech. Rep. Retrieved May 15, 2017 from https:\/\/www.mat.unical.it\/aspcomp2013\/files\/ASP-CORE-2.00.pdf"},{"key":"1333_CR17","volume-title":"Future perfect","author":"SM Davis","year":"1987","unstructured":"Davis, S. M. (1987). Future perfect. MA: Addison-Wesley Reading."},{"issue":"4","key":"1333_CR18","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1177\/1063293X0100900407","volume":"9","author":"X Du","year":"2001","unstructured":"Du, X., Jiao, J., & Tseng, M. M. (2001). Architecture of product family:Fundamentals and methodology. Concurrent Engineering, 9(4), 309\u2013325.","journal-title":"Concurrent Engineering"},{"issue":"1\u20132","key":"1333_CR19","first-page":"99","volume":"12","author":"T Eiter","year":"1999","unstructured":"Eiter, T., Faber, W., Leone, N., & Pfeifer, G. (1999). The diagnosis frontend of the dlv system. AI Communications, 12(1\u20132), 99\u2013111.","journal-title":"AI Communications"},{"issue":"04","key":"1333_CR20","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1017\/S1471068415000113","volume":"16","author":"T Eiter","year":"2016","unstructured":"Eiter, T., Fink, M., Ianni, G., Krennwallner, T., Redl, C., & Sch\u00fcller, P. (2016). A model building framework for answer set programming with external computations. Theory and Practice of Logic Programming, 16(04), 418\u2013464. doi: 10.1017\/S1471068415000113 .","journal-title":"Theory and Practice of Logic Programming"},{"key":"1333_CR21","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.artint.2014.07.008","volume":"216","author":"T Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Sch\u00fcller, P., & Weinzierl, A. (2014). Finding explanations of inconsistency in multi-context systems. Artificial Intelligence, 216, 233\u2013274.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"1333_CR22","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/s11370-012-0119-x","volume":"5","author":"E Erdem","year":"2012","unstructured":"Erdem, E., Aker, E., & Patoglu, V. (2012). Answer set programming for collaborative housekeeping robotics: Representation, reasoning, and execution. Intelligent Service Robotics, 5(4), 275\u2013291.","journal-title":"Intelligent Service Robotics"},{"key":"1333_CR23","doi-asserted-by":"crossref","unstructured":"Erdem, E., Gelfond, M., & Leone, N. (2016). Applications of asp. AI Magazine, 37(3), 53\u201368. AAAI Press.","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"1333_CR24","doi-asserted-by":"crossref","unstructured":"Erdem, E., Haspalamutgil, K., Patoglu, V., & Uras, T. (2012). Causality-based planning and diagnostic reasoning for cognitive factories. In IEEE Conference on emerging technologies and factory automation","DOI":"10.1109\/ETFA.2012.6489636"},{"issue":"4\u20135","key":"1333_CR25","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1017\/S1471068413000525","volume":"13","author":"E Erdem","year":"2013","unstructured":"Erdem, E., Patoglu, V., Saribatur, Z. G., Sch\u00fcller, P., & Uras, T. (2013). Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach. Theory and Practice of Logic Programming, 13(4\u20135), 831\u2013846.","journal-title":"Theory and Practice of Logic Programming"},{"issue":"2","key":"1333_CR26","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0954-1810(01)00016-4","volume":"15","author":"A Felfernig","year":"2001","unstructured":"Felfernig, A., Friedrich, G., & Jannach, D. (2001). Conceptual modeling for configuration of mass-customizable products. Artificial Intelligence in Engineering, 15(2), 165\u2013176.","journal-title":"Artificial Intelligence in Engineering"},{"key":"1333_CR27","unstructured":"Felfernig, A., Friedrich, G. E., Jannach, D., & Stumptner, M. (2000). Exploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases. In Proceedings international configuration workshop at ECAI, (pp. 23\u201328)"},{"key":"1333_CR28","unstructured":"Friedrich, G., Ryabokon, A., Falkner, A. A., Haselb\u00f6ck, A., Schenner, G., & Schreiner, H. (2011). (Re)configuration using Answer Set Programming. In Second workshop on logics for component configuration (LoCoCo 2011), (pp. 26\u201335)"},{"key":"1333_CR29","doi-asserted-by":"publisher","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving made easy with Clingo 5. In International conference on logic programming: technical communications. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik. doi: 10.4230\/OASIcs.ICLP.2016.2","DOI":"10.4230\/OASIcs.ICLP.2016.2"},{"key":"1333_CR30","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Romero, J., & Schaub, T. (2015). Progress in clasp series 3. In Logic programming and nonmonotonic reasoning, (pp. 368\u2013383). Springer.","DOI":"10.1007\/978-3-319-23264-5_31"},{"key":"1333_CR31","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer set solving in practice. Morgan and Claypool Publishers.","DOI":"10.2200\/S00457ED1V01Y201211AIM019"},{"key":"1333_CR32","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., K\u00f6nig, A., & Schaub, T. (2011). Advances in gringo series 3. In Logic programming and nonmonotonic reasoning, (pp. 345\u2013351). Springer.","DOI":"10.1007\/978-3-642-20895-9_39"},{"key":"1333_CR33","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Clasp: A conflict-driven answer set solver. In Logic programming and nonmonotonic reasoning, (pp. 260\u2013265). Springer.","DOI":"10.1007\/978-3-540-72200-7_23"},{"key":"1333_CR34","doi-asserted-by":"crossref","unstructured":"Gebser, M., Maratea, M., & Ricca, F. (2016). What\u2019s hot in the Answer Set Programming Competition. In AAAI conference on artificial intelligence","DOI":"10.1007\/978-3-319-23264-5_44"},{"key":"1333_CR35","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., & Tompits, H. (2008). A meta-programming technique for debugging answer-set programs. In AAAI, (pp. 448\u2013453)."},{"key":"1333_CR36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139342124","volume-title":"Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach","author":"M Gelfond","year":"2014","unstructured":"Gelfond, M., & Kahl, Y. (2014). Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach. Cambridge: Cambridge University Press."},{"key":"1333_CR37","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In: International conference and symposium on logic programming (ICLP\/SLP), (pp. 1070\u20131080)"},{"key":"1333_CR38","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and deductive databases. New Generation Computing, 9, 365\u2013385.","journal-title":"New Generation Computing"},{"key":"1333_CR39","first-page":"89","volume":"3","author":"CP Gomes","year":"2008","unstructured":"Gomes, C. P., Kautz, H., Sabharwal, A., & Selman, B. (2008). Satisfiability solvers. Handbook of knowledge. Representation, 3, 89\u2013134.","journal-title":"Representation"},{"key":"1333_CR40","doi-asserted-by":"crossref","unstructured":"G\u00fcnter, A., & K\u00fchn, C. (1999) Knowledge-based configuration-survey and future directions. In German conference on knowledge-based systems, (pp. 47\u201366). Springer.","DOI":"10.1007\/10703016_3"},{"issue":"4","key":"1333_CR41","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/5254.708436","volume":"13","author":"A Haag","year":"1998","unstructured":"Haag, A. (1998). Sales configuration in business processes. IEEE Intelligent Systems and their Applications, 13(4), 78\u201385.","journal-title":"IEEE Intelligent Systems and their Applications"},{"key":"1333_CR42","unstructured":"Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., M\u00f8ller, J., & Hulgaard, H. (2004). Fast backtrack-free product configuration using a precompiled solution space representation. In PETO conference, (pp. 131\u2013138)"},{"key":"1333_CR43","doi-asserted-by":"crossref","unstructured":"Havur, G., Ozbilgin, G., Erdem, E., & Patoglu, V. (2014). Geometric rearrangement of multiple movable objects on cluttered surfaces: A hybrid reasoning approach. In IEEE international conference on robotics and automation (ICRA), (pp. 445\u2013452). IEEE.","DOI":"10.1109\/ICRA.2014.6906894"},{"key":"1333_CR44","doi-asserted-by":"crossref","unstructured":"Heinrich, M., & Jungst, E. (1991). A resource-based paradigm for the configuring of technical systems from modular components. In IEEE conference on artificial intelligence applications, (pp. 257\u2013264). IEEE.","DOI":"10.1109\/CAIA.1991.120878"},{"key":"1333_CR45","doi-asserted-by":"crossref","unstructured":"Hotz, L., Felfernig, A., G\u00fcnter, A., & Tiihonen, J. (2014). A short history of configuration technologies. Knowledge-based Configuration\u2013From Research to Business Cases (pp. 9\u201319). Newnes.","DOI":"10.1016\/B978-0-12-415817-7.00002-5"},{"key":"1333_CR46","first-page":"1","volume":"11","author":"T Janhunen","year":"2011","unstructured":"Janhunen, T., Liu, G., & Niemel\u00e4, I. (2011). Tight integration of non-ground answer set programming and satisfiability modulo theories. Proceedings of GTTV, 11, 1\u201313.","journal-title":"Proceedings of GTTV"},{"key":"1333_CR47","doi-asserted-by":"crossref","unstructured":"Jensen, R. M. (2004). CLab: A C++ library for fast backtrack-free interactive product configuration. In Principles and practice of constraint programming\u2013CP 2004, (pp. 816\u2013816). Springer.","DOI":"10.1007\/978-3-540-30201-8_94"},{"key":"1333_CR48","unstructured":"Junker, U., & Mailharro, D. (2003). The logic of ilog (j) configurator: Combining constraint programming with a description logic. In Workshop on configuration at IJCAI, (pp. 13\u201320)."},{"key":"1333_CR49","doi-asserted-by":"crossref","unstructured":"Klein, R. (1991) Model representation and taxonomic reasoning in configuration problem solving. In Fachtagung f\u00fcr K\u00fcnstliche intelligenz (GWAI-91), (pp. 182\u2013194). Springer.","DOI":"10.1007\/978-3-662-02711-0_20"},{"key":"1333_CR50","doi-asserted-by":"crossref","unstructured":"Klein, R., Buchheit, M., & Nutt, W. (1994). Configuration as model construction: The constructive problem solving approach. In Artificial intelligence in design, (pp. 201\u2013218). Springer.","DOI":"10.1007\/978-94-011-0928-4_12"},{"issue":"1\u20132","key":"1333_CR51","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1023\/A:1006370506164","volume":"24","author":"W K\u00fcchlin","year":"2000","unstructured":"K\u00fcchlin, W., & Sinz, C. (2000). Proving consistency assertions for automotive product data management. Journal of Automated Reasoning, 24(1\u20132), 145\u2013163.","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"1333_CR52","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1109\/TSMCC.2007.897503","volume":"37","author":"A Kusiak","year":"2007","unstructured":"Kusiak, A., Smith, M. R., & Song, Z. (2007). Planning product configurations based on sales data. IEEE Transactions on Systems, Man, and Cybernetics, Part C, 37(4), 602\u2013609.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C"},{"key":"1333_CR53","doi-asserted-by":"crossref","unstructured":"Lee, E. A. (2008). Cyber physical systems: Design challenges. In IEEE international symposium on object and component-oriented real-time distributed computing (ISORC), (pp. 363\u2013369)","DOI":"10.1109\/ISORC.2008.25"},{"key":"1333_CR54","unstructured":"Lee, J., & Meng, Y. (2013). Answer set programming modulo theories and reasoning about continuous changes. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 990\u2013996)."},{"key":"1333_CR55","doi-asserted-by":"crossref","unstructured":"Leone, N., & Ricca, F. (2015). Answer set programming: a tour from the basics to advanced development tools and industrial applications. In Reasoning web international summer school, (pp. 308\u2013326). Springer.","DOI":"10.1007\/978-3-319-21768-0_10"},{"key":"1333_CR56","first-page":"1594","volume":"8","author":"V Lifschitz","year":"2008","unstructured":"Lifschitz, V. (2008). What is answer set programming? AAAI, 8, 1594\u20131597.","journal-title":"AAAI"},{"key":"1333_CR57","doi-asserted-by":"crossref","unstructured":"Lin, F., & Zhao, Y. (2004). ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 157(1), 115\u2013137.","DOI":"10.1016\/j.artint.2004.04.004"},{"issue":"4","key":"1333_CR58","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1017\/S0890060498124101","volume":"12","author":"D Mailharro","year":"1998","unstructured":"Mailharro, D. (1998). A classification and constraint-based framework for configuration. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 12(4), 383\u2013397.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"issue":"4","key":"1333_CR59","first-page":"41","volume":"8","author":"S Marcus","year":"1987","unstructured":"Marcus, S., Stout, J., & McDermott, J. (1987). Vt: An expert elevator designer that uses knowledge-based backtracking. AI magazine, 8(4), 41.","journal-title":"AI magazine"},{"issue":"1","key":"1333_CR60","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(82)90021-2","volume":"19","author":"J McDermott","year":"1982","unstructured":"McDermott, J. (1982). R1: A rule-based configurer of computer systems. Artificial Intelligence, 19(1), 39\u201388.","journal-title":"Artificial Intelligence"},{"key":"1333_CR61","unstructured":"Mileo, A., & Nickles, M. (2013). Probabilistic inductive answer set programming by model sampling and counting. In International workshop on learning and nonmonotonic reasoning (LNMR), (pp. 5\u201316)."},{"key":"1333_CR62","unstructured":"Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction. In Proceedings eighth national conference on artificial intelligence, (pp. 25\u201332)."},{"key":"1333_CR63","unstructured":"Mittal, S., & Frayman, F. (1989). Towards a generic model of configuration tasks. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 1395\u20131401)."},{"key":"1333_CR64","unstructured":"M\u00f8ller, J., Andersen, H. R., & Hulgaard, H. (2001). Product configuration over the internet. In Proceedings of the 6th INFORMS"},{"key":"1333_CR65","unstructured":"Myll\u00e4rniemi, V., Asikainen, T., M\u00e4nnist\u00f6, T., & Soininen, T. (2005). Kumbang configurator \u2013 a configuration tool for software product families. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 51\u201356)."},{"key":"1333_CR66","doi-asserted-by":"crossref","unstructured":"Najmann, O., & Stein, B. (1992). A theoretical framework for configuration. In International conference on industrial, engineering and other applications of applied intelligent systems, (pp. 441\u2013450). Springer.","DOI":"10.1007\/BFb0024996"},{"key":"1333_CR67","doi-asserted-by":"crossref","unstructured":"Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., & Barry, M. (2001). An a-prolog decision support system for the space shuttle. In International symposium on practical aspects of declarative languages, (pp. 169\u2013183). Springer.","DOI":"10.1007\/3-540-45241-9_12"},{"key":"1333_CR68","unstructured":"Orsv\u00e4rn, K., & Axling, T. (1999). The tacton view of configuration tasks and engines. In Workshop on configuration at national conference on artificial intelligence (AAAI)"},{"issue":"4\u20135","key":"1333_CR69","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1017\/S1471068412000142","volume":"12","author":"M Ostrowski","year":"2012","unstructured":"Ostrowski, M., & Schaub, T. (2012). ASP modulo CSP: The clingcon system. Theory and Practice of Logic Programming, 12(4\u20135), 485\u2013503.","journal-title":"Theory and Practice of Logic Programming"},{"key":"1333_CR70","unstructured":"Pargamin, B. (2002). Vehicle sales configuration: the cluster tree approach. In Configuration workshop at ECAI at ECAI, (pp. 35\u201340)."},{"key":"1333_CR71","unstructured":"Pargamin, B. (2003). Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration. In Proceedings international joint conference on artificial intelligence (IJCAI)"},{"key":"1333_CR72","doi-asserted-by":"crossref","unstructured":"Rajkumar, R. R., Lee, I., Sha, L., & Stankovic, J. (2010). Cyber-physical systems. In Design automation conference (DAC), (pp. 731\u2013736).","DOI":"10.1145\/1837274.1837461"},{"issue":"1","key":"1333_CR73","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R. (1987). A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57\u201395.","journal-title":"Artificial Intelligence"},{"issue":"03","key":"1333_CR74","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S147106841100007X","volume":"12","author":"F Ricca","year":"2012","unstructured":"Ricca, F., Grasso, G., Alviano, M., Manna, M., Lio, V., Iiritano, S., et al. (2012). Team-building with answer set programming in the gioia-tauro seaport. Theory and Practice of Logic Programming, 12(03), 361\u2013381.","journal-title":"Theory and Practice of Logic Programming"},{"key":"1333_CR75","unstructured":"Russel, S., & Norvig, P. (2009). Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall."},{"issue":"4","key":"1333_CR76","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/5254.708432","volume":"13","author":"D Sabin","year":"1998","unstructured":"Sabin, D., & Weigel, R. (1998). Product configuration frameworks\u2014a survey. IEEE Intelligent Systems, 13(4), 42\u201349.","journal-title":"IEEE Intelligent Systems"},{"key":"1333_CR77","unstructured":"Schreiber, A. T., Terpstra, P., Magni, P., & Van\u00a0Velzen, M. (1994). Analysing and implementing VT using COMMON-KADS. In Proceedings workshop on knowledge acquisition for knowledge-based systems, (pp. 44\u20131)."},{"issue":"1","key":"1333_CR78","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., & Soininen, T. (2002). Extending and implementing the stable model semantics. Artificial Intelligence, 138(1), 181\u2013234.","journal-title":"Artificial Intelligence"},{"key":"1333_CR79","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/S1571-0653(04)00323-3","volume":"9","author":"C Sinz","year":"2001","unstructured":"Sinz, C., Blochinger, W., & K\u00fcchlin, W. (2001). PaSAT - Parallel SAT-checking with lemma exchange: Implementation and applications. Electronic Notes in Discrete Mathematics, 9, 205\u2013216.","journal-title":"Electronic Notes in Discrete Mathematics"},{"key":"1333_CR80","unstructured":"Sinz, C., Kaiser, A., & K\u00fcchlin, W. (2001). Detection of inconsistencies in complex product configuration data using extended propositional SAT-checking. In FLAIRS conference, (pp. 645\u2013649)."},{"issue":"1","key":"1333_CR81","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1017\/S0890060403171065","volume":"17","author":"C Sinz","year":"2003","unstructured":"Sinz, C., Kaiser, A., & K\u00fcchlin, W. (2003). Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 17(1), 75\u201397.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing"},{"key":"1333_CR82","first-page":"1993","volume":"1","author":"GL Snavely","year":"1993","unstructured":"Snavely, G. L., & Papalambros, P. Y. (1993). Abstraction as a configuration design methodology. Advances in Design Automation, 1, 1993.","journal-title":"Advances in Design Automation"},{"key":"1333_CR83","doi-asserted-by":"crossref","unstructured":"Soininen, T., & Niemel\u00e4, I. (1998). Developing a declarative rule language for applications in product configuration. In Practical aspects of declarative languages, (pp. 305\u2013319). Springer.","DOI":"10.1007\/3-540-49201-1_21"},{"key":"1333_CR84","unstructured":"Soininen, T., Niemel\u00e4, I., Tiihonen, J., & Sulonen, R. (2001). Representing configuration knowledge with weight constraint rules. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming (pp. 195\u2013201). AAAI Press."},{"key":"1333_CR85","unstructured":"Soloway, E., Bachant, J., & Jensen, K. (1987). Assessing the maintainability of XCON-in-RIME: Coping with problems of a very large rule base. In Proceedings international conference on artificial intelligence, (pp. 824\u2013829). Morgan Kaufman."},{"issue":"7","key":"1333_CR86","doi-asserted-by":"publisher","first-page":"1733","DOI":"10.1080\/00207540701644235","volume":"47","author":"Z Song","year":"2009","unstructured":"Song, Z., & Kusiak, A. (2009). Optimising product configurations with a data-mining approach. International Journal of Production Research, 47(7), 1733\u20131751.","journal-title":"International Journal of Production Research"},{"issue":"2","key":"1333_CR87","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":"1333_CR88","unstructured":"Subbarayan, S. (Ed.) (2004). CLib: configuration benchmarks library. Retrieved May 15, 2017 from https:\/\/www.itu.dk\/research\/cla\/externals\/clib\/"},{"key":"1333_CR89","first-page":"77","volume":"6","author":"T Syrj\u00e4nen","year":"2006","unstructured":"Syrj\u00e4nen, T. (2006). Debugging inconsistent answer set programs. Proc. NMR, 6, 77\u201383.","journal-title":"Proc. NMR"},{"key":"1333_CR90","doi-asserted-by":"crossref","unstructured":"Tiihonen, J., & Anderson, A. (2014). VariSales. Knowledge-based configuration-from research to business cases (pp. 377\u2013388). Newnes.","DOI":"10.1016\/B978-0-12-415817-7.00026-8"},{"issue":"1","key":"1333_CR91","doi-asserted-by":"publisher","first-page":"99","DOI":"10.3233\/AIC-2012-0547","volume":"26","author":"J Tiihonen","year":"2013","unstructured":"Tiihonen, J., Heiskala, M., Anderson, A., & Soininen, T. (2013). WeCoTin-A practical logic-based sales configurator. AI Communications, 26(1), 99\u2013131.","journal-title":"AI Communications"},{"key":"1333_CR92","unstructured":"Tiihonen, J., Soininen, T., Niemel\u00e4, I., & Sulonen, R. (2003). A practical tool for mass-customising configurable products. In Proceedings international conference on engineering design, (pp. 1290\u20131299)."},{"key":"1333_CR93","volume-title":"Artificial Intelligence in Engineering Design, Volume 1: Design Representation and Models of Routine Design","author":"C Tong","year":"1992","unstructured":"Tong, C., & Sriram, D. (1992). Artificial Intelligence in Engineering Design, Volume 1: Design Representation and Models of Routine Design. San Diego, CA: Academic Press."},{"key":"1333_CR94","first-page":"234","volume":"8","author":"GS Tseitin","year":"1968","unstructured":"Tseitin, G. S. (1968). On the complexity of proof in prepositional calculus. Zapiski Nauchnykh Seminarov POMI, 8, 234\u2013259.","journal-title":"Zapiski Nauchnykh Seminarov POMI"},{"issue":"4","key":"1333_CR95","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1016\/j.eswa.2005.06.026","volume":"29","author":"HE Tseng","year":"2005","unstructured":"Tseng, H. E., Chang, C. C., & Chang, S. H. (2005). Applying case-based reasoning for product configuration in mass customization environments. Expert Systems with Applications, 29(4), 913\u2013925.","journal-title":"Expert Systems with Applications"},{"key":"1333_CR96","doi-asserted-by":"publisher","unstructured":"Walter, R., Felfernig, A. & K\u00fcchlin, W. (2016). J Intell Inf Syst. doi: 10.1007\/s10844-016-0422-7 .","DOI":"10.1007\/s10844-016-0422-7"},{"key":"1333_CR97","unstructured":"Walter, R., & K\u00fcchlin, W. (2014). ReMax \u2013 A MaxSAT aided Product (Re-)Configurator. In International configuration workshop, (p.\u00a059)."},{"key":"1333_CR98","unstructured":"Walter, R., Zengler, C., & K\u00fcchlin, W. (2013). Applications of MaxSAT in Automotive Configuration. Configuration Workshop, 1(2), 21. 15th International."},{"issue":"20","key":"1333_CR99","doi-asserted-by":"publisher","first-page":"4455","DOI":"10.1080\/00207540500142381","volume":"43","author":"H Xie","year":"2005","unstructured":"Xie, H., Henderson, P., & Kernahan, M. (2005). Modelling and solving engineering product configuration problems by constraint satisfaction. International Journal of Production Research, 43(20), 4455\u20134469.","journal-title":"International Journal of Production Research"},{"issue":"4","key":"1333_CR100","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/5254.708431","volume":"13","author":"B Yu","year":"1998","unstructured":"Yu, B., & Skovgaard, H. J. (1998). A configuration tool to increase product competitiveness. IEEE Intelligent Systems, 13(4), 34\u201341.","journal-title":"IEEE Intelligent Systems"},{"issue":"3","key":"1333_CR101","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1109\/TRO.2015.2422531","volume":"31","author":"S Zhang","year":"2015","unstructured":"Zhang, S., Sridharan, M., & Wyatt, J. L. (2015). Mixed logical inference and probabilistic planning for robots in unreliable worlds. IEEE Transactions on Robotics, 31(3), 699\u2013713.","journal-title":"IEEE Transactions on Robotics"}],"container-title":["Journal of Intelligent Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10845-017-1333-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-017-1333-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10845-017-1333-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,28]],"date-time":"2022-07-28T19:29:38Z","timestamp":1659036578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10845-017-1333-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,20]]},"references-count":101,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["1333"],"URL":"https:\/\/doi.org\/10.1007\/s10845-017-1333-3","relation":{},"ISSN":["0956-5515","1572-8145"],"issn-type":[{"value":"0956-5515","type":"print"},{"value":"1572-8145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,20]]},"assertion":[{"value":"20 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 May 2017","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 May 2017","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}