IDP
Contents
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.
download