11 citations · 11 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2008★ 11 cited
Achieving compositionality of the stable model semantics for Smodels programs
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…
cs.AI2006
Automated verification of weak equivalence within the SMODELS system
Tomi Janhunen, Emilia Oikarinen
In answer set programming (ASP), a problem at hand is solved by (i) writing a logic program whose answer sets correspond to the solutions of the problem, and by (ii) computing the…