v1v2 (latest)

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

19 September 2011

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

3 / 3 papers shown

Title
Stepwise Debugging of Answer-Set Programs J. Oetsch Jörg Pührer H. Tompits LRM 46 14 0 18 May 2017
Modularity Aspects of Disjunctive Stable Models Tomi Janhunen Emilia Oikarinen H. Tompits S. Woltran 42 120 0 15 Jan 2014
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report J. Oetsch Jörg Pührer H. Tompits 75 23 0 19 Sep 2011