Corpus ID: 17440044

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}
}
  • Ruben Lapauw, Ingmar Dasseville, M. Denecker
  • Published 2015
  • Computer Science
  • ArXiv
  • 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

    Figures and Topics from this paper

    Explore Further: Topics Discussed in This Paper

    A web-based IDE for IDP
    • 11
    • PDF
    onlineSPARC: a Programming Environment for Answer Set Programming
    • 3
    • PDF
    LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report
    • 2
    • PDF

    References

    SHOWING 1-6 OF 6 REFERENCES
    Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
    • 22
    • PDF
    ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming
    • 29
    D3 Data-Driven Documents
    • 736
    Simulating Dynamic Systems Using Linear Time Calculus Theories
    • 15
    • PDF
    Unfounded sets and well-founded semantics for general logic programs
    • 475
    IDPDraw: Finite structure visualization
    • IDPDraw: Finite structure visualization