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 / IDP

IDP

Contents

  1. IDP
    1. Association
    2. Description
    3. Participants
    4. System Settings

Association

The Knowledge Representation and Reasoning (KRR) research group of K.U.Leuven

Description

Uses Gringo(3.0.3) for grounding and MinisatID(2.5.0) for solving.

Participants

System Settings

All benchmarks were solved using the default parameter settings for both Gringo and MinisatID.