#acl EditorsGroup:read,write,delete,revert,admin All:read = smodels = <> == Association == Aalto University, Department of Information and Computer Science == Description == The latest version of the smodels system is registered to the 3rd ASP competition in order to provide a baseline for competition. The computation of stable models is based on the following steps: * gringo (version 3.0.3) grounds the encoding and problem instance. * smodels (version 2.34) simplifies the instance using the well-founded semantics and the compute statement (if any). * smodels (version 2.34) with restarts is used to find a stable model == Acknowledgments == The grounder gringo has been developed at the University of Potsdam, Germany. The author of the smodels system is Patrik Simons from Neotide Ltd (http://www.neotide.fi/index_en.html), Finland. == Participants == * Tomi Janhunen * Ilkka Niemelä * Patrik Simons