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