welcome: please sign in
location: Diff for "Participants/SUP"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-17 13:16:28 →
Size: 430
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-17 13:16:51 → ⇥
Size: 431
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 2: Line 2:
= SUP= = SUP =

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)