Journal article

Lazy Model Expansion: Interleaving Grounding with Search

B De Cat, M Denecker, P STUCKEY, M Bruynooghe

Journal of Artificial Intelligence Research | AI Access Foundation | Published : 2015


Awarded by GOA

Funding Acknowledgements

During this research, Broes De Cat was funded by the Agency for Innovation by Science and Technology in Flanders (IWT). This research was also supported by FWO-Vlaanderen and by the project GOA 13/010, Research Fund KULeuven. NICTA is funded by the Australian Government through the Department of Communications and the Australian Research Council through the ICT Centre of Excellence Program.