research
∙
07/28/2015
Projected Model Counting
Model counting is the task of computing the number of assignments to var...
share
research
∙
11/20/2014
Stable Model Counting and Its Application in Probabilistic Logic Programming
Model counting is the problem of computing the number of models that sat...
research
∙
05/14/2014
Bound Founded Answer Set Programming
Answer Set Programming (ASP) is a powerful modelling formalism that is v...
research
∙
05/14/2014