welcome: please sign in
location: Diff for "Participants/Model&Solve-IDP"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-17 13:28:28 →
Size: 868
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-22 08:24:26 → ⇥
Size: 872
Editor: FrancescoCalimeri
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
#acl EditorsGroup:read,write,delete,revert,admin All: #acl EditorsGroup:read,write,delete,revert,admin All:read

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

  • Broes De Cat
  • Johan Wittocx
  • Maurice Bruynooghe
  • Joost Vennekens
  • Marc Denecker
  • Hanne Vlaeminck
  • Stef De Pooter
  • Bart Bogaerts
  • Jo Devriendt

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.

ASP Competition 2011: Participants/Model&Solve-IDP (last edited 2011-05-23 07:30:10 by CarmenSantoro)