Abstract
Abstract
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.
Publisher
Cambridge University Press (CUP)
Reference10 articles.
1. Bösel, A. , Linke, T. and Schaub, T. 2004. Profiling answer set programming: The visualization component of the noMoRe system. In Proceedings of the Ninth European Conference on Logics in Artificial Intelligence (JELIA’04), J. Alferes and J. Leite, Eds. Lecture Notes in Computer Science, vol. 3229. Springer-Verlag, 702–705.
2. König, A. and Schaub, T. 2013. Monitoring and visualizing answer set solving. In Technical Communications of the Twenty-ninth International Conference on Logic Programming (ICLP’13), Lamma, E. and Swift, T. , Eds. Theory and Practice of Logic Programming, Online Supplement, vol. 13(4-5).
3. Experimenting with robotic intra-logistics domains;Gebser;Theory and Practice of Logic Programming,2018
4. Perri, S. , Ricca, F. , Terracina, G. , Cianni, D. and Veltri, P. 2007. An integrated graphic tool for developing and testing dlv programs. In Proceedings of the First Workshop on Software Engineering for Answer Set Programming (SEA’07), de Vos, M. and Schaub, T. , Eds., vol. 281. CEUR Workshop Proceedings, 86–100.
5. Answer Set Programming