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