Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1109.4095
Cited By
v1
v2 (latest)
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs
19 September 2011
Christian Kloimüllner
J. Oetsch
Jörg Pührer
H. Tompits
Re-assign community
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
21
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
21
0
0
26 Jul 2016
Visualising interactive inferences with IDPD3
Ruben Lapauw
Ingmar Dasseville
M. Denecker
22
7
0
03 Nov 2015
A web-based IDE for IDP
Ingmar Dasseville
Gerda Janssens
28
12
0
03 Nov 2015
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
Günther Charwat
J. Wallner
S. Woltran
37
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
114
23
0
19 Sep 2011
1