93 citations · 217 across the 4 of their papers we have counts for
1 paper · 1 filter
T. Janhunen, I. Niemela, D. Seipel +2
The paper studies an implementation methodology for partial and disjunctive stable models where partiality and disjunctions are unfolded from a logic program so that an implementat…