{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:07:05Z","timestamp":1768450025969,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642415234","type":"print"},{"value":"9783642415241","type":"electronic"}],"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_20","type":"book-chapter","created":{"date-parts":[[2013,11,15]],"date-time":"2013-11-15T10:48:20Z","timestamp":1384512500000},"page":"325-344","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs"],"prefix":"10.1007","author":[{"given":"Christian","family":"Kloim\u00fcllner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes","family":"Oetsch","sequence":"additional","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":[{"key":"20_CR1","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":"20_CR2","doi-asserted-by":"crossref","unstructured":"Shapiro, E.Y.: Algorithmic program debugging. Ph.D. thesis, Yale University, New Haven, CT, USA (1982)","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"20_CR3","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":"20_CR4","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":"20_CR5","first-page":"724","volume-title":"ICLP 2008. LNCS","author":"O Cliffe","year":"2008","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)"},{"key":"20_CR6","unstructured":"Wittocx, J.: KRR Software: IDPDraw. https:\/\/dtai.cs.kuleuven.be\/krr\/software\/visualisation"},{"key":"20_CR7","first-page":"150","volume-title":"Philosophical Writings of C.S Peirce, Chapter 11","author":"CS Peirce","year":"1955","unstructured":"Peirce, C.S.: Abduction and induction. In: Buchler, J. (ed.) Philosophical Writings of C.S Peirce, Chapter 11, pp. 150\u2013156. Dover, New York (1955)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: The SeaLion has landed: An IDE for answer-set programming\u2013preliminary report. In: Tompits, H., Abreu, S., Oetsch, J., P\u00fchrer, J., Seipel, D., Umeda, M., Wolf, A. (eds.) INAP\/WLP 2011. LNCS, vol. 7773, pp. 305\u2013324. Springer, Heidelberg (2013)","DOI":"10.1007\/978-3-642-41524-1_19"},{"key":"20_CR9","unstructured":"Oetsch, J., P\u00fchrer, J., Tompits, H.: Methods and methodologies for developing answer-set programs - Project description. In: Leibniz International Proceedings in Informatics (LIPIcs) of Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010), Dagstuhl, Germany, Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, vol. 7, pp. 154\u2013161 (2010)"},{"key":"20_CR10","unstructured":"The Eclipse Foundation: GEF (Graphical Editing Framework). http:\/\/www.eclipse.org\/gef\/"},{"key":"20_CR11","first-page":"637","volume-title":"LPNMR 2009. LNCS","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. 5753, pp. 637\u2013654. Springer, Heidelberg (2009)"},{"key":"20_CR12","unstructured":"Smith, A.: Lonsdaleite. https:\/\/github.com\/rndmcnlly\/Lonsdaleite"},{"key":"20_CR13","unstructured":"AT &T Labs Research and Contributors: Graphviz. http:\/\/www.graphviz.org\/"},{"key":"20_CR14","unstructured":"Jackson, D.: Software Abstractions\u2013Logic, Language, and Analysis. MIT Press, Cambridge (2006)"}],"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_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T20:39:25Z","timestamp":1746045565000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-41524-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642415234","9783642415241"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41524-1_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]},"assertion":[{"value":"16 November 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}