135 citations · 189 across the 8 of their papers we have counts for
1 paper · 1 filter
Martin Gebser, Roland Kaminski, Torsten Schaub
Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the…