9 citations · 26 across the 13 of their papers we have counts for
1 paper · 2 filters
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…