Nicole Bidoit

Affiliations:
  • University of Paris-Sud, Laboratory for Computer Science (LRI), France


According to our database1, Nicole Bidoit authored at least 62 papers between 1984 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Efficient Computation of General Modules for ALC Ontologies (Extended Version).
CoRR, 2023

Efficient Computation of General Modules for ALC Ontologies.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Efficient Computation of General Modules for ALC Ontologies (Extended Abstract).
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

Efficient Extraction of EL-Ontology Deductive Modules.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Transducer Cascades for Biological Literature-Based Discovery.
Inf., 2022

Hypergraph-Based Inference Rules for Computing <i>EL</i><sup>+</sup>-Ontology Justifications.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2018
Evaluating Queries and Updates on Big XML Documents.
Inf. Syst. Frontiers, 2018

2016
Refining SQL Queries based on Why-Not Polynomials.
Proceedings of the 8th USENIX Workshop on the Theory and Practice of Provenance, 2016

2015
EFQ: Why-Not Answer Polynomials in Action.
Proc. VLDB Endow., 2015

Immutably answering Why-Not questions for equivalent conjunctive queries.
Ingénierie des Systèmes d Inf., 2015

Queries and Updates on Big XML Documents (Extended Abstract).
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Efficient Computation of Polynomial Explanations of Why-Not Questions.
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.
Proceedings of the New Trends in Databases and Information Systems, 2015

2014
Query-Based Why-Not Provenance with NedExplain.
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.
Ingénierie des Systèmes d Inf., 2013

Processing XML queries and updates on map/reduce clusters.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012
Type-Based Detection of XML Query-Update Independence.
Proc. VLDB Endow., 2012

Partitioning XML documents for iterative queries.
Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

2011
Efficient Encoding of Temporal XML Documents.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Projection for XML update optimization.
Proceedings of the EDBT 2011, 2011

2010
Types and Constraints: From Relational to XML Data.
Proceedings of the Semantics in Data and Knowledge Bases - 4th International Workshops, 2010

2009
Fixpoint and While Temporal Query Languages.
J. Log. Comput., 2009

2008
Machines pour flux de données. Comparaison de langages de requêtes continues.
Ingénierie des Systèmes d Inf., 2008

2007
SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Relational Temporal Machines.
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.
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006
Testing XML constraint satisfiability.
Proceedings of the International Workshop on Hybrid Logic, 2006

T2T query languages: a preliminary study.
Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

Capturing well typed references in DTDs.
Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005
Temporal Query Languages Expressive Power: µTL versus T-WHILE.
Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Temporal Query Languages Expressive Power: muTL vs. T-WHILE.
Proceedings of the 21èmes Journées Bases de Données Avancées, 2005

2004
Order Independent Temporal Properties.
J. Log. Comput., 2004

A First Step towards Modeling Semistructured Data in Hybrid Multimodal Logic.
J. Appl. Non Class. Logics, 2004

2003
Un premier pas vers la modelisation des donnees semi-structurees par la logique multi-modale hybride.
Proceedings of the 19èmes Journées Bases de Données Avancées, 2003

2001
Propriétés temporelles indépendantes de l'ordre.
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.
Proceedings of the Foundations of Information and Knowledge Systems, 2000

1999
Implicit Temporal Query Languages: Towards Completeness.
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.
Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

Langages de requêtes temporels: passé relatif versus passé absolu.
Proceedings of the 15èmes Journées Bases de Données Avancées, 1999

1998
A First Step Towards Implementing Dynamic Algebraic Dependences.
Theor. Comput. Sci., 1998

Fixpoint Calculus for Querying Semistructured Data.
Proceedings of the World Wide Web and Databases, 1998

1997
A Model Theoretic Approach to Update Rule Programs.
Proceedings of the Database Theory, 1997

1996
A Linear Logic Approach to Consistency Preserving Updates.
J. Log. Comput., 1996

Update Programs Versus Revision Programs.
Proceedings of the Non-Monotonic Extensions of Logic Programming, 1996

Une Sémantique Trivaluée pour un langage de Règles de Mise à jour.
Proceedings of the 12èmes Journées Bases de Données Avancées, 1996

1995
A First Step Towards Implementing Dynamic Algebraic Dependencies.
Proceedings of the Database Theory, 1995

1993
Table-Ronde animée par Nicole Bidoit, Claude Delobel et L. Vieille.
Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

Constraintes Dynamiques d'Inclusion et Schémas Transactionnels.
Proceedings of the Neuvièmes Journées Bases de Données Avancées, 1993

Session d'information animée par Nicole Bidoit.
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
Inf. Comput., March, 1991

Negation by Default and Unstratifiable Logic Programs.
Theor. Comput. Sci., 1991

Negation in Rule-Based Database Languages: A Survey.
Theor. Comput. Sci., 1991

1990
WELL!: An Evaluation Procedure for All Logic Programs.
Proceedings of the ICDT'90, 1990

1989
Minimalism, Justification and Non-Monotonicity in Deductive Databases.
J. Comput. Syst. Sci., 1989

1988
More on Stratified Default Theories.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

Variations sur la contrainte de stratification: stratification, stratification locale, sup-stratification.
Proceedings of the Quatrièmes Journées Bases de Données Avancées, 1988

1987
The Verso Algebra or How to Answer Queries with Fewer Joins.
J. Comput. Syst. Sci., 1987

VERSO: A Database Machine Based On Nested Relations.
Proceedings of the Nested Relations and Complex Objects, 1987

Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming
Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986
Non First Normal Form Relations: An Algebra Allowing Data Restructuring.
J. Comput. Syst. Sci., 1986

Positivism vs. Minimalism in Deductive Databases.
Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1986

1984
Non First Normal Form Relations to Represent Hierarchical Organized Data.
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1984


  Loading...