Witnesses for Answer Sets of Basic Logic Programs.

Yisong Wang, Xianglong Wang, Zhongtao Xie, Thomas Eiter
January 2025
Cite DOI
Type
Conference paper
Publication
IJCAI
Zhongtao Xie
Zhongtao Xie
PhD Graduate

Ph.D. candidate