Skip to main content
SpringerLink
Log in

Clingraph: ASP-Based Visualization

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 2022)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 13416))

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://github.com/potassco/clingraph.

  2. 2.

    https://clingraph.readthedocs.io.

  3. 3.

    https://graphviz.org.

  4. 4.

    Subgraphs correspond to clusters in graphviz.

  5. 5.

    https://www.json.org.

  6. 6.

    https://dot2tex.readthedocs.io.

  7. 7.

    http://www.graphviz.org/docs/layouts.

  8. 8.

    https://github.com/potassco/clorm.

  9. 9.

    https://clingraph.readthedocs.io/en/latest/clingraph/api.html.

  10. 10.

    https://github.com/potassco/clingraph/tree/master/examples/queens.

  11. 11.

    Strictly speaking, the definition of predicate cell/2 belongs to the visualization encoding. Nonetheless, we add it to the problem encoding since the dimension of the board, viz. n, is unavailable in the visualization encoding. This is a drawback of the sequential approach: information must be shared via the stable models.

  12. 12.

    https://github.com/potassco/asprilo-encodings.

  13. 13.

    We refrain from visualizing pickup and putdown actions, and rather represent them implicitly.

  14. 14.

    https://github.com/potassco/clingraph/tree/master/examples/asprilo.

  15. 15.

    https://potassco.org/clingo/python-api/current.

  16. 16.

    https://github.com/potassco/clingraph/tree/master/examples/propagator.

  17. 17.

    https://github.com/potassco/clingraph/tree/master/examples.

  18. 18.

    https://github.com/rndmcnlly/Lonsdaleite.

  19. 19.

    https://dtai.cs.kuleuven.be/krr/files/bib/manuals/IDPDraw-manual.pdf.

References

  1. Bösel, A., Linke, T., Schaub, T.: Profiling answer set programming: the visualization component of the noMoRe system. In: Proceedings of the JELIA 2004, pp. 702–705. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30227-8_61

  2. Calimeri, F., Leone, N., Ricca, F., Veltri, P.: A visual tracer for DLV. In: Proceedings of the SEA 2009, pp. 79–93. CEUR (2009)

    Google Scholar 

  3. Cliffe, O., De Vos, M., Brain, M., Padget, J.: ASPVIZ: declarative visualisation and animation using answer set programming. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 724–728. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89982-2_65

  4. Gebser, M., et al.: Experimenting with robotic intra-logistics domains. TPLP 18(3–4), 502–519 (2018)

    Google Scholar 

  5. Kloimüllner, C., Oetsch, J., Pührer, J., Tompits, H.: Kara: a system for visualising and visual editing of interpretations for answer-set programs. In: Proceedings of the INAP 2011, pp. 325–344 (2011)

    Google Scholar 

  6. König, A., Schaub, T.: Monitoring and visualizing answer set solving. TPLP Suppl. 13, 4–5 (2013)

    Google Scholar 

  7. Lifschitz, V.: Answer Set Programming. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-24658-7

    Book  MATH  Google Scholar 

  8. Perri, S., Ricca, F., Terracina, G., Cianni, D., Veltri, P.: An integrated graphic tool for developing and testing dlv programs. In: Proceedings of the SEA 2007, pp. 86–100. CEUR (2007)

    Google Scholar 

Download references

Acknowledgments

This work was supported by DFG grants SCHA 550/11 and 15.

Author information

Authors and Affiliations

  1. University of Potsdam, Potsdam, Germany

    Susana Hahn, Orkunt Sabuncu, Torsten Schaub & Tobias Stolzmann

  2. TED University, Ankara, Turkey

    Susana Hahn, Orkunt Sabuncu, Torsten Schaub & Tobias Stolzmann

  3. Potassco Solutions, Potsdam, Germany

    Susana Hahn, Orkunt Sabuncu, Torsten Schaub & Tobias Stolzmann

Authors
  1. Susana Hahn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Orkunt Sabuncu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Torsten Schaub
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Tobias Stolzmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Torsten Schaub .

Editor information

Editors and Affiliations

  1. University of Oxford, Oxford, UK

    Georg Gottlob

  2. Miami University, Oxford, OH, USA

    Daniela Inclezan

  3. University of Genova, Genoa, Italy

    Marco Maratea

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Hahn, S., Sabuncu, O., Schaub, T., Stolzmann, T. (2022). Clingraph: ASP-Based Visualization. In: Gottlob, G., Inclezan, D., Maratea, M. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2022. Lecture Notes in Computer Science(), vol 13416. Springer, Cham. https://doi.org/10.1007/978-3-031-15707-3_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-15707-3_31

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-15706-6

  • Online ISBN: 978-3-031-15707-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation