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

• 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.