Clingraph: ASP-Based Visualization

Hahn S., Sabuncu O., Schaub T., Stolzmann T.

16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, Genoa, İtalya, 5 - 09 Eylül 2022, cilt.13416 LNAI, ss.401-414 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 13416 LNAI
  • Doi Numarası: 10.1007/978-3-031-15707-3_31
  • Basıldığı Şehir: Genoa
  • Basıldığı Ülke: İtalya
  • Sayfa Sayıları: ss.401-414
  • TED Üniversitesi Adresli: Evet

Özet

© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.We present the ASP-based visualization tool clingraph, which aims at visualizing ASP by means of ASP itself. This idea traces back to the aspviz tool and clingraph redevelops and extends it in the context of modern ASP systems. More precisely, clingraph takes graph specifications in terms of ASP facts and hands them over to the graph visualization system graphviz. The use of ASP provides a great interface between logic programs and/or answer sets and their visualization. Also, clingraph offers a Python API that extends this ease of interfacing to clingo’s API, and in turn to connect and monitor various aspects of the solving process.