welcome: please sign in
location: Diff for "Participants/SUP"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2011-05-22 08:18:31 →
Size: 435
Editor: FrancescoCalimeri
Comment:
← Revision 4 as of 2011-05-23 08:02:12 → ⇥
Size: 552
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 16: Line 16:

{{{#!wiki comment
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-sup.zip|download]]
}}}

SUP

Contents

  1. SUP
    1. Association
    2. Description
    3. Participants
    4. System Settings

Association

University of Kentucky

Description

Uses the grounder Gringo v. 3.0.3 and the answer set solver Sup v. 0.4.

Participants

  • Yulia Lierler

System Settings

All the underlying systems were used with default settings.

ASP Competition 2011: Participants/SUP (last edited 2011-05-23 08:02:12 by CarmenSantoro)