{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T22:48:32Z","timestamp":1762642112585,"version":"3.37.3"},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2018,5,14]],"date-time":"2018-05-14T00:00:00Z","timestamp":1526256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["SCHA\u00a0550\/9 and 11"],"award-info":[{"award-number":["SCHA\u00a0550\/9 and 11"]}],"id":[{"id":"10.13039\/501100001659","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-0528-x","type":"journal-article","created":{"date-parts":[[2018,5,14]],"date-time":"2018-05-14T08:14:42Z","timestamp":1526285682000},"page":"181-182","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["The Potsdam Answer Set Solving Collection 5.0"],"prefix":"10.1007","volume":"32","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roland","family":"Kaminski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Kaufmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"L\u00fchne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Obermeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Max","family":"Ostrowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"Romero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7456-041X","authenticated-orcid":false,"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Schellhorn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Wanko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,14]]},"reference":[{"key":"528_CR1","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 (To appear)","DOI":"10.1007\/s10479-018-2757-7"},{"key":"528_CR2","unstructured":"Brewka G, Delgrande J, Romero J, Schaub T (2015) asprin: customizing answer set preferences without a headache. In: Bonet B, Koenig S (eds) Proceedings of the twenty-ninth national conference on artificial intelligence (AAAI\u201915). AAAI Press, pp 1467\u20131474 (2015). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI15\/paper\/view\/9535"},{"key":"528_CR3","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. Available at https:\/\/www.mat.unical.it\/aspcomp2013\/ASPStandardization"},{"key":"528_CR4","doi-asserted-by":"crossref","unstructured":"Dimopoulos Y, Gebser M, L\u00fchne P, Romero J, Schaub T (2017) plasp 3: towards effective ASP planning. In: Balduccini M, Janhunen T (eds) Proceedings of the fourteenth international conference on logic programming and nonmonotonic reasoning (LPNMR\u201917). Lecture Notes in Artificial Intelligence, vol. 10377, Springer, pp 286\u2013300","DOI":"10.1007\/978-3-319-61660-5_26"},{"issue":"4\u20135","key":"528_CR5","doi-asserted-by":"publisher","first-page":"449","DOI":"10.1017\/S1471068415000150","volume":"15","author":"M Gebser","year":"2015","unstructured":"Gebser M, Harrison A, Kaminski R, Lifschitz V, Schaub T (2015) Abstract Gringo. Theory Pract Log Program 15(4\u20135):449\u2013463","journal-title":"Theory Pract Log Program"},{"issue":"2","key":"528_CR6","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M Gebser","year":"2011","unstructured":"Gebser M, Kaminski R, Kaufmann B, Ostrowski M, Schaub T, Schneider M (2011) Potassco: the potsdam answer set solving collection. AI Commun 24(2):107\u2013124","journal-title":"AI Commun"},{"key":"528_CR7","volume-title":"Answer set solving in practice","author":"M Gebser","year":"2012","unstructured":"Gebser M, Kaminski R, Kaufmann B, Schaub T (2012) Answer set solving in practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan and Claypool Publishers, San Rafael"},{"key":"528_CR8","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 of the second international workshop on logics for component configuration (LoCoCo\u201911), electronic proceedings in theoretical computer science (EPTCS), vol\u00a065, pp 12\u201325","DOI":"10.4204\/EPTCS.65.2"},{"issue":"5\u20136","key":"528_CR9","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1017\/S1471068417000242","volume":"17","author":"T Janhunen","year":"2017","unstructured":"Janhunen T, Kaminski R, Ostrowski M, Schaub T, Schellhorn S, Wanko P (2017) Clingo goes linear constraints over reals and integers. Theory Prac Logic Program 17(5\u20136):872\u2013888","journal-title":"Theory Prac Logic Program"},{"key":"528_CR10","doi-asserted-by":"crossref","unstructured":"Kaminski R, Schaub T, Wanko P (2017) A tutorial on hybrid answer set solving with clingo. In: Ianni G, Lembo D, Bertossi L, Faber W, Glimm B, Gottlob G, Staab S (eds) Proceedings of the thirteenth international summer school of the reasoning web. Lecture Notes in Computer Science, vol 10370, Springer, pp 167\u2013203","DOI":"10.1007\/978-3-319-61033-7_6"},{"issue":"3","key":"528_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1609\/aimag.v37i3.2672","volume":"37","author":"B Kaufmann","year":"2016","unstructured":"Kaufmann B, Leone N, Perri S, Schaub T (2016) Grounding and solving in answer set programming. AI Mag 37(3):25\u201332","journal-title":"AI Mag"},{"issue":"1","key":"528_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/3107548","volume":"61","author":"N Newman","year":"2018","unstructured":"Newman N, Fr\u00e9chette A, Leyton-Brown K (2018) Deep optimization for spectrum repacking. Commun ACM 61(1):97\u2013104","journal-title":"Commun ACM"},{"key":"528_CR13","unstructured":"Opolka S, Obermeier P, Schaub T (2015) Automatic genre-dependent composition using answer set programming. In: Proceedings of the twenty-first international symposium on electronic art (ISEA\u201915). http:\/\/isea2015.org\/proceeding\/submissions\/ISEA2015_submission_78.pdf"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-018-0528-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0528-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-018-0528-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,1]],"date-time":"2020-11-01T23:06:42Z","timestamp":1604272002000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-018-0528-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,14]]},"references-count":13,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2018,8]]}},"alternative-id":["528"],"URL":"https:\/\/doi.org\/10.1007\/s13218-018-0528-x","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"type":"print","value":"0933-1875"},{"type":"electronic","value":"1610-1987"}],"subject":[],"published":{"date-parts":[[2018,5,14]]},"assertion":[{"value":"14 May 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}