1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2020
Querying Guarded Fragments via Resolution
Sen Zheng, Renate A. Schmidt
Answering Boolean conjunctive queries over the guarded fragment is decidable, however, as yet no practical decision procedure exists. Meanwhile, ordered resolution, as a practicall…
cs.LO2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
Sen Zheng, Renate A. Schmidt
We consider the following query answering problem: Given a Boolean conjunctive query and a theory in the Horn loosely guarded fragment, the aim is to determine whether the query is…
cs.LO2016
Lifting QBF Resolution Calculi to DQBF
Olaf Beyersdorff, Leroy Chew, Renate Schmidt +1
We examine the existing Resolution systems for quantified Boolean formulas (QBF) and answer the question which of these calculi can be lifted to the more powerful Dependency QBFs (…