Li-Yan Yuan

Department of Computing Science University of Alberta , Canada

2 papers in the IJCAI proceedings

IJCAI 2003

On the Equivalence between Answer Sets and Models of Completion for Nested Logic Programs

with Jia-Huai You, Mingyi Zhang

Details PDF

IJCAI 1997

A Default Interpretation of Defeasible Network

with Xianchang Wang, Jia-Huai You

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings