ML Anthology

Zheng, Sen

1 publications

AAAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution Sen Zheng, Renate A. Schmidt