Amélie Gheerbrant
Amélie Gheerbrant
Lecturer, LIAFA (University Paris Diderot – Paris 7 & CNRS)
Verified email at liafa.univ-paris-diderot.fr - Homepage
TitleCited byYear
Game solution, epistemic dynamics and fixed-point logics
J Van Benthem, A Gheerbrant
Fundamenta Informaticae 100 (1-4), 19-41, 2010
532010
Naïve evaluation of queries over incomplete databases
A Gheerbrant, L Libkin, C Sirangelo
ACM Transactions on Database Systems (TODS) 39 (4), 31, 2014
222014
Containment of pattern-based queries over data trees
C David, A Gheerbrant, L Libkin, W Martens
Proceedings of the 16th International Conference on Database Theory, 201-212, 2013
212013
On the complexity of query answering over incomplete XML documents
A Gheerbrant, L Libkin, T Tan
Proceedings of the 15th International Conference on Database Theory, 169-181, 2012
202012
When is naive evaluation possible?
A Gheerbrant, L Libkin, C Sirangelo
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
152013
Fixed-point logics on trees
AP Gheerbrant
ILLC, 2010
132010
Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
A Gheerbrant, B ten Cate
International Symposium on Logical Foundations of Computer Science, 180-196, 2009
92009
Craig interpolation for linear temporal languages
A Gheerbrant, B Ten Cate
International Workshop on Computer Science Logic, 287-301, 2009
82009
Certain answers over incomplete XML documents: extending tractability boundary
A Gheerbrant, L Libkin
Theory of Computing Systems 57 (4), 892-926, 2015
62015
Reasoning about pattern-based XML queries
A Gheerbrant, L Libkin, C Sirangelo
International Conference on Web Reasoning and Rule Systems, 4-18, 2013
62013
Recursive complexity of the Carnap first order modal logic C
A Gheerbrant, M Mostowski
Mathematical Logic Quarterly 52 (1), 87-94, 2006
62006
Complete axiomatizations of fragments of monadic second-order logic on finite trees
A Gheerbrant, B Cate
arXiv preprint arXiv:1210.2620, 2012
42012
Complete axiomatization of the stutter-invariant fragment of the linear time µ-calculus
A Gheerbrant
proceedings of AiML 2010, 2010
22010
Best answers over incomplete data: complexity and first-order rewritings
A Gheerbrant, C Sirangelo
Proceedings of the 28th International Joint Conference on Artificial …, 2019
2019
Static Analysis and Query Answering for Incomplete Data Trees with Constraints
A Gheerbrant, L Libkin, J Reutter
In Search of Elegance in the Theory and Practice of Computation, 273-290, 2013
2013
SOURCE (OR PART OF THE FOLLOWING SOURCE): Type PhD thesis Title Fixed-point logics on trees
AP Gheerbrant
2010
Increasing the expressive power of the Carnap first order modal logic C
A Gheerbrant
Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la …, 2006
2006
Incomplete information, monotonicity and homomorphism preservation
A Gheerbrant, L Libkin, C Sirangelo
Querying incomplete graphs with data
G Fontaine, A Gheerbrant
The system can't perform the operation now. Try again later.
Articles 1–19