47 citations · 47 across the 1 of their papers we have counts for
1 paper · 2 filters
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…