Li-Yan Yuan

Identifiers

• name variant Li-Yan Yuan 0.60 · backfill

Papers (6)

1. Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms cs.AI · 2009 · author #3
2. Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms cs.LO · 2005 · author #3
3. A Dynamic Approach to Characterizing Termination of General Logic Programs cs.LO · 2002 · author #3
4. Verifying Termination of General Logic Programs with Concrete Queries cs.AI · 2000 · author #2
5. Linear Tabulated Resolution Based on Prolog Control Strategy cs.AI · 2000 · author #2
6. SLT-Resolution for the Well-Founded Semantics cs.AI · 2000 · author #2

Mentions

• 0904.4727 #3 · backfill · confidence 0.70 Li-Yan Yuan

Frequent Coauthors

• Jia-Huai You 6 shared papers
• Yi-Dong Shen 6 shared papers
• Neng-Fa Zhou 1 shared papers
• Qiang Yang 1 shared papers
• Samuel S. P. Shen 1 shared papers