On the role of logical separability in knowledge compilation

Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong. On the role of logical separability in knowledge compilation. Artificial Intelligence, 328:104077, March 2024. [doi]

Abstract

Abstract is missing.