11 citations · 11 across the 1 of their papers we have counts for
1 paper
Emilia Oikarinen, Tomi Janhunen
In this paper, a Gaifman-Shapiro-style module architecture is tailored to the case of Smodels programs under the stable model semantics. The composition of Smodels program modules…