Nicole Bidoit

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Update programs versus revision programs	2024-10-24	Paper
Databases and artificial intelligence	2024-09-11	Paper
Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications	2022-12-07	Paper
Testing XML constraint satisfiability Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
A first step towards modeling semistructured data in hybrid multimodal logic Journal of Applied Non-Classical Logics	2009-11-30	Paper
Fixpoint and While Temporal Query Languages Journal Of Logic And Computation	2009-04-16	Paper
Order Independent Temporal Properties Journal Of Logic And Computation	2004-10-15	Paper
scientific article; zbMATH DE number 1629811 (Why is no real title available?)	2001-11-01	Paper
scientific article; zbMATH DE number 1500654 (Why is no real title available?)	2000-09-04	Paper
A first step towards implementing dynamic algebraic dependences Theoretical Computer Science	1998-06-30	Paper
A linear logic approach to consistency preserving updates Journal Of Logic And Computation	1996-11-10	Paper
scientific article; zbMATH DE number 219215 (Why is no real title available?)	1993-06-29	Paper
General logical databases and programs: Default logic semantics and stratification Information and Computation	1992-06-25	Paper
Negation in rule-based database languages: A survey Theoretical Computer Science	1991-01-01	Paper
Negation by default and unstratifiable logic programs Theoretical Computer Science	1991-01-01	Paper
Minimalism, justification and non-monotonicity in deductive databases Journal of Computer and System Sciences	1989-01-01	Paper
The Verso algebra or how to answer queries with fewer joins Journal of Computer and System Sciences	1987-01-01	Paper
Non first normal form relations: An algebra allowing data restructuring Journal of Computer and System Sciences	1986-01-01	Paper

Research outcomes over time

This page was built for person: Nicole Bidoit