135 citations · 329 across the 25 of their papers we have counts for
1 paper · 1 filter
Martin Gebser, Phillip Obermeier, Torsten Schaub
Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of…