{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:29:29Z","timestamp":1761978569374,"version":"build-2065373602"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642415234"},{"type":"electronic","value":"9783642415241"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41524-1_19","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"305-324","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The SeaLion has Landed: An IDE for Answer-Set Programming\u2014Preliminary Report"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Oetsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f6rg","family":"P\u00fchrer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,11,16]]},"reference":[{"issue":"1\u20132","key":"19_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. Artif. Intell. 138(1\u20132), 3\u201338 (2002)","journal-title":"Artif. Intell."},{"key":"19_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning, and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Schaub, T.: The conflict-driven answer set solver clasp: Progress report. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol. 5753, pp. 509\u2013514. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-04238-6_50"},{"key":"19_CR4","unstructured":"SAT 2011 competition. http:\/\/www.satcompetition.org"},{"key":"19_CR5","unstructured":"Brain, M., De Vos, M.: Debugging logic programs under the answer-set semantics. In: Proceedings of ASP 2005. http:\/\/CEUR-WS.org (2005)"},{"issue":"1","key":"19_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1471068408003633","volume":"9","author":"E Pontelli","year":"2009","unstructured":"Pontelli, E., Son, T.C., El-Khatib, O.: Justifications for logic programs under answer set semantics. Theor. Pract. Logic Program. 9(1), 1\u201356 (2009)","journal-title":"Theor. Pract. Logic Program."},{"key":"19_CR7","unstructured":"Syrj\u00e4nen, T.: Debugging inconsistent answer-set programs. In: Proceedings of NMR 2006, pp. 77\u201383. Technische Universit\u00e4t Clausthal (2006)"},{"key":"19_CR8","first-page":"31","volume-title":"LPNMR 2007. LNCS (LNAI)","author":"M Brain","year":"2007","unstructured":"Brain, M., Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.: Debugging ASP programs by means of ASP. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 31\u201343. Springer, Heidelberg (2007)"},{"key":"19_CR9","first-page":"296","volume-title":"ICLP 2009. LNCS","author":"J Wittocx","year":"2009","unstructured":"Wittocx, J., Vlaeminck, H., Denecker, M.: Debugging for model expansion. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 296\u2013311. Springer, Heidelberg (2009)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Catching the Ouroboros: on debugging non-ground answer-set programs. Theor. Pract. Logic Program. 10(4\u20135), 513\u2013529 (2010)","DOI":"10.1017\/S1471068410000256"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Niemel\u00e4, I., Janhunen, T., Oetsch, J., P\u00fchrer, J., Tompits, H.: On testing answer-set programs. In: Proceedings of ECAI 2010, pp. 951\u2013956. IOS Press (2010)","DOI":"10.3233\/978-1-60750-606-5-951"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Janhunen, T., Niemel\u00e4, I., Oetsch, J., P\u00fchrer, J., Tompits, H.: Random vs. structure-based testing of answer-set programs: An experimental comparison. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 242\u2013247. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-20895-9_26"},{"key":"19_CR13","doi-asserted-by":"crossref","first-page":"813","DOI":"10.1613\/jair.2810","volume":"35","author":"T Janhunen","year":"2009","unstructured":"Janhunen, T., Oikarinen, E., Tompits, H., Woltran, S.: Modularity aspects of disjunctive stable models. J. Artif. Intell. Res. 35, 813\u2013857 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"19_CR14","unstructured":"Sureshkumar, A., De Vos, M., Brain, M., Fitch, J.: APE: An AnsProlog* environment. In: Proceedings of SEA 2007, pp. 71\u201385 (2007)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 317\u2013330. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-20895-9_37"},{"key":"19_CR16","unstructured":"iGROM. http:\/\/igrom.sourceforge.net\/"},{"key":"19_CR17","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Methods and methodologies for developing answer-set Programs\u2014Project description. In: Technical Communications of ICLP 2010, pp. 154\u2013161. Leibniz-Zentrum f\u00fcr Informatik (2010)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. In: Baral, C., Brewka, G., Schlipf, J. (eds.) LPNMR 2007. LNCS (LNAI), vol. 4483, pp. 266\u2013271. Springer, Heidelberg (2007)","DOI":"10.1007\/978-3-540-72200-7_24"},{"issue":"3","key":"19_CR19","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 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Logic"},{"key":"19_CR20","unstructured":"Syrj\u00e4nen, T.: Lparse 1.0 user\u2019s manual. http:\/\/www.tcs.hut.fi\/Software\/smodels\/lparse.ps.gz"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Cliffe, O., De Vos, M., Brain, M., Padget, J.: ASPVIZ: Declarative visualisation and animation using answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 724\u2013728. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-89982-2_65"},{"key":"19_CR22","unstructured":"Wittocx, J.: KRR Software: IDPDraw. https:\/\/dtai.cs.kuleuven.be\/krr\/software\/visualisation"},{"key":"19_CR23","doi-asserted-by":"crossref","unstructured":"Kloim\u00fcllner, C., Oetsch, J., P\u00fchrer, J., Tompits, H.: Kara: A system for visualising and visual editing of interpretations for answer-set programs. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP 2011. LNCS, vol. 7773, pp. 325\u2013344. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-41524-1_20"},{"issue":"4\u20135","key":"19_CR24","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1017\/S147106841200021X","volume":"12","author":"M De Vos","year":"2012","unstructured":"De Vos, M., K\u0131sa, D.G., Oetsch, J., P\u00fchrer, J., Tompits, H.: Annotating answer-set programs in LANA. Theor. Pract. Logic Program. 12(4\u20135), 619\u2013637 (2012)","journal-title":"Theor. Pract. Logic Program."},{"key":"19_CR25","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user\u2019s guide to gringo, clasp, clingo, and iclingo. http:\/\/sourceforge.net\/projects\/potassco\/files\/potassco_guide"},{"key":"19_CR26","unstructured":"Bihlmeyer, R., Faber, W., Ielpa, G., Lio, V., Pfeifer, G.: DLV user manual. http:\/\/www.dlvsystem.com\/dlvsystem\/html\/DLV_User_Manual.html"},{"key":"19_CR27","unstructured":"Parr, T.: The Definitive ANTLR Reference: Building Domain-Specific Languages. Pragmatic Programmers. Pragmatic Bookshelf, Frisco (2007)"},{"key":"19_CR28","unstructured":"Ierusalimschy, R.: Programming in Lua, 2nd edn. Lua.Org (2006)"},{"key":"19_CR29","first-page":"134","volume-title":"LPNMR 2011. LNCS","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, vol. 6645, pp. 134\u2013147. Springer, Heidelberg (2011)"},{"key":"19_CR30","unstructured":"Oetsch, J., Prischink, M., P\u00fchrer, J., Schwengerer, M., Tompits, H.: On the small-scope hypothesis for testing answer-set programs. In: Proceedings of KR 2012, pp. 43\u201353. AAAI Press (2012)"},{"key":"19_CR31","unstructured":"Boley, H., Kifer, M. (eds.): RIF framework for logic dialects. W3C (2010) W3C Recommendation 22 June 2010"},{"key":"19_CR32","unstructured":"Kifer, M., Heymans, S.: RIF core answer set programming dialect. http:\/\/ruleml.org\/rif\/RIF-CASPD.html (2009)"},{"key":"19_CR33","unstructured":"Febbraro, O., Reale, K., Ricca, F.: A visual interface for drawing ASP programs. In: Proceedings of CILC 2010 (2010)"},{"key":"19_CR34","unstructured":"Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of SEA 2009 (2009)"},{"key":"19_CR35","doi-asserted-by":"crossref","unstructured":"Gebser, M., P\u00fchrer, J., Schaub, T., Tompits, H., Woltran, S.:\u00a0spock: A debugging support tool for logic programs under the answer-set semantics. In:\u00a0Seipel, D., Hanus, M., Wolf, A. (eds.) INAP 2007. LNCS, vol. 5437, pp. 247\u2013252. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-00675-3_17"},{"key":"19_CR36","doi-asserted-by":"crossref","unstructured":"Febbraro, O., Leone, N., Reale, K., Ricca, F.: Unit testing in ASPIDE. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP 2011. LNCS, vol. 7773, pp. 345\u2013364. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-41524-1_21"},{"key":"19_CR37","unstructured":"ontoprise GmbH: OntoStudio 3.0. http:\/\/help.ontoprise.de\/ (2010)"},{"issue":"4","key":"19_CR38","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1093\/logcom\/exn042","volume":"19","author":"F. Ricca","year":"2008","unstructured":"Ricca, F., Gallucci, L., Schindlauer, R., Dell\u2019Armi, T., Grasso, G., Leone, N.: OntoDLV: An ASP-based system for enterprise ontologies. J. Logic Comput. 19(4), 643\u2013670 (2008)","journal-title":"J. Logic Comput."},{"key":"19_CR39","unstructured":"Smith, A.: Lonsdaleite. https:\/\/github.com\/rndmcnlly\/Lonsdaleite (2011)"},{"key":"19_CR40","unstructured":"AT&T Labs Research and Contributors: Graphviz. http:\/\/www.graphviz.org\/"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41524-1_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:39:33Z","timestamp":1746045573000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}