welcome: please sign in

You can't save spelling words.

Clear message
location: Participants / Model&Solve-IDP

IDP

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

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)