research
∙
09/21/2023
A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join
We consider the dichotomy conjecture for consistent query answering unde...
share
research
∙
01/20/2023
A Simple Algorithm for Consistent Query Answering under Primary Keys
We consider the dichotomy conjecture for consistent query answering unde...
research
∙
02/03/2022
Are Bundles Good Deals for FOML?
Bundled products are often offered as good deals to customers. When we b...
research
∙
04/23/2019
Two variable fragment of Term Modal Logic
Term modal logics (TML) are modal logics with unboundedly many modalitie...
research
∙
11/23/2018
Propositional modal logic with implicit modal quantification
Propositional term modal logic is interpreted over Kripke structures wit...
research
∙
03/28/2018