Nicole Bidoit

Available identifiers

Publication	Date of Publication	Type
Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications	2022-12-07	Paper
Testing XML constraint satisfiability	2013-12-20	Paper
A first step towardsmodeling semistructured data in hybrid multimodal logic	2009-11-30	Paper
Fixpoint and While Temporal Query Languages	2009-04-16	Paper
Order Independent Temporal Properties	2004-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q2728833	2001-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4501676	2000-09-04	Paper
A first step towards implementing dynamic algebraic dependences	1998-06-30	Paper
A linear logic approach to consistency preserving updates	1996-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4694697	1993-06-29	Paper
General logical databases and programs: Default logic semantics and stratification	1992-06-25	Paper
Negation in rule-based database languages: A survey	1991-01-01	Paper
Negation by default and unstratifiable logic programs	1991-01-01	Paper
Minimalism, justification and non-monotonicity in deductive databases	1989-01-01	Paper
The Verso algebra or how to answer queries with fewer joins	1987-01-01	Paper
Non first normal form relations: An algebra allowing data restructuring	1986-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicole Bidoit