Visualising interactive inferences with IDPD3
@article{Lapauw2015VisualisingII, title={Visualising interactive inferences with IDPD3}, author={Ruben Lapauw and Ingmar Dasseville and M. Denecker}, journal={ArXiv}, year={2015}, volume={abs/1511.00928} }
A large part of the use of knowledge base systems is the interpretation of the output by the end-users and the interaction with these users. Even during the development process visualisations can be a great help to the developer. We created IDPD3 as a library to visualise models of logic theories. IDPD3 is a new version of $ID^{P}_{Draw}$ and adds support for visualised interactive simulations.
4 Citations
onlineSPARC: a Programming Environment for Answer Set Programming
- Computer Science
- Theory Pract. Log. Program.
- 2019
- 3
- PDF
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
- Computer Science
- ArXiv
- 2017
- 2
- PDF
References
SHOWING 1-6 OF 6 REFERENCES
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
- Computer Science
- INAP/WLP
- 2011
- 22
- PDF
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
- Computer Science
- ICLP
- 2008
- 29
Simulating Dynamic Systems Using Linear Time Calculus Theories
- Computer Science
- Theory Pract. Log. Program.
- 2014
- 15
- PDF
Unfounded sets and well-founded semantics for general logic programs
- Mathematics, Computer Science
- PODS '88
- 1988
- 475
IDPDraw: Finite structure visualization
- IDPDraw: Finite structure visualization