{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T01:30:40Z","timestamp":1785202240798,"version":"3.55.0"},"reference-count":21,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T00:00:00Z","timestamp":1725321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/pages\/standard-publication-reuse-rights"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Logic programming is a declarative programming paradigm that finds extensive use in the field of Artificial Intelligence (AI). As a result, it has become a valuable tool used in university courses for teaching students AI techniques. Besides Prolog language, the more recent Answer Set Programming (ASP) language turns out to be a powerful tool for developing advanced applications due to the expressiveness of the language and the availability of efficient solving systems. Unfortunately, the output of ASP solvers can be difficult to interpret, since it is a set of atoms, often long and verbose. This is most true in the case of students learning the language or in the case of experts developing applications for complex real-world problems. For these reasons, the ability to produce, when possible, a graphical representation of the solver output becomes useful to ensure easier interpretation of the results. In this paper we present ASPECT, a sub-language of ASP in which the user can directly define, in an intuitive and declarative way, a graphical representation of the answer set. The ASPECT atoms can be converted into the popular LaTeX markup language to produce vector graphics. The documents produced by ASPECT are easy to embed in documents such as scientific articles, course handouts and presentations. Also, the development of user-friendly interfaces is critical for wider use of similar technologies in the industrial sector as well. Moreover, ASPECT is also extended to deal with temporal information, and provide graphical animations of answer sets that enclose the temporal dimension, such as in planning problems. Finally, we advocate the use of ASPECT to create complex and animated presentations starting from a declarative specification.<\/jats:p>","DOI":"10.1093\/logcom\/exae042","type":"journal-article","created":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T06:16:52Z","timestamp":1725344212000},"page":"1580-1607","source":"Crossref","is-referenced-by-count":5,"title":["ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex"],"prefix":"10.1093","volume":"34","author":[{"given":"Alessandro","family":"Bertagnon","sequence":"first","affiliation":[{"name":"Department of Environmental and Prevention Sciences , University of Ferrara, C.so Ercole I D\u2019Este, 32, Ferrara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[{"name":"Department of Engineering , University of Ferrara, Via Saragat 1, Ferrara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2024,9,3]]},"reference":[{"key":"2024121019262780400_ref1","first-page":"215","article-title":"The ASP system DLV2","volume-title":"Logic Programming and Nonmonotonic Reasoning\u201414th International Conference, LPNMR 2017, Espoo, Finland, July 3\u20136, 2017, Proceedings","author":"Alviano","year":"2017"},{"key":"2024121019262780400_ref2","article-title":"Introducing ASP recipes and ASP chef","author":"Alviano"},{"key":"2024121019262780400_ref3","volume-title":"Proceedings of the International Conference on Logic Programming 2023 Workshops Co-located With the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023","author":"Arias","year":"2023"},{"key":"2024121019262780400_ref4","article-title":"Geometric reasoning on the traveling salesperson problem: comparing answer set programming and constraint logic programming approaches","author":"Bertagnon"},{"key":"2024121019262780400_ref5","article-title":"ASPECT: answer set representation as vector graphics in latex","volume-title":"Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21\u201323, 2023","author":"Bertagnon","year":"2023"},{"key":"2024121019262780400_ref6","doi-asserted-by":"crossref","first-page":"1851","DOI":"10.1093\/logcom\/exad038","article-title":"Decomposition approaches for scheduling chronic outpatients\u2019 clinical pathways in answer set programming","volume":"33","author":"Cappanera","year":"2023","journal-title":"Journal of Logic and Computation"},{"key":"2024121019262780400_ref7","first-page":"294","article-title":"Modeling and solving the rush hour puzzle","volume-title":"Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29\u2013July 1, 2022","author":"Cian","year":"2022"},{"key":"2024121019262780400_ref8","first-page":"724","article-title":"ASPVIZ: declarative visualisation and animation using answer set programming","volume-title":"Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9\u201313 2008, Proceedings","author":"Cliffe","year":"2008"},{"key":"2024121019262780400_ref9","first-page":"205","article-title":"Reasoning in high schools: do it with ASP","volume-title":"Proceedings of the 31st Italian Conference on Computational Logic, Milano, Italy, June 20\u201322, 2016","author":"Dovier","year":"2016"},{"key":"2024121019262780400_ref10","first-page":"317","article-title":"ASPIDE: integrated development environment for answer set programming","volume-title":"Logic Programming and Nonmonotonic Reasoning\u201411th International Conference, LPNMR 2011, Vancouver, Canada, May 16\u201319, 2011. Proceedings","author":"Febbraro","year":"2011"},{"key":"2024121019262780400_ref11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/13.204845","article-title":"On teaching AI and expert systems courses","volume":"36","author":"Garcia","year":"1993","journal-title":"IEEE Transactions on Education"},{"key":"2024121019262780400_ref12","first-page":"2:1","article-title":"Theory solving made easy with clingo 5","volume-title":"Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16\u201321, 2016, New York City, USA","author":"Gebser","year":"2016"},{"key":"2024121019262780400_ref13","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.artint.2012.04.001","article-title":"Conflict-driven answer set solving: from theory to practice","volume":"187","author":"Gebser","year":"2012","journal-title":"Artificial Intelligence"},{"key":"2024121019262780400_ref14","first-page":"1070","article-title":"The stable model semantics for logic programming","volume-title":"Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15\u201319, 1988 (2 Volumes)","author":"Gelfond","year":"1988"},{"key":"2024121019262780400_ref15","first-page":"401","article-title":"Clingraph: ASP-based visualization","volume-title":"Logic Programming and Nonmonotonic Reasoning\u201416th International Conference, LPNMR 2022, Genova, Italy, September 5\u20139, 2022, Proceedings","author":"Hahn","year":"2022"},{"key":"2024121019262780400_ref16","first-page":"325","article-title":"Kara: a system for visualising and visual editing of interpretations for answer-set programs","volume-title":"Applications of Declarative Programming and Knowledge Management\u201419th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28\u201330, 2011, Revised Selected Papers","author":"Kloim\u00fcllner","year":"2011"},{"key":"2024121019262780400_ref17","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1145\/1149114.1149117","article-title":"The DLV system for knowledge representation and reasoning","volume":"7","author":"Leone","year":"2006","journal-title":"ACM Transactions on Computational Logic"},{"key":"2024121019262780400_ref18","doi-asserted-by":"crossref","first-page":"1777","DOI":"10.1093\/logcom\/exad035","article-title":"Master surgical scheduling via answer set programming","volume":"33","author":"Mochi","year":"2023","journal-title":"Journal of Logic and Computation"},{"key":"2024121019262780400_ref19","first-page":"305","article-title":"The sealion has landed: an IDE for answer-set programming\u2014preliminary report","volume-title":"Applications of Declarative Programming and Knowledge Management\u201419th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28\u201330, 2011, Revised Selected Papers","author":"Oetsch","year":"2011"},{"key":"2024121019262780400_ref20","doi-asserted-by":"crossref","first-page":"1389","DOI":"10.1002\/j.1538-7305.1957.tb01515.x","article-title":"Shortest connection networks and some generalizations","volume":"36","author":"Prim","year":"1957","journal-title":"The Bell System Technical Journal"},{"key":"2024121019262780400_ref21","article-title":"IDPDraw, a tool used for visualizing answer sets","author":"Wittocx","year":"2009"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/8\/1580\/60953129\/exae042.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/34\/8\/1580\/60953129\/exae042.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T20:22:30Z","timestamp":1733862150000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/34\/8\/1580\/7744200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,3]]},"references-count":21,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2024,9,3]]},"published-print":{"date-parts":[[2024,12,4]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exae042","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2024,12]]},"published":{"date-parts":[[2024,9,3]]}}}