Mingyi Zhang

Guizhou Academy of Sciences , Guiyang , China 550001

3 papers in the IJCAI proceedings

IJCAI 2013

Forgetting for Answer Set Programs Revisited

with Yisong Wang, Kewen Wang

Details PDF

IJCAI 2003

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

with Jia-Huai You, Li-Yan Yuan

Details PDF

IJCAI 1989

Approximation of Indistinct Concepts

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings