Lazy Model Expansion: Interleaving Grounding with Search - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Broes de Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey. Lazy Model Expansion: Interleaving Grounding with Search. J. Artif. Intell. Res. (JAIR), 52:235-286, 2015. [doi]

This author has not been identified. Look up 'Broes de Cat' in GoogleThis author has not been identified. Look up 'Marc Denecker' in GoogleThis author has not been identified. It may be one of the following persons:

Maurice Bruynooghe

Look up 'Maurice Bruynooghe' in GoogleThis author has not been identified. Look up 'Peter J. Stuckey' in Google

runs on WebDSL