Yuan, Li-Yan

3 publications

IJCAI 2003 On the Equivalence Between Answer Sets and Models of Completion for Nested Logic Programs Jia-Huai You, Li-Yan Yuan, Mingyi Zhang
IJCAI 1997 A Default Interpretation of Defeasible Network Xianchang Wang, Jia-Huai You, Li-Yan Yuan
AAAI 1988 On Reducing Parallel Circumscription Li-Yan Yuan, Cheng Hui Wang