welcome: please sign in

Please enter your password of your account at the remote wiki below.
/!\ You should trust both wikis because the password could be read by the particular administrators.

Clear message
location: Participants / Model&Solve-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 the IDP system, consisting of the grounder Gidl(1.6.12) and MinisatID(2.5.0).

Participants

System Settings

All benchmarks were solved with IDP using its default parameter settings. A preprocessing script was used to rewrite ASP instances into FO(.) structures.