Jian-Min Ji

4 papers in the IJCAI proceedings

IJCAI 2016

Eliminating Disjunctions in Answer Set Programming by Restricted Unfolding

with Hai Wan, Kewen Wang, Zhe Wang, Chuhan Zhang, Jiangtao Xu

Details PDF

IJCAI 2015

On Forgetting Postulates in Answer Set Programming

with Jia-Huai You, Yisong Wang

Details PDF

Simplifying A Logic Program Using Its Consequences

with Hai Wan, Ziwei Huo, Zhenfeng Yuan

Details PDF

IJCAI 2013

Handling Open Knowledge for Service Robots

with Xiaoping Chen, Zhiqiang Sui, Jiongkun Xie

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings