Efficiƫnte inferentie voor probabilistische programma's en databanken. KU Leuven
Het hoofddoel van dit project betreft het ontwikkelen van een unificerend kader voor het efficiƫnter maken van probabilistische queries in zowel probabilistische databases als in probabilistisch programmeren. Het project is gebaseerd op de observatie dat voor meerdere van deze specifieke types van queries, zowel relevante algoritmes als theoretische inzichten bestudeerd worden in volledige isolatie binnen hun respectievelijke domeinen (i.e. ...