welcome: please sign in
location: Participants / IDP

IDP

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

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)