Login / Signup

Lazy Model Expansion: Interleaving Grounding with Search.

Broes De CatMarc DeneckerMaurice BruynooghePeter J. Stuckey
Published in: J. Artif. Intell. Res. (2015)
Keyphrases