47 citations · 47 across the 1 of their papers we have counts for
Showing 2000Show all
2 papers · 1 filter
cs.LO2000
Extending and Implementing the Stable Model Semantics
Patrik Simons
An algorithm for computing the stable model semantics of logic programs is developed. It is shown that one can extend the semantics and the algorithm to handle new and more express…
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…