ML Anthology

De Cat, Broes

1 publications

JAIR 2015 Lazy Model Expansion: Interleaving Grounding with Search Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey