Clingraph: A System for ASP-based Visualization

Creative Commons License

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

Theory and Practice of Logic Programming, cilt.24, sa.3, ss.533-559, 2024 (SCI-Expanded) identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 24 Sayı: 3
  • Basım Tarihi: 2024
  • Doi Numarası: 10.1017/s147106842400005x
  • Dergi Adı: Theory and Practice of Logic Programming
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Applied Science & Technology Source, Compendex, INSPEC, zbMATH
  • Sayfa Sayıları: ss.533-559
  • Anahtar Kelimeler: knowledge representation and nonmonotonic reasoning, logic programming methodology and applications
  • TED Üniversitesi Adresli: Evet

Özet

We present the Answer Set Programming (ASP)-based visualization tool clingraph, which aims at visualizing various concepts of 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 application programming interface (API) that extends this ease of interfacing to clingo’s API and in turn to connect and monitor various aspects of the solving process.