Sen Zheng | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Renate A. Schmidt
6 publications

research

∙ 08/10/2022

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Answering Boolean conjunctive query over logical constraints is an essen...

0 Sen Zheng, et al. ∙

research

∙ 02/06/2020

Querying Guarded Fragments via Resolution

The problem of answering Boolean conjunctive queries over the guarded fr...

0 Sen Zheng, et al. ∙

research

∙ 01/12/2020

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

We consider the following query answering problem: Given a Boolean conju...

0 Sen Zheng, et al. ∙