10 citations · 17 across the 5 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…