{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T00:24:43Z","timestamp":1779323083715,"version":"3.51.4"},"reference-count":80,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T00:00:00Z","timestamp":1528848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["FFG-PNr.: 861263"],"award-info":[{"award-number":["FFG-PNr.: 861263"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010669","name":"H2020 LEIT Information and Communication Technologies","doi-asserted-by":"publisher","award":["737459"],"award-info":[{"award-number":["737459"]}],"id":[{"id":"10.13039\/100010669","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1007\/s13218-018-0548-6","type":"journal-article","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T14:44:55Z","timestamp":1529073895000},"page":"165-176","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":76,"title":["Industrial Applications of Answer Set Programming"],"prefix":"10.1007","volume":"32","author":[{"given":"Andreas","family":"Falkner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0286-0958","authenticated-orcid":false,"given":"Konstantin","family":"Schekotihin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7639-1616","authenticated-orcid":false,"given":"Richard","family":"Taupe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich C.","family":"Teppan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,13]]},"reference":[{"key":"548_CR1","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/978-3-642-20832-4_23","volume-title":"Logic programming, knowledge representation, and nonmonotonic reasoning\u2014essays dedicated to Michael Gelfond on the occasion of his 65th birthday","author":"M Albanese","year":"2011","unstructured":"Albanese M, Broecheler M, Grant J, Martinez MV, Subrahmanian VS (2011) PLINI: a probabilistic logic program framework for inconsistent news information. In: Balduccini M, Son TC (eds) Logic programming, knowledge representation, and nonmonotonic reasoning\u2014essays dedicated to Michael Gelfond on the occasion of his 65th birthday, Lecture notes in computer science, vol 6565. Springer, Berlin, Heidelberg, pp 347\u2013376"},{"key":"548_CR2","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-319-23264-5_5","volume-title":"Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015","author":"M Alviano","year":"2015","unstructured":"Alviano M, Dodaro C, Leone N, Ricca F (2015) Advances in WASP. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015, Lecture notes in computer science, vol 9345. Springer, Cham, pp 40\u201354"},{"key":"548_CR3","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-3-642-21311-3_4","volume-title":"Integration of AI and OR techniques in constraint programming for combinatorial optimization problems\u20148th international conference, CPAIOR 2011","author":"M Aschinger","year":"2011","unstructured":"Aschinger M, Drescher C, Friedrich G, Gottlob G, Jeavons P, Ryabokon A, Thorstensen E (2011) Optimization methods for the partner units problem. In: Achterberg T, Beck JC (eds) Integration of AI and OR techniques in constraint programming for combinatorial optimization problems\u20148th international conference, CPAIOR 2011, Lecture notes in computer science, vol 6697. Springer, Berlin, Heidelberg, pp 4\u201319"},{"key":"548_CR4","unstructured":"Balduccini M (2009) Representing constraint satisfaction problems in answer set programming. ICLP09 workshop on answer set programming and other computing paradigms (ASPOCP09)"},{"key":"548_CR5","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/978-3-642-20895-9_33","volume-title":"Logic programming and nonmonotonic reasoning\u201411th international conference, LPNMR 2011","author":"M Balduccini","year":"2011","unstructured":"Balduccini M (2011) Industrial-size scheduling with ASP+CP. In: Delgrande JP, Faber W (eds) Logic programming and nonmonotonic reasoning\u201411th international conference, LPNMR 2011, Lecture notes in computer science, vol 6645. Springer, Berlin, Heidelberg, pp 284\u2013296"},{"issue":"2","key":"548_CR6","doi-asserted-by":"crossref","first-page":"147","DOI":"10.3233\/AIC-2011-0493","volume":"24","author":"M Balduccini","year":"2011","unstructured":"Balduccini M (2011) Learning and using domain-specific heuristics in ASP solvers. AI Commun 24(2):147\u2013164","journal-title":"AI Commun"},{"key":"548_CR7","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-319-61660-5_24","volume-title":"Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017","author":"M Banbara","year":"2017","unstructured":"Banbara M, Inoue K, Kaneyuki H, Okimoto T, Schaub T, Soh T, Tamura N (2017) catnap: generating test suites of constrained combinatorial testing with answer set programming. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Lecture notes in computer science, vol 10377. Springer, Cham, pp 265\u2013278"},{"key":"548_CR8","doi-asserted-by":"crossref","unstructured":"Banbara M, Inoue K, Kaufmann B, Okimoto T, Schaub T, Soh T, Tamura N, Wanko P (2018) teaspoon: solving the curriculum-based course timetabling problems with answer set programming. Ann Oper Res","DOI":"10.1007\/s10479-018-2757-7"},{"issue":"1","key":"548_CR9","first-page":"57","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral C, Gelfond M, Rushton JN (2009) Probabilistic reasoning with answer sets. TPLP 9(1):57\u2013144","journal-title":"TPLP"},{"key":"548_CR10","doi-asserted-by":"crossref","unstructured":"Beck H, Bierbaumer B, Dao-Tran M, Eiter T, Hellwagner H, Schekotihin K (2016) Rule-based stream reasoning for intelligent administration of content-centric networks. In: Michael L, Kakas AC (eds) Logics in artificial intelligence\u201415th European conference, JELIA 2016, Lecture notes in computer science, vol 10021. Springer International Publishing, pp 522\u2013528","DOI":"10.1007\/978-3-319-48758-8_34"},{"issue":"12","key":"548_CR11","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka G, Eiter T, Truszczynski M (2011) Answer set programming at a glance. Commun ACM 54(12):92\u2013103","journal-title":"Commun ACM"},{"key":"548_CR12","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/978-3-319-23264-5_16","volume-title":"Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015","author":"A Brik","year":"2015","unstructured":"Brik A, Remmel JB (2015) Diagnosing automatic whitelisting for dynamic remarketing ads using hybrid ASP. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015, Lecture notes in computer science, vol 9345. Springer, Cham, pp 173\u2013185"},{"issue":"4","key":"548_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1007\/s10817-007-9082-1","volume":"39","author":"DR Brooks","year":"2007","unstructured":"Brooks DR, Erdem E, Erdogan ST, Minett JW, Ringe D (2007) Inferring phylogenetic trees using answer set programming. J Autom Reason 39(4):471\u2013511","journal-title":"J Autom Reason"},{"key":"548_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri F, Gebser M, Maratea M, Ricca F (2016) Design and results of the fifth answer set programming competition. Artif Intell 231:151\u2013181","journal-title":"Artif Intell"},{"key":"548_CR15","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-319-61660-5_25","volume-title":"Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017","author":"M Dahlem","year":"2017","unstructured":"Dahlem M, Jain T, Schneider K, Gillmann M (2017) Automatic synthesis of optimal-size concentrators by answer set programming. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Lecture notes in computer science, vol 10377. Springer, Cham, pp 279\u2013285"},{"issue":"3","key":"548_CR16","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FI-2009-180","volume":"96","author":"A Pal\u00f9 Dal","year":"2009","unstructured":"Dal Pal\u00f9 A, Dovier A, Pontelli E, Rossi G (2009) GASP: answer set programming with lazy grounding. Fundamenta Inform 96(3):297\u2013322","journal-title":"Fundamenta Inform"},{"key":"548_CR17","unstructured":"Dal Pal\u00f9 A, Dovier A, Formisano A, Pontelli E (2014) Exploring life through logic programming: answer set programming in bioinformatics. Tech Rep TR-CS-NMSU-2014-10-24, New Mexico State University. https:\/\/www.cs.nmsu.edu\/wp\/wp-content\/uploads\/2014\/10\/TR-CS-NMSU-2014-10-24.pdf"},{"key":"548_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-642-33353-8_38","volume-title":"Logics in artificial intelligence\u201413th European conference, JELIA 2012","author":"M Dao-Tran","year":"2012","unstructured":"Dao-Tran M, Eiter T, Fink M, Weidinger G, Weinzierl A (2012) Omiga: an open minded grounding on-the-fly answer set solver. In: del Cerro LF, Herzig A, Mengin J (eds) Logics in artificial intelligence\u201413th European conference, JELIA 2012, Lecture notes in computer science, vol 7519. Springer, Berlin, Heidelberg, pp 480\u2013483"},{"key":"548_CR19","doi-asserted-by":"crossref","unstructured":"Dhungana D, Falkner AA, Haselb\u00f6ck A (2013) Generation of conjoint domain models for system-of-systems. In: J\u00e4rvi J, K\u00e4stner C (eds) Generative programming: concepts and experiences, GPCE\u201913, ACM, Indianapolis, IN, USA\u2014October 27\u201328, 2013, pp 159\u2013168","DOI":"10.1145\/2517208.2517224"},{"issue":"5\u20136","key":"548_CR20","first-page":"653","volume":"16","author":"C Dodaro","year":"2016","unstructured":"Dodaro C, Gasteiger P, Leone N, Musitsch B, Ricca F, Schekotihin K (2016) Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). TPLP 16(5\u20136):653\u2013669","journal-title":"TPLP"},{"key":"548_CR21","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-319-61660-5_27","volume-title":"Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017","author":"C Dodaro","year":"2017","unstructured":"Dodaro C, Maratea M (2017) Nurse scheduling via answer set programming. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Lecture notes in computer science, vol 10377. Springer, Cham, pp 301\u2013307"},{"issue":"2","key":"548_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1080\/09528130701538174","volume":"21","author":"A Dovier","year":"2009","unstructured":"Dovier A, Formisano A, Pontelli E (2009) An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. J Exp Theor Artif Intell 21(2):79\u2013121","journal-title":"J Exp Theor Artif Intell"},{"key":"548_CR23","doi-asserted-by":"crossref","unstructured":"Drescher C (2012) The partner units problem a constraint programming case study. In: IEEE 24th international conference on tools with artificial intelligence, ICTAI 2012, IEEE Computer Society, pp 170\u2013177","DOI":"10.1109\/ICTAI.2012.31"},{"issue":"1\u20132","key":"548_CR24","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0004-3702(02)00367-3","volume":"144","author":"T Eiter","year":"2003","unstructured":"Eiter T, Faber W, Leone N, Pfeifer G, Polleres A (2003) A logic programming approach to knowledge-state planning, II: the DLVK system. Artif Intell 144(1\u20132):157\u2013211","journal-title":"Artif Intell"},{"issue":"4","key":"548_CR25","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. Intell Ser Robot 5(4):275\u2013291","journal-title":"Intell Ser Robot"},{"issue":"3","key":"548_CR26","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1609\/aimag.v37i3.2678","volume":"37","author":"E Erdem","year":"2016","unstructured":"Erdem E, Gelfond M, Leone N (2016) Applications of answer set programming. AI Magaz 37(3):53\u201368","journal-title":"AI Magaz"},{"issue":"1","key":"548_CR27","first-page":"35","volume":"15","author":"E Erdem","year":"2015","unstructured":"Erdem E, \u00d6ztok U (2015) Generating explanations for biomedical queries. TPLP 15(1):35\u201378","journal-title":"TPLP"},{"key":"548_CR28","unstructured":"Erdem E, Patoglu V, Saribatur ZG (2013) Integrating hybrid diagnostic reasoning in plan execution monitoring for cognitive factories with multiple robots. In: IEEE international conference on robotics and automation, ICRA 2015, IEEE, pp 2007\u20132013"},{"key":"548_CR29","unstructured":"Erdem E, T\u00fcre F (2008) Efficient haplotype inference with answer set programming. In: Fox D, Gomes CP (eds) Proceedings of the 23rd AAAI conference on artificial intelligence, AAAI 2008. AAAI Press, pp 436\u2013441"},{"issue":"4","key":"548_CR30","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1609\/aimag.v37i4.2688","volume":"37","author":"AA Falkner","year":"2016","unstructured":"Falkner AA, Friedrich G, Haselb\u00f6ck A, Schenner G, Schreiner H (2016) Twenty-five years of successful application of constraint technologies at Siemens. AI Magaz 37(4):67\u201380","journal-title":"AI Magaz"},{"key":"548_CR31","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1007\/978-3-319-23264-5_28","volume-title":"Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015","author":"AA Falkner","year":"2015","unstructured":"Falkner AA, Ryabokon A, Schenner G, Shchekotykhin KM (2015) OOASP: connecting object-oriented and logic programming. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015, Lecture notes in computer science, vol 9345. Springer, Cham, pp 332\u2013345"},{"issue":"8","key":"548_CR32","first-page":"28","volume":"9","author":"M Fowler","year":"2001","unstructured":"Fowler M, Highsmith J (2001) The agile manifesto. Softw Dev 9(8):28\u201335","journal-title":"Softw Dev"},{"key":"548_CR33","doi-asserted-by":"crossref","unstructured":"Fr\u00e9chette A, Newman N, Leyton-Brown K (2016) Solving the station repacking problem. In: Schuurmans D, Wellman MP (eds) Proceedings of the thirtieth AAAI conference on artificial intelligence. AAAI Press, pp 702\u2013709","DOI":"10.1609\/aaai.v30i1.10077"},{"issue":"2","key":"548_CR34","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TSE.2010.8","volume":"36","author":"G Friedrich","year":"2010","unstructured":"Friedrich G, Fugini M, Mussi E, Pernici B, Tagni G (2010) Exception handling for repair in service-based processes. IEEE Trans Softw Eng 36(2):198\u2013215","journal-title":"IEEE Trans Softw Eng"},{"key":"548_CR35","doi-asserted-by":"crossref","unstructured":"Furche T, Gottlob G, Grasso G, Gunes O, Guo X, Kravchenko A, Orsi G, Schallhart C, Sellers AJ, Wang C (2012) DIADEM: domain-centric, intelligent, automated data extraction methodology. In: Mille A, Gandon FL, Misselis J, Rabinovich M, Staab S (eds) Proceedings of the 21st World Wide Web conference, WWW 2012. ACM, pp 267\u2013270","DOI":"10.1145\/2187980.2188025"},{"key":"548_CR36","unstructured":"Gebser M, Guziolowski C, Ivanchev M, Schaub T, Siegel A, Thiele S, Veber P (2010) Repair and prediction (under inconsistency) in large biological networks with answer set programming. In: Lin F, Sattler U, Truszczynski M (eds) Principles of knowledge representation and reasoning: proceedings of the twelfth international conference, KR 2010. AAAI Press"},{"key":"548_CR37","unstructured":"Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Wanko P (2016) Theory solving made easy with clingo 5. In: ICLP (Technical Communications), OASICS, vol 52. Schloss Dagstuhl, pp 2:1\u20132:15"},{"key":"548_CR38","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T (2017) Multi-shot ASP solving with clingo. CoRR abs\/1705.09811"},{"key":"548_CR39","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaminski R, Schaub T (2011) aspcud: a linux package configuration tool based on answer set programming. In: Drescher C, Lynce I, Treinen R (eds) Proceedings second workshop on logics for component configuration, LoCoCo 2011, EPTCS, vol 65, pp 12\u201325","DOI":"10.4204\/EPTCS.65.2"},{"key":"548_CR40","doi-asserted-by":"crossref","unstructured":"Gebser M, Kaufmann B, Romero J, Otero R, Schaub T, Wanko P (2013) Domain-specific heuristics in answer set programming. In: des Jardins M, Littman ML (eds) Proceedings of the twenty-seventh AAAI conference on artificial intelligence. AAAI Press","DOI":"10.1609\/aaai.v27i1.8585"},{"key":"548_CR41","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","volume":"187","author":"M Gebser","year":"2012","unstructured":"Gebser M, Kaufmann B, Schaub T (2012) Conflict-driven answer set solving: from theory to practice. Artif Intell 187:52\u201389","journal-title":"Artif Intell"},{"key":"548_CR42","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/978-3-319-23264-5_44","volume-title":"Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015","author":"M Gebser","year":"2015","unstructured":"Gebser M, Maratea M, Ricca F (2015) The design of the sixth answer set programming competition\u2014report. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u201413th international conference, LPNMR 2015, Lecture notes in computer science, vol 9345. Springer, Switzerland, pp 531\u2013544"},{"key":"548_CR43","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1007\/978-3-319-23264-5_32","volume-title":"Logic programming and nonmonotonic reasoning\u2014Proceedings of 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27\u201330, 2015","author":"M Gebser","year":"2015","unstructured":"Gebser M, Ryabokon A, Schenner G (2015) Combining heuristics for configuration problems using answer set programming. In: Calimeri F, Ianni G, Truszczynski M (eds) Logic programming and nonmonotonic reasoning\u2014Proceedings of 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27\u201330, 2015, Lecture notes in computer science, vol 9345. Springer, Cham, pp 384\u2013397"},{"issue":"12","key":"548_CR44","doi-asserted-by":"publisher","first-page":"1549","DOI":"10.1016\/j.dam.2006.10.007","volume":"155","author":"E Goldberg","year":"2007","unstructured":"Goldberg E, Novikov Y (2007) Berkmin: a fast and robust sat-solver. Discrete Appl Math 155(12):1549\u20131561","journal-title":"Discrete Appl Math"},{"key":"548_CR45","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-20832-4_27","volume-title":"Logic programming, knowledge representation, and nonmonotonic reasoning\u2014essays dedicated to Michael Gelfond on the occasion of his 65th birthday","author":"G Grasso","year":"2011","unstructured":"Grasso G, Leone N, Manna M, Ricca F (2011) ASP at work: spin-off and applications of the DLV system. In: Balduccini M, Son TC (eds) Logic programming, knowledge representation, and nonmonotonic reasoning\u2014essays dedicated to Michael Gelfond on the occasion of his 65th birthday, Lecture notes in computer science, vol 6565. Springer, Berlin, Heidelberg, pp 432\u2013451"},{"key":"548_CR46","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-3-642-39666-3_3","volume-title":"Web reasoning and rule systems\u20147th international conference, RR 2013","author":"G Grasso","year":"2013","unstructured":"Grasso G, Leone N, Ricca F (2013) Answer set programming: language, applications and development tools. In: Faber W, Lembo D (eds) Web reasoning and rule systems\u20147th international conference, RR 2013, Lecture notes in computer science, vol 7994. Springer, Berlin, Heidelberg, pp 19\u201334"},{"key":"548_CR47","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32925-8_1","volume-title":"Datalog in academia and industry\u2014second international workshop, Datalog 2.0","author":"TJ Green","year":"2012","unstructured":"Green TJ, Aref M, Karvounarakis G (2012) Logicblox platform and language a tutorial. In: Barcel\u00f3 P, Pichler R (eds) Datalog in academia and industry\u2014second international workshop, Datalog 2.0, Lecture notes in computer science, vol 7494. Springer, Berlin, Heidelberg, pp 1\u20138"},{"issue":"4\u20135","key":"548_CR48","first-page":"569","volume":"14","author":"H Hoos","year":"2014","unstructured":"Hoos H, Lindauer MT, Schaub T (2014) claspfolio 2: advances in algorithm selection for answer set programming. TPLP 14(4\u20135):569\u2013585","journal-title":"TPLP"},{"key":"548_CR49","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/978-3-642-04238-6_31","volume-title":"Logic programming and nonmonotonic reasoning, Proceedings of 10th international conference, LPNMR 2009, Potsdam, Germany, September 14\u201318, 2009","author":"SM Ielpa","year":"2009","unstructured":"Ielpa SM, Iiritano S, Leone N, Ricca F (2009) An asp-based system for e-tourism. In: Erdem E, Lin F, Schaub T (eds) Logic programming and nonmonotonic reasoning, Proceedings of 10th international conference, LPNMR 2009, Potsdam, Germany, September 14\u201318, 2009. Lecture notes in computer science, vol 5753. Springer, Berlin, Heidelberg, pp 368\u2013381"},{"issue":"3","key":"548_CR50","first-page":"266","volume":"17","author":"C Lef\u00e8vre","year":"2017","unstructured":"Lef\u00e8vre C, B\u00e9atrix C, St\u00e9phan I, Garcia L (2017) Asperix, a first-order forward chaining approach for answer set computing. TPLP 17(3):266\u2013310","journal-title":"TPLP"},{"key":"548_CR51","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/978-3-319-21768-0_10","volume-title":"Reasoning web. Web logic rules\u201411th international summer school 2015, tutorial lectures","author":"N Leone","year":"2015","unstructured":"Leone N, Ricca F (2015) Answer set programming: a tour from the basics to advanced development tools and industrial applications. In: Faber W, Paschke A (eds) Reasoning web. Web logic rules\u201411th international summer school 2015, tutorial lectures, Lecture notes in computer science, vol 9203. Springer, Cham, pp 308\u2013326"},{"key":"548_CR52","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/978-3-642-27694-1_6","volume-title":"Practical aspects of declarative languages\u201414th international symposium, PADL 2012","author":"Y Lierler","year":"2012","unstructured":"Lierler Y, Smith S, Truszczynski M, Westlund A (2012) Weighted-sequence problem: ASP vs CASP and declarative vs problem-oriented solving. In: Russo CV, Zhou N (eds) Practical aspects of declarative languages\u201414th international symposium, PADL 2012, Lecture notes in computer science, vol 7149. Springer, Berlin, Heidelberg, pp 63\u201377"},{"issue":"5\u20136","key":"548_CR53","first-page":"961","volume":"17","author":"V Lifschitz","year":"2017","unstructured":"Lifschitz V (2017) Achievements in answer set programming. TPLP 17(5\u20136):961\u2013973","journal-title":"TPLP"},{"issue":"2","key":"548_CR54","first-page":"227","volume":"13","author":"M Manna","year":"2013","unstructured":"Manna M, Ricca F, Terracina G (2013) Consistent query answering via ASP from different perspectives: theory and practice. TPLP 13(2):227\u2013252","journal-title":"TPLP"},{"key":"548_CR55","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"484","DOI":"10.1007\/978-3-642-33353-8_39","volume-title":"Logics in artificial intelligence\u201413th European conference, JELIA 2012","author":"M Maratea","year":"2012","unstructured":"Maratea M, Pulina L, Ricca F (2012) The multi-engine ASP solver me-asp. In: del Cerro LF, Herzig A, Mengin J (eds) Logics in artificial intelligence\u201413th European conference, JELIA 2012, Lecture notes in computer science, vol 7519. Springer, Berlin, Heidelberg, pp 484\u2013487"},{"issue":"1\u20134","key":"548_CR56","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10472-009-9116-y","volume":"53","author":"VS Mellarkod","year":"2008","unstructured":"Mellarkod VS, Gelfond M, Zhang Y (2008) Integrating answer set programming and constraint logic programming. Ann Math Artif Intell 53(1\u20134):251\u2013287","journal-title":"Ann Math Artif Intell"},{"key":"548_CR57","doi-asserted-by":"crossref","unstructured":"Moskewicz MW, Madigan CF, Zhao Y, Zhang L, Malik S (2001) Chaff: engineering an efficient SAT solver. In: Proceedings of the 38th design automation conference, DAC 2001. ACM, pp 530\u2013535","DOI":"10.1145\/378239.379017"},{"issue":"3","key":"548_CR58","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.jal.2008.10.001","volume":"7","author":"TH Nam","year":"2009","unstructured":"Nam TH, Baral C (2009) Hypothesizing about signaling networks. J Appl Logic 7(3):253\u2013274","journal-title":"J Appl Logic"},{"key":"548_CR59","doi-asserted-by":"crossref","unstructured":"Neubauer K, Wanko P, Schaub T, Haubelt C (2017) Enhancing symbolic system synthesis through aspmt with partial assignment evaluation. In: Atienza D, Natale GD (eds) Design, automation and test in Europe conference and exhibition, DATE 2017. IEEE, pp 306\u2013309","DOI":"10.23919\/DATE.2017.7927005"},{"key":"548_CR60","doi-asserted-by":"crossref","unstructured":"Neubauer K, Wanko P, Schaub T, Haubelt C (2018) Exact multi-objective design space exploration using aspmt. In: 2018 design, automation and test in Europe conference and exhibition, DATE 2018. IEEE, pp 257\u2013260","DOI":"10.23919\/DATE.2018.8342014"},{"key":"548_CR61","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-319-73305-0_13","volume-title":"Practical aspects of declarative languages\u201420th international symposium, PADL 2018","author":"TH Nguyen","year":"2018","unstructured":"Nguyen TH, Son TC, Pontelli E (2018) Automatic web services composition for phylotastic. In: Calimeri F, Hamlen KW, Leone N (eds) Practical aspects of declarative languages\u201420th international symposium, PADL 2018, Lecture notes in computer science, vol 10702. Springer, Cham, pp 186\u2013202"},{"key":"548_CR62","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-45241-9_12","volume-title":"Practical aspects of declarative languages, Proceedings of third international symposium, PADL 2001, Las Vegas, Nevada, March 11\u201312, 2001","author":"M Nogueira","year":"2001","unstructured":"Nogueira M, Balduccini M, Gelfond M, Watson R, Barry M (2001) An a-prolog decision support system for the space shuttle. In: Ramakrishnan IV (ed) Practical aspects of declarative languages, Proceedings of third international symposium, PADL 2001, Las Vegas, Nevada, March 11\u201312, 2001, Lecture notes in computer science, vol 1990. Springer, Berlin, Heidelberg, pp 169\u2013183"},{"key":"548_CR63","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1007\/978-3-319-50115-4_60","volume-title":"International symposium on experimental robotics, ISER 2016, Springer proceedings in advanced robotics","author":"A Nouman","year":"2016","unstructured":"Nouman A, Yalciner IF, Erdem E, Patoglu V (2016) Experimental evaluation of hybrid conditional planning for service robotics. In: Kulic D, Nakamura Y, Khatib O, Venture G (eds) International symposium on experimental robotics, ISER 2016, Springer proceedings in advanced robotics, vol 1. Springer, Cham, pp 692\u2013702"},{"issue":"4\u20135","key":"548_CR64","first-page":"485","volume":"12","author":"M Ostrowski","year":"2012","unstructured":"Ostrowski M, Schaub T (2012) ASP modulo CSP: the clingcon system. TPLP 12(4\u20135):485\u2013503","journal-title":"TPLP"},{"key":"548_CR65","unstructured":"Pal\u00f9 AD, Dovier A, Formisano A, Policriti A, Pontelli E (2016) Logic programming applied to genome evolution in cancer. In: Fiorentini C, Momigliano A (eds) Proceedings of the 31st Italian conference on computational logic, Milano, Italy, June 20\u201322, 2016, CEUR workshop proceedings, vol 1645. CEUR-WS.org, pp 148\u2013157"},{"issue":"3","key":"548_CR66","first-page":"361","volume":"12","author":"F Ricca","year":"2012","unstructured":"Ricca F, Grasso G, Alviano M, Manna M, Lio V, Iiritano S, Leone N (2012) Team-building with answer set programming in the gioia-tauro seaport. TPLP 12(3):361\u2013381","journal-title":"TPLP"},{"key":"548_CR67","unstructured":"Roebuck K (2012) Systems development life cycle (SDLC). Emereo Publishing"},{"key":"548_CR68","unstructured":"Rumbaugh J, Jacobson I, Booch G (2005) The unified modeling language reference manual, 2nd edn. Addison-Wesley"},{"issue":"3\u20134","key":"548_CR69","first-page":"141","volume":"3","author":"R Sebastiani","year":"2007","unstructured":"Sebastiani R (2007) Lazy satisability modulo theories. JSAT 3(3\u20134):141\u2013224","journal-title":"JSAT"},{"key":"548_CR70","doi-asserted-by":"crossref","unstructured":"Shchekotykhin KM (2015) Interactive query-based debugging of ASP programs. In: B Bonet, S Koenig (eds) Proceedings of the twenty-ninth AAAI conference on artificial intelligence. AAAI Press, pp 1597\u20131603","DOI":"10.1609\/aaai.v29i1.9394"},{"key":"548_CR71","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-49201-1_21","volume-title":"Practical aspects of declarative languages, first international workshop, PADL\u201999","author":"T Soininen","year":"1999","unstructured":"Soininen T, Niemel\u00e4 I (1999) Developing a declarative rule language for applications in product configuration. In: Gupta G (ed) Practical aspects of declarative languages, first international workshop, PADL\u201999, Lecture notes in computer science, vol 1551. Springer, Berlin, Heidelberg, pp 305\u2013319"},{"issue":"4","key":"548_CR72","first-page":"307","volume":"12","author":"M Stumptner","year":"1998","unstructured":"Stumptner M, Friedrich G, Haselb\u00f6ck A (1998) Generative constraint-based configuration of large technical systems. AI EDAM 12(4):307\u2013320","journal-title":"AI EDAM"},{"key":"548_CR73","unstructured":"Teppan EC (2016) Solving the partner units configuration problem with heuristic constraint answer set programming. In: Configuration workshop, pp 61\u201368"},{"key":"548_CR74","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.artint.2017.04.002","volume":"248","author":"EC Teppan","year":"2017","unstructured":"Teppan EC (2017) On the complexity of the partner units decision problem. Artif Intell 248:112\u2013122","journal-title":"Artif Intell"},{"key":"548_CR75","unstructured":"Teppan EC, Friedrich G (2016) Heuristic constraint answer set programming. In: GA Kaminka, M Fox, P Bouquet, E H\u00fcllermeier, V Dignum, F Dignum, F van Harmelen (eds) ECAI 2016\u201422nd European conference on artificial intelligence, frontiers in artificial intelligence and applications, vol 285. IOS Press, pp 1692\u20131693"},{"key":"548_CR76","doi-asserted-by":"crossref","unstructured":"Teppan EC, Friedrich G, Falkner AA (2012) Quickpup: a heuristic backtracking algorithm for the partner units configuration problem. In: MPJ Fromherz, H Mu\u00f1oz-Avila (eds) Proceedings of the twenty-fourth conference on innovative applications of artificial intelligence. AAAI","DOI":"10.1609\/aaai.v26i2.18979"},{"issue":"4","key":"548_CR77","first-page":"377","volume":"7","author":"PH Tu","year":"2007","unstructured":"Tu PH, Son TC, Baral C (2007) Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. TPLP 7(4):377\u2013450","journal-title":"TPLP"},{"key":"548_CR78","doi-asserted-by":"crossref","unstructured":"Wang Y, Lee J, Kim DS (2017) A logic based approach to answering questions about alternatives in DIY domains. In: SP Singh, S Markovitch (eds) Proceedings of the thirty-first AAAI conference on artificial intelligence. AAAI Press, pp 4753\u20134759","DOI":"10.1609\/aaai.v31i2.19106"},{"key":"548_CR79","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-319-61660-5_17","volume-title":"Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017","author":"A Weinzierl","year":"2017","unstructured":"Weinzierl A (2017) Blending lazy-grounding and CDNL search for answer-set solving. In: Balduccini M, Janhunen T (eds) Logic programming and nonmonotonic reasoning\u201414th international conference, LPNMR 2017, Lecture notes in computer science, vol 10377. Springer, Cham, pp 191\u2013204"},{"issue":"5\u20136","key":"548_CR80","first-page":"1027","volume":"17","author":"IF Yalciner","year":"2017","unstructured":"Yalciner IF, Nouman A, Patoglu V, Erdem E (2017) Hybrid conditional planning using answer set programming. TPLP 17(5\u20136):1027\u20131047","journal-title":"TPLP"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0548-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0548-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0548-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T20:24:46Z","timestamp":1661459086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0548-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,13]]},"references-count":80,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["548"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0548-6","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6,13]]},"assertion":[{"value":"5 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"31 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}