Picture for Rehan Abdul Aziz

Rehan Abdul Aziz

Projected Model Counting

Add code
Jul 28, 2015
Figure 1 for Projected Model Counting
Figure 2 for Projected Model Counting
Figure 3 for Projected Model Counting
Figure 4 for Projected Model Counting
Viaarxiv icon

Stable Model Counting and Its Application in Probabilistic Logic Programming

Add code
Nov 20, 2014
Figure 1 for Stable Model Counting and Its Application in Probabilistic Logic Programming
Figure 2 for Stable Model Counting and Its Application in Probabilistic Logic Programming
Figure 3 for Stable Model Counting and Its Application in Probabilistic Logic Programming
Viaarxiv icon

Bound Founded Answer Set Programming

Add code
May 14, 2014
Figure 1 for Bound Founded Answer Set Programming
Viaarxiv icon

Grounding Bound Founded Answer Set Programs

Add code
May 14, 2014
Figure 1 for Grounding Bound Founded Answer Set Programs
Figure 2 for Grounding Bound Founded Answer Set Programs
Figure 3 for Grounding Bound Founded Answer Set Programs
Viaarxiv icon