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
Grounding Bound Founded Answer Set Programs
To appear in Theory and Practice of Logic Programming (TPLP) Bound Fou...
research
∙
06/19/2013