ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming

Authors:
Owen Cliffe;Marina Vos;Martin Brain;Julian Padget
Affiliations:
Department of Computer Science, University of Bath, United Kingdom;Department of Computer Science, University of Bath, United Kingdom;Department of Computer Science, University of Bath, United Kingdom;Department of Computer Science, University of Bath, United Kingdom
Venue:
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Year:
2008

Citing 4
Cited 4

A user interface toolkit based on graphical objects and constraints

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Tools for Constraint Visualisation: The VIFID/TRIFID Tool

Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Debugging ASP programs by means of ASP

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Automatic music composition using answer set programming

Theory and Practice of Logic Programming
Challenges in answer set solving

Logic programming, knowledge representation, and nonmonotonic reasoning
Annotating answer-set programs in lana*

Theory and Practice of Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.