47 citations · 47 across the 1 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…