activity
20102012
most citedThe System Kato: Detecting Cases of Plagiarism for Answer-Set Programs

9 citations · 26 across the 5 of their papers we have counts for

collaborators
Showing 2011 · cs.LOShow all

1 paper · 2 filters

cs.LO2011★ 9 cited

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

Christian Kloimüllner, Johannes Oetsch, Jörg Pührer +1

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 progra…