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

@inproceedings{Kloimllner2011KaraAS,
  title={Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs},
  author={Christian Kloim{\"u}llner and Johannes Oetsch and J{\"o}rg P{\"u}hrer and Hans Tompits},
  booktitle={INAP/WLP},
  year={2011}
}
In answer-set programming (ASP), the solutions of a problem are encoded in dedicated models, called answer sets, of a logical theory. These answer sets are computed from the program that represents the theory by means of an ASP solver and returned to the user as sets of ground first-order literals. As this type of representation is often cumbersome for the user to interpret, tools like ASPVIZ and IDPDraw were developed that allow for visualising answer sets. The tool Kara, introduced in this… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-10 of 12 references

Similar Papers

Loading similar papers…