Kara: A System for Visualising and Visual Editing of Interpretations for
  Answer-Set Programs
v1v2 (latest)

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs

Papers citing "Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs"