Picture for Maarten Mariën

Maarten Mariën

Grounding FO and FO(ID) with Bounds

Add code
Jan 16, 2014
Figure 1 for Grounding FO and FO(ID) with Bounds
Figure 2 for Grounding FO and FO(ID) with Bounds
Figure 3 for Grounding FO and FO(ID) with Bounds
Figure 4 for Grounding FO and FO(ID) with Bounds
Viaarxiv icon

Lifted Unit Propagation for Effective Grounding

Add code
Sep 06, 2011
Figure 1 for Lifted Unit Propagation for Effective Grounding
Figure 2 for Lifted Unit Propagation for Effective Grounding
Figure 3 for Lifted Unit Propagation for Effective Grounding
Figure 4 for Lifted Unit Propagation for Effective Grounding
Viaarxiv icon