47 citations · 47 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2003★ 47 cited
Unfolding Partiality and Disjunctions in Stable Model Semantics
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…
cs.AI2000
Smodels: A System for Answer Set Programming
Ilkka Niemela, Patrik Simons, Tommi Syrjanen
The Smodels system implements the stable model semantics for normal logic programs. It handles a subclass of programs which contain no function symbols and are domain-restricted bu…