Yisong Wang

State Key Laboratory of Public Big Data , Key Laboratory of Advanced Medical Imaging and Intelligent Computing of Guizhou Province , College of Computer Science and Technology , Guizhou University , China

4 papers in the IJCAI proceedings

IJCAI 2026

Uniform Interpolation Closure for Branching Time Temporal Logics

with Renyan Feng, Mingsen Deng, Erman Acar

doi:10.24963/ijcai.2026/427

Details PDF

IJCAI 2025

Witnesses for Answer Sets of Basic Logic Programs

with Xianglong Wang, Zhongtao Xie, Thomas Eiter

doi:10.24963/ijcai.2025/523

Details PDF

IJCAI 2015

On Forgetting Postulates in Answer Set Programming

with Jian-Min Ji, Jia-Huai You

Details PDF

IJCAI 2013

Forgetting for Answer Set Programs Revisited

with Kewen Wang, Mingyi Zhang

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings