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]

Authors

Christian Kloimüllner

This author has not been identified. Look up 'Christian Kloimüllner' in Google

Johannes Oetsch

This author has not been identified. Look up 'Johannes Oetsch' in Google

Jörg Pührer

This author has not been identified. Look up 'Jörg Pührer' in Google

Hans Tompits

This author has not been identified. Look up 'Hans Tompits' in Google