Een algebraïsche ProbLog en zijn toepassingen.

Het doel van dit project is om een taal te ontwikkelen voor het modelleren van dergelijke taken, evenals corresponderende redeneermechanismen, gebaseerd op de volgende centrale vragen: - Wat zijn de algemene kenmerken van dergelijke etiketteertaken? - Hoe kan efficiënte afleiding worden gerealiseerd? - Hoe kunnen (delen van) modellen automatisch worden geleerd?