SUP
Contents
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.
Contents
University of Kentucky
Uses the grounder Gringo v. 3.0.3 and the answer set solver Sup v. 0.4.
All the underlying systems were used with default settings.
ASP Competition 2011: Participants/SUP (last edited 2011-05-23 08:02:12 by CarmenSantoro)
download