Amélie Gheerbrant

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 8

Top Topics

Incomplete Data

Conjunctive Queries

Top Venues

Theory Comput. Syst.

ACM Trans. Database Syst.

Publications

Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Querying Incomplete Data: Complexity and Tractability via Datalog and First-Order Rewritings. Theory Pract. Log. Program. 24 (2) (2024)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
A Researcher's Digest of GQL (Invited Talk). ICDT (2023)
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Querying Incomplete Data : Complexity and Tractability via Datalog and First-Order Rewritings. CoRR (2023)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
GPC: A Pattern Calculus for Property Graphs. PODS (2023)
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova, Domagoj Vrgoc
GPC: A Pattern Calculus for Property Graphs. CoRR (2022)
Amélie Gheerbrant, Leonid Libkin, Alexandra Rogova, Cristina Sirangelo
Certain Answers of Extensions of Conjunctive Queries by Datalog and First-Order Rewriting. Datalog (2022)
Amélie Gheerbrant, Cristina Sirangelo
Best Answers over Incomplete Data : Complexity and First-Order Rewritings. IJCAI (2019)
Amélie Gheerbrant, Leonid Libkin
Certain Answers over Incomplete XML Documents: Extending Tractability Boundary. Theory Comput. Syst. 57 (4) (2015)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
Naïve Evaluation of Queries over Incomplete Databases. ACM Trans. Database Syst. 39 (4) (2014)
Amélie Gheerbrant, Gaëlle Fontaine
Querying Incomplete Graphs with Data. AMW (2014)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
Reasoning About Pattern-Based XML Queries. RR (2013)
Claire David, Amélie Gheerbrant, Leonid Libkin, Wim Martens
Containment of pattern-based queries over data trees. ICDT (2013)
Amélie Gheerbrant, Leonid Libkin, Juan L. Reutter
Static Analysis and Query Answering for Incomplete Data Trees with Constraints. In Search of Elegance in the Theory and Practice of Computation (2013)
Amélie Gheerbrant, Leonid Libkin, Cristina Sirangelo
When is naive evaluation possible? PODS (2013)
Amélie Gheerbrant, Leonid Libkin, Tony Tan
On the complexity of query answering over incomplete XML documents. ICDT (2012)
Amélie Gheerbrant, Balder ten Cate
Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees Log. Methods Comput. Sci. 8 (4) (2012)
Amélie Gheerbrant
Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. Advances in Modal Logic (2010)
Johan van Benthem, Amélie Gheerbrant
Game Solution, Epistemic Dynamics and Fixed-Point Logics. Fundam. Informaticae 100 (1-4) (2010)
Amélie Gheerbrant, Balder ten Cate
Craig Interpolation for Linear Temporal Languages. CSL (2009)
Amélie Gheerbrant, Balder ten Cate
Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. LFCS (2009)
Amélie Gheerbrant, Marcin Mostowski
Recursive complexity of the Carnap first order modal logic C. Math. Log. Q. 52 (1) (2006)