{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,14]],"date-time":"2025-12-14T15:59:12Z","timestamp":1765727952256,"version":"3.40.5"},"reference-count":10,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T00:00:00Z","timestamp":1707868800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2024,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present the Answer Set Programming (ASP)-based visualization tool <jats:italic>clingraph<\/jats:italic>, which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the <jats:italic>aspviz<\/jats:italic> tool and <jats:italic>clingraph<\/jats:italic> redevelops and extends it in the context of modern ASP systems. More precisely, <jats:italic>clingraph<\/jats:italic> takes graph specifications in terms of ASP facts and hands them over to the graph visualization system <jats:italic>graphviz<\/jats:italic>. The use of ASP provides a great interface between logic programs and\/or answer sets and their visualization. Also, <jats:italic>clingraph<\/jats:italic> offers a Python application programming interface (API) that extends this ease of interfacing to <jats:italic>clingo<\/jats:italic>\u2019s API and in turn to connect and monitor various aspects of the solving process.<\/jats:p>","DOI":"10.1017\/s147106842400005x","type":"journal-article","created":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T10:42:37Z","timestamp":1707907357000},"page":"533-559","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":4,"title":["<i>Clingraph<\/i>: A System for ASP-based Visualization"],"prefix":"10.1017","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2622-2632","authenticated-orcid":false,"given":"SUSANA","family":"HAHN","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1432-042X","authenticated-orcid":false,"given":"ORKUNT","family":"SABUNCU","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7456-041X","authenticated-orcid":false,"given":"TORSTEN","family":"SCHAUB","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1436-0715","authenticated-orcid":false,"given":"TOBIAS","family":"STOLZMANN","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2024,2,14]]},"reference":[{"key":"S147106842400005X_ref1","doi-asserted-by":"crossref","unstructured":"B\u00f6sel, A. , Linke, T. and Schaub, T. 2004. Profiling answer set programming: The visualization component of the noMoRe system. In Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA\u201904), J. Alferes and J. Leite, Eds. Lecture Notes in Computer Science, vol. 3229. Springer-Verlag, 702\u2013705.","DOI":"10.1007\/978-3-540-30227-8_61"},{"key":"S147106842400005X_ref8","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, A. and Schaub, T. 2013. Monitoring and visualizing answer set solving. In Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP\u201913), Lamma, E. and Swift, T. , Eds. Theory and Practice of Logic Programming, Online Supplement, vol. 13(4-5).","DOI":"10.1017\/S1471068413000112"},{"key":"S147106842400005X_ref4","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1017\/S1471068418000200","article-title":"Experimenting with robotic intra-logistics domains","volume":"18","author":"Gebser","year":"2018","journal-title":"Theory and Practice of Logic Programming"},{"key":"S147106842400005X_ref10","unstructured":"Perri, S. , Ricca, F. , Terracina, G. , Cianni, D. and Veltri, P. 2007. An integrated graphic tool for developing and testing dlv programs. In Proceedings of the First Workshop on Software Engineering for Answer Set Programming (SEA\u201907), de Vos, M. and Schaub, T. , Eds., vol. 281. CEUR Workshop Proceedings, 86\u2013100."},{"key":"S147106842400005X_ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-24658-7","volume-title":"Answer Set Programming","author":"Lifschitz","year":"2019"},{"key":"S147106842400005X_ref6","doi-asserted-by":"crossref","unstructured":"Hahn, S. , Sabuncu, O. , Schaub, T. and Stolzmann, T. 2022. clingraph: Asp-based visualization. In Proceedings of the Sixteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR\u201922), Gottlob, G. , Inclezan, D. and Maratea, M. , Eds. Lecture Notes in Artificial Intelligence, vol. 13416. Springer-Verlag, 401\u2013414.","DOI":"10.1007\/978-3-031-15707-3_31"},{"key":"S147106842400005X_ref3","doi-asserted-by":"crossref","unstructured":"Cliffe, O. , de Vos, M. , Brain, M. and Padget, J. 2008. ASPVIZ: Declarative visualisation and animation using answer set programming. In Proceedings of the Twenty-fourth International Conference on Logic Programming (ICLP\u201908), M. Garcia de la Banda and E. Pontelli, Eds. Lecture Notes in Computer Science, vol. 5366. Springer-Verlag, 724\u2013728.","DOI":"10.1007\/978-3-540-89982-2_65"},{"key":"S147106842400005X_ref7","doi-asserted-by":"crossref","unstructured":"Kloim\u00fcllner, C. , Oetsch, J. , P\u00fchrer, J. and Tompits, H. 2011. Kara: A system for visualising and visual editing of interpretations for answer-set programs. In Proceedings of the Nineteenth International Conference on Applications of Declarative Programming and Knowledge Management (INAP\u201911), Abreu, S. , Oetsch, J. , P\u00fchrer, J. , Seipel, D. , Tompits, H. , Umeda, M. and Wolf, A. , Eds. Number INFSYS RR-1843-11-06 in Institute for Information Systems, Technische Universit\u00e4t Wien, Technical Report Series, 325\u2013344.","DOI":"10.1007\/978-3-642-41524-1_20"},{"key":"S147106842400005X_ref2","unstructured":"Calimeri, F. , Leone, N. , Ricca, F. and Veltri, P. 2009. A visual tracer for DLV. In Proceedings of the Second Workshop on Software Engineering for Answer Set Programming (SEA\u201909), de Vos, M. and Schaub, T. , Eds., vol. 546. CEUR Workshop Proceedings, 79\u201393."},{"key":"S147106842400005X_ref5","unstructured":"Hahn, S. 2023. clinguin: Building user interfaces in asp. In Proceedings of the Sixth Workshop on Trends and Applications of Answer Set Programming (TAASP\u201923). To appear."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S147106842400005X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,10]],"date-time":"2024-10-10T13:02:53Z","timestamp":1728565373000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S147106842400005X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,14]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["S147106842400005X"],"URL":"https:\/\/doi.org\/10.1017\/s147106842400005x","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"type":"print","value":"1471-0684"},{"type":"electronic","value":"1475-3081"}],"subject":[],"published":{"date-parts":[[2024,2,14]]},"assertion":[{"value":"\u00a9 The Author(s), 2024. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0\/), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}