<<TableOfContents: execution failed [list index out of range] (see also the log)>>
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
- 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 FO(.) structures.
download