Sen Zheng - Research output - Research Explorer The University of Manchester

Sen Zheng public CV

1 Conference contribution
1 Article

1 results

Filter

2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Zheng, S. & Schmidt, R. A., 3 Apr 2020, Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence (AAAI-2020). AAAI Press, p. 3080-3087 8 p.
Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Open Access