# Clingraph: A System for ASP-based Visualization

arXiv: https://arxiv.org/abs/2303.10118 · HTML: https://mlsanity.com/paper/2303.10118/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- Builds on 1 of its 11 references that are in the map.
- First posted on arXiv 17 Mar 2023.

## Builds on (most cited first, 1 of 1)

- [Experimenting with robotic intra-logistics domains](https://mlsanity.com/paper/1804.10247/) (2018)

## Built on by (most cited first, 4 of 4)

- [Towards Automatic Composition of ASP Programs from Natural Language Specifications](https://mlsanity.com/paper/2403.04541/) (2024)
- [Smart Expansion Techniques for ASP-based Interactive Configuration](https://mlsanity.com/paper/2507.21027/) (2025)
- [BLAST: Benchmarking LLMs with ASP-based Structured Testing](https://mlsanity.com/paper/2604.22306/) (2026)
- [Animation, Verification and Visualisation of Prolog Transition Systems with ProB](https://mlsanity.com/paper/2607.21192/) (2026)

## Abstract (arXiv)

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.