welcome: please sign in
location: Diff for "Participants/IDP"
Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2011-05-17 13:26:31 →
Size: 690
Editor: CarmenSantoro
Comment:
← Revision 2 as of 2011-05-22 08:18:03 → ⇥
Size: 694
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 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)