Picture for Geoffrey Chu

Geoffrey Chu

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

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

Structure Based Extended Resolution for Constraint Programming

Add code
Jun 19, 2013
Figure 1 for Structure Based Extended Resolution for Constraint Programming
Figure 2 for Structure Based Extended Resolution for Constraint Programming
Figure 3 for Structure Based Extended Resolution for Constraint Programming
Figure 4 for Structure Based Extended Resolution for Constraint Programming
Viaarxiv icon