ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

Owen Cliffe, Marina De Vos, Julian Padget, Martin Brain

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

19 Citations (SciVal)


Answer set programming provides a powerful platform for model-based reasoning problems. The answer sets are solutions, but for many non-trivial problems post-processing is often necessary for human readability. In this paper we describe a method and a tool for visualising answer sets in which we exploit answer set programming itself to define how visualisations are constructed. An exciting potential application of our method is to assist in the debugging of answer set programs that, as a consequence of their declarative nature, are not amenable to traditional approaches: visual rendering of answer sets offers a way to help programmers spot false and missing solutions.
Original languageEnglish
Title of host publicationLogic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP)
Place of PublicationBerlin / Heidelberg
Number of pages5
ISBN (Print)978-3-540-89981-5
Publication statusPublished - Dec 2008
Event24th International Conference on Logic Programming (ICLP 2008) - Udine. Italy
Duration: 9 Dec 200813 Dec 2008

Publication series

NameLecture Notes in Computer Science


Conference24th International Conference on Logic Programming (ICLP 2008)
CityUdine. Italy


Dive into the research topics of 'ASPViz: Declarative Visualisation and Animation Using Answer Set Programming'. Together they form a unique fingerprint.

Cite this