#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 the [[http://dtai.cs.kuleuven.be/krr/software/idp|IDP system]], consisting of the grounder [[http://dtai.cs.kuleuven.be/krr/software/gidl|Gidl]](1.6.12) and [[http://dtai.cs.kuleuven.be/krr/software/minisatid|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 [[http://dtai.cs.kuleuven.be/krr/research/fodotlang|FO(.)]] structures.

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