22 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Université de LilleFR9 papers
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR7 papers
- Institut national de recherche en sciences et technologies du numériqueFR6 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- École Centrale de LilleFR4 papers
- Laboratoire Traitement et Communication de l’InformationFR4 papers
- Centre de Recherche en InformatiqueFR3 papers
- Télécom ParisFR3 papers
- Centre Inria de l'Université de LilleFR2 papers
- Laboratoire d'Informatique Fondamentale de LilleFR2 papers
- University of OxfordGB2 papers
- Centre de Recherche en Informatique de LensFR1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022
Tighter Bounds for Query Answering with Guarded TGDs
Antoine Amarilli, Michael Benedikt
We consider the complexity of the open-world query answering problem, where we wish to determine certain answers to conjunctive queries over incomplete datasets specified by an ini…
cs.LO2017★ 2 cited
Definability and Interpolation within Decidable Fixpoint Logics
Michael Benedikt, Pierre Bourhis, Michael Vanden Boom
We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic…