Witnesses for Answer Sets of Logic ProgramsOpen Website

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin

Published: 01 Jan 2023, Last Modified: 15 May 2023ACM Trans. Comput. Log. 2023Readers: Everyone
0 Replies