53 citations · 154 across the 14 of their papers we have counts for
1 paper · 1 filter
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…