Michel Leclère

Available identifiers

zbMath Open leclere.michelMaRDI QIDQ646512

List of research outcomes

Publication	Date of Publication	Type
Reasoning with ontologies	2024-09-11	Paper
Boolean recombinase-based devices	2024-04-19	Paper
On the k-Boundedness for Existential Rules	2023-06-28	Paper
A Single Approach to Decide Chase Termination on Linear Existential Rules	2022-07-21	Paper
Characterizing Boundedness in Chase Variants	2021-09-03	Paper
On Link Validity in Bibliographic Knowledge Bases	2012-11-27	Paper
On rules with existential variables: walking the decidability line	2011-11-17	Paper
Simple Conceptual Graphs with Atomic Negation and Difference	2007-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5692406	2005-09-28	Paper
Ontological engineering and mathematical knowledge management: A formalization of projective geometry	2003-06-09	Paper
Contribution of the ontology engineering to mathematical knowledge management	2002-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4253838	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4253872	1999-08-09	Paper

Research outcomes over time

This page was built for person: Michel Leclère