Nicole Bidoit

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Transducer Cascades for Biological Literature-Based Discovery.

[BibT_eX]

[DOI]

Inf., 2022

Hypergraph-Based Inference Rules for Computing <i>EL</i><sup>+</sup>-Ontology Justifications.

[BibT_eX]

[DOI]

Hui Yang

Yue Ma

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2020

Databases and Artificial Intelligence.

[BibT_eX]

[DOI]

Marie-Christine Rousset

Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume III: Interfaces and Applications of Artificial Intelligence, 2020

2018

Evaluating Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2018

2016

Refining SQL Queries based on Why-Not Polynomials.

[BibT_eX]

[DOI]

Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

2015

EFQ: Why-Not Answer Polynomials in Action.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2015

Immutably answering Why-Not questions for equivalent conjunctive queries.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2015

Queries and Updates on Big XML Documents (Extended Abstract).

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Efficient Computation of Polynomial Explanations of Why-Not Questions.

[BibT_eX]

[DOI]

Aikaterini Tzompanaki

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Andromeda: A System for Processing Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2015

2014

Query-Based Why-Not Provenance with NedExplain.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Extending Database Technology, 2014

2013

De la gestion de bases de données à la gestion de grands espaces de données.

[BibT_eX]

[DOI]

Genoveva Vargas-Solar

Ingénierie des Systèmes d Inf., 2013

Processing XML queries and updates on map/reduce clusters.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Type-Based Detection of XML Query-Update Independence.

[BibT_eX]

[DOI]

Federico Ulliana

Proc. VLDB Endow., 2012

Partitioning XML documents for iterative queries.

[BibT_eX]

[DOI]

Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

2011

Efficient Encoding of Temporal XML Documents.

[BibT_eX]

[DOI]

Mohamed-Amine Baazizi

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Projection for XML update optimization.

[BibT_eX]

[DOI]

Mohamed-Amine Baazizi

Proceedings of the EDBT 2011, 2011

2010

Types and Constraints: From Relational to XML Data.

[BibT_eX]

[DOI]

Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

2009

Fixpoint and While Temporal Query Languages.

[BibT_eX]

[DOI]

J. Log. Comput., 2009

2008

Machines pour flux de données. Comparaison de langages de requêtes continues.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2008

2007

SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Relational Temporal Machines.

[BibT_eX]

[DOI]

François Hantry

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Machine Flux de Données: comparaison de langages de requêtes continues.

[BibT_eX]

Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006

Testing XML constraint satisfiability.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Hybrid Logic, 2006

T2T query languages: a preliminary study.

[BibT_eX]

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

Capturing well typed references in DTDs.

[BibT_eX]

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005

Temporal Query Languages Expressive Power: µTL versus T-WHILE.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Temporal Query Languages Expressive Power: muTL vs. T-WHILE.

[BibT_eX]

Proceedings of the 21èmes Journées Bases de Données Avancées, 2005

2004

Order Independent Temporal Properties.

[BibT_eX]

[DOI]

Luc Segoufin

J. Log. Comput., 2004

A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic.

[BibT_eX]

[DOI]

Serenella Cerrito

Virginie Thion

J. Appl. Non Class. Logics, 2004

2003

Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride.

[BibT_eX]

Serenella Cerrito

Virginie Thion

Proceedings of the 19èmes Journées Bases de Données Avancées, 2003

2001

Propriétés temporelles indépendantes de l'ordre.

[BibT_eX]

Luc Segoufin

Proceedings of the 17èmes Journées Bases de Données Avancées, 2001

2000

A Family of Nested Query Languages for Semi-structured Data.

[BibT_eX]

[DOI]

Mourad Ykhlef

Proceedings of the Foundations of Information and Knowledge Systems, 2000

1999

Implicit Temporal Query Languages: Towards Completeness.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

Un langage imbriqué pour l'interrogation et l'intégration de données semistructurées.

[BibT_eX]

Mourad Ykhlef

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

Langages de requêtes temporels: passé relatif versus passé absolu.

[BibT_eX]

Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998

A First Step Towards Implementing Dynamic Algebraic Dependences.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

Fixpoint Calculus for Querying Semistructured Data.

[BibT_eX]

[DOI]

Mourad Ykhlef

Proceedings of the World Wide Web and Databases, 1998

1997

A Model Theoretic Approach to Update Rule Programs.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1997

1996

A Linear Logic Approach to Consistency Preserving Updates.

[BibT_eX]

[DOI]

Serenella Cerrito

Christine Froidevaux

J. Log. Comput., 1996

Update Programs Versus Revision Programs.

[BibT_eX]

[DOI]

Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Une Sémantique Trivaluée pour un langage de Règles de Mise à jour.

[BibT_eX]

Proceedings of the 12èmes Journées Bases de Données Avancées, 1996

1995

A First Step Towards Implementing Dynamic Algebraic Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 1995

1993

Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.

[BibT_eX]

Claude Delobel

Laurent Vieille

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

Constraintes Dynamiques d'Inclusion et Schémas Transactionnels.

[BibT_eX]

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

Session d'information animée par Nicole Bidoit.

[BibT_eX]

Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

1991

General Logical Databases and Programs: Default Logic Semantics and Stratification

[BibT_eX]

[DOI]

Christine Froidevaux

Inf. Comput., March, 1991

Negation by Default and Unstratifiable Logic Programs.

[BibT_eX]

[DOI]

Christine Froidevaux

Theor. Comput. Sci., 1991

Negation in Rule-Based Database Languages: A Survey.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

1990

WELL!: An Evaluation Procedure for All Logic Programs.

[BibT_eX]

[DOI]

P. Legay

Proceedings of the ICDT'90, 1990

1989

Minimalism, Justification and Non-Monotonicity in Deductive Databases.

[BibT_eX]

[DOI]