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

Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits. Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs. In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, editors, Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Volume 7773 of Lecture Notes in Computer Science, pages 325-344, Springer, 2011. [doi]

@inproceedings{KloimullnerOPT11,
  title = {Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs},
  author = {Christian Kloimüllner and Johannes Oetsch and Jörg Pührer and Hans Tompits},
  year = {2011},
  doi = {10.1007/978-3-642-41524-1_20},
  url = {http://dx.doi.org/10.1007/978-3-642-41524-1_20},
  researchr = {https://researchr.org/publication/KloimullnerOPT11},
  cites = {0},
  citedby = {0},
  pages = {325-344},
  booktitle = {Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers},
  editor = {Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf},
  volume = {7773},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-41523-4},
}