{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:25Z","timestamp":1725748525655},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_45","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T07:21:30Z","timestamp":1378970490000},"page":"452-464","source":"Crossref","is-referenced-by-count":6,"title":["Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints"],"prefix":"10.1007","author":[{"given":"Axel","family":"Polleres","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melanie","family":"Fr\u00fchst\u00fcck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gottfried","family":"Schenner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","unstructured":"Brain, M., De Vos, M.: Debugging logic programs under the answer set semantics. In: 3rd International Workshop on Answer Set Programming, ASP 2005. CEUR Workshop Proceedings, pp. 141\u2013152 (2005)"},{"key":"45_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-88594-8_8","volume-title":"Semantics in Data and Knowledge Bases","author":"R. Caballero","year":"2008","unstructured":"Caballero, R., Garc\u00eda-Ruiz, Y., S\u00e1enz-P\u00e9rez, F.: A theoretical framework for the declarative debugging of datalog programs. In: Schewe, K.-D., Thalheim, B. (eds.) SDKB 2008. LNCS, vol.\u00a04925, pp. 143\u2013159. Springer, Heidelberg (2008)"},{"key":"45_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/978-3-642-04238-6_75","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Denecker","year":"2009","unstructured":"Denecker, M., Vennekens, J., Bond, S., Gebser, M., Truszczy\u0144ski, M.: The second answer set programming competition. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"issue":"1-2","key":"45_CR4","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1017\/S1471068403001923","volume":"5","author":"P. Ferraris","year":"2005","unstructured":"Ferraris, P., Lifschitz, V.: Weight constraints as nested expressions. Theory Pract. Log. Program.\u00a05(1-2), 45\u201374 (2005)","journal-title":"Theory Pract. Log. Program."},{"key":"45_CR5","unstructured":"Friedrich, G., Ryabokon, A., Falkner, A.A., Haselb\u00f6ck, A., Schenner, G., Schreiner, H.: (Re)configuration using Answer Set Programming. In: IJCAI 2011 Workshop on Configuration, pp. 17\u201325 (2011)"},{"key":"45_CR6","series-title":"LNAI","first-page":"323","volume-title":"LPNMR 2013","author":"M. Fr\u00fchst\u00fcck","year":"2013","unstructured":"Fr\u00fchst\u00fcck, M., P\u00fchrer, J., Friedrich, G.: Debugging answer-set programs with Ouroboros \u2013 extending the SeaLion plugin. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol.\u00a08148, pp. 323\u2013328. Springer, Heidelberg (2013)"},{"key":"45_CR7","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo (2010)"},{"issue":"2","key":"45_CR8","doi-asserted-by":"crossref","first-page":"107","DOI":"10.3233\/AIC-2011-0491","volume":"24","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The potsdam answer set solving collection. AI Commun.\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"key":"45_CR9","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proceedings of the 23rd National Conference on Artificial Intelligence, AAAI 2008, vol.\u00a01, pp. 448\u2013453. AAAI Press (2008)"},{"key":"45_CR10","unstructured":"Gebser, M., Schaub, T.: Answer set solving in practice (2011), http:\/\/www.cs.uni-potsdam.de\/~torsten\/ijcai11tutorial\/asp.pdf (visited on October 18, 2012)"},{"key":"45_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/978-3-642-20832-4_8","volume-title":"Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning","author":"T. Janhunen","year":"2011","unstructured":"Janhunen, T., Niemel\u00e4, I.: Compact translations of non-disjunctive answer set programs to propositional clauses. In: Balduccini, M., Son, T.C. (eds.) Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning. LNCS, vol.\u00a06565, pp. 111\u2013130. Springer, Heidelberg (2011)"},{"issue":"3","key":"45_CR12","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N. Leone","year":"2006","unstructured":"Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The dlv system for knowledge representation and reasoning. ACM Trans. Comput. Logic\u00a07(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"45_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-46767-X_23","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I., Simons, P., Soininen, T.: Stable model semantics of weight constraint rules. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 317\u2013331. Springer, Heidelberg (1999)"},{"issue":"4-6","key":"45_CR14","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1017\/S1471068410000256","volume":"10","author":"J. Oetsch","year":"2010","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the ouroboros: On debugging non-ground answer-set programs. Theory Pract. Log. Program.\u00a010(4-6), 513\u2013529 (2010)","journal-title":"Theory Pract. Log. Program."},{"key":"45_CR15","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The sealion has landed: An IDE for answer-set programming. In: 25th Workshop on Logic Programming, WLP (2011)"},{"issue":"1","key":"45_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E. Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., Elkhatib, O.: Justifications for logic programs under answer set semantics. Theory Pract. Log. Program.\u00a09(1), 1\u201356 (2009)","journal-title":"Theory Pract. Log. Program."},{"key":"45_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-540-30227-8_18","volume-title":"Logics in Artificial Intelligence","author":"T. Syrj\u00e4nen","year":"2004","unstructured":"Syrj\u00e4nen, T.: Cardinality constraint programs. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 187\u2013199. Springer, Heidelberg (2004)"},{"key":"45_CR18","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proc. NMR, vol.\u00a06, pp. 77\u201383 (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T18:44:48Z","timestamp":1596480288000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}