ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationLogic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP)
Place of PublicationBerlin / Heidelberg
PublisherSpringer
Pages724-728
Number of pages5
Volume5366
ISBN (Print)978-3-540-89981-5
DOIs
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
PublisherSpringer

Conference

Conference24th International Conference on Logic Programming (ICLP 2008)
CityUdine. Italy
Period9/12/0813/12/08

Fingerprint

Answer Sets
Answer Set Programming
Animation
Visualization
Debugging
Post-processing
Rendering
Reasoning
Model-based
Necessary

Cite this

Cliffe, O., De Vos, M., Padget, J., & 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, pp. 724-728). (Lecture Notes in Computer Science). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-540-89982-2_65

ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. / Cliffe, Owen; De Vos, Marina; Padget, Julian; Brain, Martin.

Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366 Berlin / Heidelberg : Springer, 2008. p. 724-728 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cliffe, O, De Vos, M, Padget, J & 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, Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, pp. 724-728, 24th International Conference on Logic Programming (ICLP 2008), Udine. Italy, 9/12/08. https://doi.org/10.1007/978-3-540-89982-2_65
Cliffe O, De Vos M, Padget J, Brain M. 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. 2008. p. 724-728. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-89982-2_65
Cliffe, Owen ; De Vos, Marina ; Padget, Julian ; Brain, Martin. / ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366 Berlin / Heidelberg : Springer, 2008. pp. 724-728 (Lecture Notes in Computer Science).
@inproceedings{9466e70ee35c480bb425fd799234397c,
title = "ASPViz: Declarative Visualisation and Animation Using Answer Set Programming",
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.",
author = "Owen Cliffe and {De Vos}, Marina and Julian Padget and Martin Brain",
year = "2008",
month = "12",
doi = "10.1007/978-3-540-89982-2_65",
language = "English",
isbn = "978-3-540-89981-5",
volume = "5366",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "724--728",
booktitle = "Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP)",

}

TY - GEN

T1 - ASPViz: Declarative Visualisation and Animation Using Answer Set Programming

AU - Cliffe, Owen

AU - De Vos, Marina

AU - Padget, Julian

AU - Brain, Martin

PY - 2008/12

Y1 - 2008/12

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-540-89982-2_65

DO - 10.1007/978-3-540-89982-2_65

M3 - Conference contribution

SN - 978-3-540-89981-5

VL - 5366

T3 - Lecture Notes in Computer Science

SP - 724

EP - 728

BT - Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP)

PB - Springer

CY - Berlin / Heidelberg

ER -