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...
share
research
∙
02/06/2020
Querying Guarded Fragments via Resolution
The problem of answering Boolean conjunctive queries over the guarded fr...
research
∙
01/12/2020
