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
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.