Research

ASPViz: Declarative Visualisation and Animation Using Answer Set Programming


Reference:

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

This is the latest version of this item.

Related documents:

This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.

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.

Details

Item Type Book Sections
CreatorsCliffe, O., De Vos, M., Padget, J. and Brain, M.
DOI10.1007/978-3-540-89982-2_65
DepartmentsFaculty of Science > Computer Science
StatusPublished
ID Code12628

Export

Available Versions of this Item

  • ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. (deposited 09 Feb 2009 11:23)[Currently Displayed]

Actions (login required)

View Item