welcome: please sign in

Upload page content

You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.

File to load page content from
Page name
Comment

location: Participants / 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

System Settings

All the underlying systems were used with default settings.