#acl EditorsGroup:read,write,delete,revert,admin All:read
= IDP =
<<TableOfContents>>

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

== Description ==
Uses [[http://potassco.sourceforge.net/#gringo|Gringo]](3.0.3) for grounding and      [[http://dtai.cs.kuleuven.be/krr/software/minisatid|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.

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