{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:16Z","timestamp":1725748516179},"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_32","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"323-328","source":"Crossref","is-referenced-by-count":2,"title":["Debugging Answer-Set Programs with Ouroboros \u2013 Extending the SeaLion Plugin"],"prefix":"10.1007","author":[{"given":"Melanie","family":"Fr\u00fchst\u00fcck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"P\u00fchrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"32_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(02)00207-2","volume":"138","author":"M. Gelfond","year":"2002","unstructured":"Gelfond, M., Leone, N.: Logic programming and knowledge representation - The A-Prolog perspective. Art. Intell.\u00a0138(1-2), 3\u201338 (2002)","journal-title":"Art. Intell."},{"key":"32_CR2","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":"32_CR3","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer set programs. In: Proc. NMR 2006, pp. 77\u201383 (2006)"},{"key":"32_CR4","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H.: A meta-programming technique for debugging answer-set programs. In: Proc. AAAI 2008, pp. 448\u2013453. AAAI Press (2008)"},{"key":"32_CR5","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)"},{"issue":"1","key":"32_CR6","first-page":"1","volume":"9","author":"E. Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., Elkhatib, O.: Justifications for logic programs under answer set semantics. TPLP\u00a09(1), 1\u201356 (2009)","journal-title":"TPLP"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-642-00675-3_17","volume-title":"Applications of Declarative Programming and Knowledge Management","author":"M. Gebser","year":"2009","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: spock: A debugging support tool for logic programs under the answer-set semantics. In: Seipel, D., Hanus, M., Wolf, A. (eds.) INAP 2007. LNCS, vol.\u00a05437, pp. 247\u2013252. Springer, Heidelberg (2009)"},{"issue":"4-6","key":"32_CR8","first-page":"513","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. TPLP\u00a010(4-6), 513\u2013529 (2010)","journal-title":"TPLP"},{"key":"32_CR9","series-title":"LNAI","first-page":"452","volume-title":"LPNMR 2013","author":"A. Polleres","year":"2013","unstructured":"Polleres, A., Fr\u00fchst\u00fcck, M., Schenner, G., Friedrich, G.: Debugging non-ground ASP programs with choice rules, cardinality and weight constraints. In: Cabalar, P., Son, T.C. (eds.) LPNMR 2013. LNCS (LNAI), vol.\u00a08148, pp. 452\u2013464. Springer, Heidelberg (2013)"},{"key":"32_CR10","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming\u2014Preliminary report. In: Proc. WLP 2011 (2011)"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Busoniu, P., Oetsch, J., P\u00fchrer, J., Sko\u010dovsk\u00fd, P., Tompits, H.: SeaLion: An Eclipse-based IDE for answer-set programming with advanced debugging support (submitted draft, 2013)","DOI":"10.1017\/S1471068413000410"},{"issue":"2","key":"32_CR12","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.T.: Potassco: The Potsdam answer set solving collection. AI Commun.\u00a024(2), 107\u2013124 (2011)","journal-title":"AI Commun."},{"issue":"3","key":"32_CR13","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":"32_CR14","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-20895-9_13","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J. Oetsch","year":"2011","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Stepping through an answer-set program. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol.\u00a06645, pp. 134\u2013147. Springer, Heidelberg (2011)"},{"key":"32_CR15","unstructured":"Kloim\u00fcllner, C., Oetsch, J., P\u00fchrer, J., Tompits, H.: Kara\u00a0-\u00a0A system for visualising and visual editing of interpretations for answer-set programs. In: Proc. WLP 2011, pp. 152\u2013164 (2011)"},{"key":"32_CR16","unstructured":"Mayer, W., Bettex, M., Stumptner, M., Falkner, A.: On solving complex rack configuration problems using CSP methods. In: Proc. IJCAI 2009 Workshop on Configuration (2009)"},{"key":"32_CR17","unstructured":"Friedrich, G., Ryabokon, A., Falkner, A., Haselb\u00f6ck, A., Schenner, G., Schreiner, H.: (re)configuration using answer set programming. In: Proc. IJCAI 2011 Workshop on Configuration, pp. 17\u201325 (2011)"},{"key":"32_CR18","unstructured":"Aschinger, M., Drescher, C., Vollmer, H.: LoCo\u2014A logic for configuration problems. In: Proc. ECAI 2012, vol.\u00a0242, pp. 73\u201378 (2012)"}],"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_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T22:44:26Z","timestamp":1596494666000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}