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

19 September 2011

Christian Kloimüllner

ArXiv (abs)PDF HTML

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

9 / 9 papers shown

Title
onlineSPARC: a Programming Environment for Answer Set Programming Elias Marcopoulos Yuanlin Zhang ReLM KELM LRM 28 7 0 21 Sep 2018
LoIDE: a web-based IDE for Logic Programming - Preliminary Technical Report Stefano Germano Francesco Calimeri Eliana Palermiti 23 2 0 15 Sep 2017
An Online Development Environment for Answer Set Programming Elias Marcopoulos Christian Reotutar Yuanlin Zhang LRM 39 5 0 20 Jun 2017
Stepwise Debugging of Answer-Set Programs J. Oetsch Jörg Pührer H. Tompits LRM 66 14 0 18 May 2017
Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions Gokhan Avci M. Mehuljic P. Schüller 23 0 0 26 Jul 2016
Visualising interactive inferences with IDPD3 Ruben Lapauw Ingmar Dasseville M. Denecker 24 7 0 03 Nov 2015
A web-based IDE for IDP Ingmar Dasseville Gerda Janssens 31 12 0 03 Nov 2015
Utilizing ASP for Generating and Visualizing Argumentation Frameworks Günther Charwat J. Wallner S. Woltran 39 11 0 08 Jan 2013
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report J. Oetsch Jörg Pührer H. Tompits 116 23 0 19 Sep 2011