Nicole Bidoit

61 papers A* 5A 6B 3C 4Journal 17Unranked 24
YearRankTypeTitle / Venue / Authors
2023 — conf
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).
Description Logics
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023 J jnl
Efficient Computation of General Modules for ALC Ontologies (Extended Version).
CoRR
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023 A* conf
Efficient Computation of General Modules for ALC Ontologies.
IJCAI
Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit
2023 A* conf
Efficient Extraction of EL-Ontology Deductive Modules.
AAAI
Hui Yang, Yue Ma, Nicole Bidoit
2022 A conf
Hypergraph-Based Inference Rules for Computing
IJCAR
Hui Yang, Yue Ma, Nicole Bidoit
2022 J jnl
Transducer Cascades for Biological Literature-Based Discovery.
Inf.
Denis Maurel, Sandy Chéry, Nicole Bidoit, Philippe Chatalic, Aziza Filali, Christine Froidevaux, Anne Poupon
2020 — ch.
Databases and Artificial Intelligence.
A Guided Tour of Artificial Intelligence Research (3) (III)
Nicole Bidoit, Patrick Bosc, Laurence Cholvy, Olivier Pivert, Marie-Christine Rousset
2018 J jnl
Evaluating Queries and Updates on Big XML Documents.
Inf. Syst. Frontiers
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
2016 — conf
Refining SQL Queries based on Why-Not Polynomials.
TaPP
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
2015 — conf
Andromeda: A System for Processing Queries and Updates on Big XML Documents.
ADBIS (Short Papers and Workshops)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
2015 J jnl
EFQ: Why-Not Answer Polynomials in Action.
Proc. VLDB Endow.
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
2015 A conf
Efficient Computation of Polynomial Explanations of Why-Not Questions.
CIKM
Nicole Bidoit, Melanie Herschel, Aikaterini Tzompanaki
2015 J jnl
Immutably answering Why-Not questions for equivalent conjunctive queries.
Ingénierie des Systèmes d Inf.
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
2015 — conf
Queries and Updates on Big XML Documents (Extended Abstract).
SEBD
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
2014 — conf
Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries.
TAPP
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
2014 B conf
Query-Based Why-Not Provenance with NedExplain.
EDBT
Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki
2013 J jnl
De la gestion de bases de données à la gestion de grands espaces de données.
Ingénierie des Systèmes d Inf.
Christine Collet, Bernd Amann, Nicole Bidoit, Mohand Boughanem, Mokrane Bouzeghoub, Anne Doucet, David Gross-Amblard, Jean-Marc Petit, Mohand-Said Hacid, Genoveva Vargas-Solar
2013 B conf
Processing XML queries and updates on map/reduce clusters.
EDBT
Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana, Maurizio Nolé, Carlo Sartiani
2012 C conf
Partitioning XML documents for iterative queries.
IDEAS
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
2011 B conf
Projection for XML update optimization.
EDBT
Mohamed-Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan
2009 J jnl
Fixpoint and While Temporal Query Languages.
J. Log. Comput.
Nicole Bidoit, Matthieu Objois
2007 — conf
Machine Flux de Données: comparaison de langages de requêtes continues.
BDA
Nicole Bidoit, Matthieu Objois
2007 C conf
Relational Temporal Machines.
TIME
Nicole Bidoit, François Hantry
2007 C conf
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.
TIME
Nicole Bidoit, Matthieu Objois
2006 — conf
Capturing well typed references in DTDs.
BDA
Nicole Bidoit, Dario Colazzo
2006 — conf
T2T query languages: a preliminary study.
BDA
Nicole Bidoit, Matthieu Objois
2006 — conf
Testing XML constraint satisfiability.
HyLo@FLoC
Nicole Bidoit, Dario Colazzo
2005 — conf
Temporal Query Languages Expressive Power: muTL vs. T-WHILE.
BDA
Nicole Bidoit, Matthieu Objois
2005 C conf
Temporal Query Languages Expressive Power: µTL versus T-WHILE.
TIME
Nicole Bidoit, Matthieu Objois
2004 J jnl
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic.
J. Appl. Non Class. Logics
Nicole Bidoit, Serenella Cerrito, Virginie Thion
2004 J jnl
Order Independent Temporal Properties.
J. Log. Comput.
Nicole Bidoit, Sandra de Amo, Luc Segoufin
2003 — conf
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride.
BDA
Nicole Bidoit, Serenella Cerrito, Virginie Thion
2001 — conf
Propriétés temporelles indépendantes de l'ordre.
BDA
Nicole Bidoit, Sandra de Amo, Luc Segoufin
2000 — conf
A Family of Nested Query Languages for Semi-structured Data.
FoIKS
Nicole Bidoit, Sofian Maabout, Mourad Ykhlef
1999 — conf
Implicit Temporal Query Languages: Towards Completeness.
FSTTCS
Nicole Bidoit, Sandra de Amo
1999 — conf
Langages de requêtes temporels: passé relatif versus passé absolu.
Proc. 15èmes Journées Bases de Données Avancées, BDA
Nicole Bidoit, Sandra de Amo
1999 — conf
Un langage imbriqué pour l'interrogation et l'intégration de données semistructurées.
Proc. 15èmes Journées Bases de Données Avancées, BDA
Nicole Bidoit, Sofian Maabout, Mourad Ykhlef
1998 J jnl
A First Step Towards Implementing Dynamic Algebraic Dependences.
Theor. Comput. Sci.
Nicole Bidoit, Sandra de Amo
1998 — conf
Fixpoint Calculus for Querying Semistructured Data.
WebDB
Nicole Bidoit, Mourad Ykhlef
1997 A conf
A Model Theoretic Approach to Update Rule Programs.
ICDT
Nicole Bidoit, Sofian Maabout
1996 J jnl
A Linear Logic Approach to Consistency Preserving Updates.
J. Log. Comput.
Nicole Bidoit, Serenella Cerrito, Christine Froidevaux
1996 — conf
Une Sémantique Trivaluée pour un langage de Règles de Mise à jour.
BDA
Nicole Bidoit, Sofian Maabout
1996 — conf
Update Programs Versus Revision Programs.
NMELP
Nicole Bidoit, Sofian Maabout
1995 A conf
A First Step Towards Implementing Dynamic Algebraic Dependencies.
ICDT
Nicole Bidoit, Sandra de Amo
1994 — ed.
Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings).
BDA
Nicole Bidoit
1993 — conf
Constraintes Dynamiques d'Inclusion et Schémas Transactionnels.
BDA
Nicole Bidoit, Sandra de Amo
1993 — conf
Session d'information animée par Nicole Bidoit.
BDA
Nicole Bidoit
1993 — conf
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.
BDA
Nicole Bidoit, Claude Delobel, Laurent Vieille
1991 J jnl
General Logical Databases and Programs: Default Logic Semantics and Stratification
Inf. Comput.
Nicole Bidoit, Christine Froidevaux
1991 J jnl
Negation by Default and Unstratifiable Logic Programs.
Theor. Comput. Sci.
Nicole Bidoit, Christine Froidevaux
1991 J jnl
Negation in Rule-Based Database Languages: A Survey.
Theor. Comput. Sci.
Nicole Bidoit
1990 A conf
WELL!: An Evaluation Procedure for All Logic Programs.
ICDT
Nicole Bidoit, P. Legay
1989 J jnl
Minimalism, Justification and Non-Monotonicity in Deductive Databases.
J. Comput. Syst. Sci.
Nicole Bidoit, Richard Hull
1988 A conf
More on Stratified Default Theories.
ECAI
Nicole Bidoit, Christine Froidevaux
1988 — conf
Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification.
BDA
Nicole Bidoit, Christine Froidevaux
1987 A* conf
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming
LICS
Nicole Bidoit, Christine Froidevaux
1987 J jnl
The Verso Algebra or How to Answer Queries with Fewer Joins.
J. Comput. Syst. Sci.
Nicole Bidoit
1987 — conf
VERSO: A Database Machine Based On Nested Relations.
NF²
Michel Scholl, Serge Abiteboul, François Bancilhon, Nicole Bidoit, Sophie Gamerman, Didier Plateau, Philippe Richard, Anne Verroust
1986 J jnl
Non First Normal Form Relations: An Algebra Allowing Data Restructuring.
J. Comput. Syst. Sci.
Serge Abiteboul, Nicole Bidoit
1986 A* conf
Positivism vs. Minimalism in Deductive Databases.
PODS
Nicole Bidoit, Richard Hull
1984 A* conf
Non First Normal Form Relations to Represent Hierarchical Organized Data.
PODS
Serge Abiteboul, Nicole Bidoit