v1v2 (latest)

The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report

19 September 2011

Papers citing "The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report"

4 / 4 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
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs Christian Kloimüllner J. Oetsch Jörg Pührer H. Tompits 67 29 0 19 Sep 2011
Justifications for Logic Programs under Answer Set Semantics Enrico Pontelli Tran Cao Son Omar El-Khatib KELM OffRL 55 94 0 03 Dec 2008