Clingraph: A System for ASP-based Visualization
Abstract
We present the 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 API that extends this ease of interfacing to clingo's API, and in turn to connect and monitor various aspects of the solving process.
Keywords
Cite
@article{arxiv.2303.10118,
title = {Clingraph: A System for ASP-based Visualization},
author = {Susana Hahn and Orkunt Sabuncu and Torsten Schaub and Tobias Stolzmann},
journal= {arXiv preprint arXiv:2303.10118},
year = {2023}
}
Comments
Short version presented at the International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR'22). Extended version under consideration in Theory and Practice of Logic Programming (TPLP'22), 24 pages, 10 figures