Zhe Wang

School of Information and Communication Technology , Griffith University , Griffith , Australia

2 papers in the IJCAI proceedings

IJCAI 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding

with Jian-Min Ji, Hai Wan, Kewen Wang, Chuhan Zhang, Jiangtao Xu

Details PDF

IJCAI 2015

Extending AGM Contraction to Arbitrary Logics

with Zhi Qiang Zhuang, Kewen Wang, James P. Delgrande

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings