Aalto University, Department of Information and Computer Science
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
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.
- Tomi Janhunen
- Ilkka Niemelä
- Patrik Simons