welcome: please sign in
location: Diff for "Participants/Aalto_smodels"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-18 20:37:24 →
Size: 954
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-22 08:19:05 → ⇥
Size: 958
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read

smodels

Contents

  1. smodels
    1. Association
    2. Description
    3. Acknowledgments
    4. Participants

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

ASP Competition 2011: Participants/Aalto_smodels (last edited 2011-05-22 08:19:05 by FrancescoCalimeri)