ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming-Reference-Cited by-同舟云学术

ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming

Published:2008 Issue: Volume: Page:724-728
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

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

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89982-2_65

Reference7 articles.

1. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving, 1st edn. Cambridge University Press, Cambridge (2003)

2. Lecture Notes in Computer Science;M. Brain,2007

3. Brain, M., De Vos, M.: Answer set programming – a domain in need of explanation. In: Exact 2008: International Workshop on Explanation-aware Computing (2008)

4. Balduccini, M., Gelfond, M., Nogueira, M.: A-prolog as a tool for declarative programming. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 63–72 (2000)

5. XPCE the SWI-Prolog native GUI library: http://www.swi-prolog.org/packages/xpce/

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex;Journal of Logic and Computation;2024-09-03

2. Clingraph: A System for ASP-based Visualization;Theory and Practice of Logic Programming;2024-02-14

3. Clingraph: ASP-Based Visualization;Logic Programming and Nonmonotonic Reasoning;2022

4. onlineSPARC: A Programming Environment for Answer Set Programming;Theory and Practice of Logic Programming;2018-11-14

5. SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support;Theory and Practice of Logic Programming;2013-07