Ziwei Huo

School of Software Sun Yat-sen University Guangzhou 510006 , China

1 paper in the IJCAI proceedings

IJCAI 2015

Simplifying A Logic Program Using Its Consequences

with Jian-Min Ji, Hai Wan, Zhenfeng Yuan

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings