Gegevens gestuurde logistiek KU Leuven
De reis die in dit proefschrift wordt vastgelegd concentreert zich rond kenniscompilatie, het tellen van modellen, en hun rol binnen state-of-the-art inferentie algoritmen voor probabilistische logische programmeertalen (PLP). Het telprobleem bestaat uit het bepalen van het aantal oplossingen dat voldoet aan een gegeven set van beperkingen, zoals 'A of niet B, en C'. Kenniscompilatietechnieken kunnen die beperkingen herformuleren zodat tellen ...