welcome: please sign in
location: Diff for "Participants/SUP"
Differences between revisions 2 and 4 (spanning 2 versions)
⇤ ← Revision 2 as of 2011-05-17 13:16:51 →
Size: 431
Editor: CarmenSantoro
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 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read
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)