Picture for Li-Yan Yuan

Li-Yan Yuan

Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

Add code
Apr 30, 2009
Viaarxiv icon

Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms

Add code
Jul 14, 2005
Figure 1 for Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Figure 2 for Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Figure 3 for Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Viaarxiv icon

SLT-Resolution for the Well-Founded Semantics

Add code
Mar 02, 2001
Figure 1 for SLT-Resolution for the Well-Founded Semantics
Figure 2 for SLT-Resolution for the Well-Founded Semantics
Figure 3 for SLT-Resolution for the Well-Founded Semantics
Figure 4 for SLT-Resolution for the Well-Founded Semantics
Viaarxiv icon

Verifying Termination of General Logic Programs with Concrete Queries

Add code
Jun 21, 2000
Figure 1 for Verifying Termination of General Logic Programs with Concrete Queries
Figure 2 for Verifying Termination of General Logic Programs with Concrete Queries
Viaarxiv icon

Linear Tabulated Resolution Based on Prolog Control Strategy

Add code
Mar 09, 2000
Figure 1 for Linear Tabulated Resolution Based on Prolog Control Strategy
Figure 2 for Linear Tabulated Resolution Based on Prolog Control Strategy
Figure 3 for Linear Tabulated Resolution Based on Prolog Control Strategy
Figure 4 for Linear Tabulated Resolution Based on Prolog Control Strategy
Viaarxiv icon