SUP

<<TableOfContents: execution failed [list index out of range] (see also the log)>>

Association

University of Kentucky

Description

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

Participants

System Settings

All the underlying systems were used with default settings.