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

Kloimüllner, Christian; Oetsch, Johannes; Puehrer, Joerg; Tompits, Hans

by Christian Kloimüllner, Johannes Oetsch, Joerg Puehrer, Hans Tompits

Reference:

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set ProgramsChristian Kloimüllner, Johannes Oetsch, Joerg Puehrer, Hans Tompits19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011) and 25th Workshop on Logic Programming (WLP 2011), pages 152–164, 2011, INFSYS Research Report.

Bibtex Entry:

@inproceedings{kloimuellner-11,
  author = {Kloim{\"u}llner, Christian and Oetsch, Johannes and Puehrer, Joerg
  and Tompits, Hans},
  title = {Kara: A System for Visualising and Visual Editing of Interpretations
  for Answer-Set Programs},
  booktitle = {19th International Conference on Applications of Declarative Programming
  and Knowledge Management ({INAP} 2011) and 25th Workshop on Logic
  Programming ({WLP} 2011)},
  year = {2011},
  pages = {152--164},
  address = {1843-11-06},
  publisher = {{INFSYS} Research Report},
  url = {http://publik.tuwien.ac.at/files/PubDat_201245.pdf},
  pdfps = {(\htmladdnormallink{PDF-file}{/publications/bib/pdf/kloimuellner-11.pdf})},
  category = {asp, se, vis},
  keywords = {asp, se, vis}
}