welcome: please sign in
location: Diff for "Participants/IDP"
Differences between revisions 2 and 3
⇤ ← Revision 2 as of 2011-05-22 08:18:03 →
Size: 694
Editor: FrancescoCalimeri
Comment:
← Revision 3 as of 2011-05-23 08:03:24 → ⇥
Size: 811
Editor: CarmenSantoro
Comment:
Deletions are marked like this. Additions are marked like this.
Line 24: Line 24:

{{{#!wiki comment
[[http://www.mat.unical.it/aspcomp2011/files/participants/system-track-idp.zip|download]]
}}}

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

  • 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 using the default parameter settings for both Gringo and MinisatID.

ASP Competition 2011: Participants/IDP (last edited 2011-05-23 08:03:24 by CarmenSantoro)