default search action
Nicole Bidoit
Person information
- affiliation: University of Paris-Sud, Laboratory for Computer Science (LRI), France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c44]Hui Yang
, Yue Ma, Nicole Bidoit:
Efficient Extraction of EL-Ontology Deductive Modules. AAAI 2023: 6575-6582 - [c43]Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit:
Efficient Computation of General Modules for ALC Ontologies (Extended Abstract). Description Logics 2023 - [c42]Hui Yang
Efficient Computation of General Modules for ALC Ontologies. IJCAI 2023: 3356-3364 - [i2]Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit:
Efficient Computation of General Modules for ALC Ontologies (Extended Version). CoRR abs/2305.09503 (2023) - 2022
- [j18]Denis Maurel
Transducer Cascades for Biological Literature-Based Discovery. Inf. 13(5): 262 (2022) - [c41]Hui Yang
Hypergraph-Based Inference Rules for Computing EL+-Ontology Justifications. IJCAR 2022: 310-328 - 2020
- [p1]Nicole Bidoit, Patrick Bosc, Laurence Cholvy, Olivier Pivert, Marie-Christine Rousset:
Databases and Artificial Intelligence. A Guided Tour of Artificial Intelligence Research (3) (III) 2020: 91-116
2010 – 2019
- 2018
- [j17]Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani:
Evaluating Queries and Updates on Big XML Documents. Inf. Syst. Frontiers 20(1): 63-90 (2018) - 2016
- [c40]Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki:
Refining SQL Queries based on Why-Not Polynomials. TaPP 2016 - 2015
- [j16]Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki:
Immutably answering Why-Not questions for equivalent conjunctive queries. Ingénierie des Systèmes d Inf. 20(5): 27-52 (2015) - [j15]Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki:
EFQ: Why-Not Answer Polynomials in Action. Proc. VLDB Endow. 8(12): 1980-1983 (2015) - [c39]Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
Andromeda: A System for Processing Queries and Updates on Big XML Documents. ADBIS (Short Papers and Workshops) 2015: 218-228 - [c38]Nicole Bidoit, Melanie Herschel, Aikaterini Tzompanaki:
Efficient Computation of Polynomial Explanations of Why-Not Questions. CIKM 2015: 713-722 - [c37]Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana:
Queries and Updates on Big XML Documents (Extended Abstract). SEBD 2015: 152-159 - 2014
- [c36]Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki:
Query-Based Why-Not Provenance with NedExplain. EDBT 2014: 145-156 - [c35]Nicole Bidoit, Melanie Herschel, Katerina Tzompanaki:
Immutably Answering Why-Not Questions for Equivalent Conjunctive Queries. TAPP 2014 - 2013
- [j14]Christine Collet, Bernd Amann
De la gestion de bases de données à la gestion de grands espaces de données. Ingénierie des Systèmes d Inf. 18(4): 11-31 (2013) - [c34]Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana
Processing XML queries and updates on map/reduce clusters. EDBT 2013: 745-748 - 2012
- [j13]Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana
Type-Based Detection of XML Query-Update Independence. Proc. VLDB Endow. 5(9): 872-883 (2012) - [c33]Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
Partitioning XML documents for iterative queries. IDEAS 2012: 51-60 - [i1]Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana:
Type-Based Detection of XML Query-Update Independence. CoRR abs/1205.6698 (2012) - 2011
- [c32]Mohamed-Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan:
Projection for XML update optimization. EDBT 2011: 307-318 - [c31]Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo:
Efficient Encoding of Temporal XML Documents. TIME 2011: 15-22 - 2010
- [c30]Nicole Bidoit-Tollu:
Types and Constraints: From Relational to XML Data. SDKB 2010: 40-53
2000 – 2009
- 2009
- [j12]Nicole Bidoit, Matthieu Objois:
Fixpoint and While Temporal Query Languages. J. Log. Comput. 19(2): 369-404 (2009) - 2008
- [j11]Nicole Bidoit-Tollu, Matthieu Objois:
Machines pour flux de données. Comparaison de langages de requêtes continues. Ingénierie des Systèmes d Inf. 13(5): 9-32 (2008) - 2007
- [c29]Nicole Bidoit, Matthieu Objois:
Machine Flux de Données: comparaison de langages de requêtes continues. BDA 2007 - [c28]Nicole Bidoit, François Hantry:
Relational Temporal Machines. TIME 2007: 23-34 - [c27]Nicole Bidoit, Matthieu Objois:
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. TIME 2007: 35-46 - 2006
- [c26]Nicole Bidoit, Dario Colazzo:
Capturing well typed references in DTDs. BDA 2006 - [c25]Nicole Bidoit, Matthieu Objois:
T2T query languages: a preliminary study. BDA 2006 - [c24]Nicole Bidoit, Dario Colazzo:
Testing XML constraint satisfiability. HyLo@FLoC 2006: 45-61 - 2005
- [c23]Nicole Bidoit, Matthieu Objois:
Temporal Query Languages Expressive Power: muTL vs. T-WHILE. BDA 2005 - [c22]Nicole Bidoit, Matthieu Objois:
Temporal Query Languages Expressive Power: µTL versus T-WHILE. TIME 2005: 74-82 - 2004
- [j10]Nicole Bidoit, Serenella Cerrito, Virginie Thion:
A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic. J. Appl. Non Class. Logics 14(4): 447-475 (2004) - [j9]Nicole Bidoit, Sandra de Amo, Luc Segoufin:
Order Independent Temporal Properties. J. Log. Comput. 14(2): 277-298 (2004) - 2003
- [c21]Nicole Bidoit, Serenella Cerrito, Virginie Thion:
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride. BDA 2003 - 2001
- [c20]Nicole Bidoit, Sandra de Amo, Luc Segoufin:
Propriétés temporelles indépendantes de l'ordre. BDA 2001 - 2000
- [c19]Nicole Bidoit, Sofian Maabout, Mourad Ykhlef
A Family of Nested Query Languages for Semi-structured Data. FoIKS 2000: 13-30
1990 – 1999
- 1999
- [c18]Nicole Bidoit, Sofian Maabout, Mourad Ykhlef:
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 1999: 63-82 - [c17]Nicole Bidoit, Sandra de Amo:
Langages de requêtes temporels: passé relatif versus passé absolu. Proc. 15èmes Journées Bases de Données Avancées, BDA 1999: 449-467 - [c16]Nicole Bidoit, Sandra de Amo:
Implicit Temporal Query Languages: Towards Completeness. FSTTCS 1999: 245-257 - 1998
- [j8]Nicole Bidoit, Sandra de Amo:
A First Step Towards Implementing Dynamic Algebraic Dependences. Theor. Comput. Sci. 190(2): 115-149 (1998) - [c15]Nicole Bidoit, Mourad Ykhlef
Fixpoint Calculus for Querying Semistructured Data. WebDB 1998: 78-97 - 1997
- [c14]Nicole Bidoit, Sofian Maabout:
A Model Theoretic Approach to Update Rule Programs. ICDT 1997: 173-187 - 1996
- [j7]Nicole Bidoit, Serenella Cerrito, Christine Froidevaux:
A Linear Logic Approach to Consistency Preserving Updates. J. Log. Comput. 6(3): 439-463 (1996) - [c13]Nicole Bidoit, Sofian Maabout:
Une Sémantique Trivaluée pour un langage de Règles de Mise à jour. BDA 1996: 397-416 - [c12]Nicole Bidoit, Sofian Maabout:
Update Programs Versus Revision Programs. NMELP 1996: 151-170 - 1995
- [c11]Nicole Bidoit, Sandra de Amo:
A First Step Towards Implementing Dynamic Algebraic Dependencies. ICDT 1995: 308-321 - 1994
- [e1]Nicole Bidoit:
Dixièmes Journées Bases de Données Avancées, 30 Août - 2 Septembre 1994, Clermont-Ferrand, France (Informal Proceedings). INRIA 1994 [contents] - 1993
- [c10]Nicole Bidoit, Claude Delobel, Laurent Vieille:
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille. BDA 1993: 139- - [c9]Nicole Bidoit, Sandra de Amo:
Constraintes Dynamiques d'Inclusion et Schémas Transactionnels. BDA 1993: 401-424 - [c8]Nicole Bidoit:
Session d'information animée par Nicole Bidoit. BDA 1993: 445- - 1991
- [j6]Nicole Bidoit, Christine Froidevaux:
General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54 (1991) - [j5]Nicole Bidoit:
Negation in Rule-Based Database Languages: A Survey. Theor. Comput. Sci. 78(1): 3-83 (1991) - [j4]Nicole Bidoit, Christine Froidevaux:
Negation by Default and Unstratifiable Logic Programs. Theor. Comput. Sci. 78(1): 86-112 (1991) - 1990
- [c7]Nicole Bidoit, P. Legay:
WELL!: An Evaluation Procedure for All Logic Programs. ICDT 1990: 335-348
1980 – 1989
- 1989
- [j3]Nicole Bidoit, Richard Hull:
Minimalism, Justification and Non-Monotonicity in Deductive Databases. J. Comput. Syst. Sci. 38(2): 290-325 (1989) - 1988
- [c6]Nicole Bidoit, Christine Froidevaux:
Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification. BDA 1988: 181-198 - [c5]Nicole Bidoit, Christine Froidevaux:
More on Stratified Default Theories. ECAI 1988: 492-494 - 1987
- [j2]Nicole Bidoit:
The Verso Algebra or How to Answer Queries with Fewer Joins. J. Comput. Syst. Sci. 35(3): 321-364 (1987) - [c4]Nicole Bidoit, Christine Froidevaux:
Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming. LICS 1987: 89-97 - [c3]Michel Scholl, Serge Abiteboul, François Bancilhon, Nicole Bidoit, Sophie Gamerman, Didier Plateau, Philippe Richard, Anne Verroust:
VERSO: A Database Machine Based On Nested Relations. NF² 1987: 27-49 - 1986
- [j1]Serge Abiteboul, Nicole Bidoit:
Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. Comput. Syst. Sci. 33(3): 361-393 (1986) - [c2]Nicole Bidoit, Richard Hull:
Positivism vs. Minimalism in Deductive Databases. PODS 1986: 123-132 - 1984
- [c1]Serge Abiteboul, Nicole Bidoit:
Non First Normal Form Relations to Represent Hierarchical Organized Data. PODS 1984: 191-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-07 21:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: