papers
Publications (6)
cs.AI2000
Linear Tabulated Resolution Based on Prolog Control Strategy
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You +1
cs.LO2005
Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
cs.AI2009
Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan
cs.AI2001
SLT-Resolution for the Well-Founded Semantics
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You
cs.LO2002
A Dynamic Approach to Characterizing Termination of General Logic Programs
Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan +2
cs.AI2000
Verifying Termination of General Logic Programs with Concrete Queries
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You