Michel Leclère

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
Reasoning with ontologies	2024-09-11	Paper
Boolean recombinase-based devices	2024-04-19	Paper
On the k-Boundedness for Existential Rules Rules and Reasoning	2023-06-28	Paper
A Single Approach to Decide Chase Termination on Linear Existential Rules (available as arXiv preprint)	2022-07-21	Paper
Characterizing boundedness in chase variants Theory and Practice of Logic Programming	2021-09-03	Paper
On link validity in bibliographic knowledge bases Communications in Computer and Information Science	2012-11-27	Paper
On rules with existential variables: walking the decidability line Artificial Intelligence	2011-11-17	Paper
Simple Conceptual Graphs with Atomic Negation and Difference Conceptual Structures: Inspiration and Application	2007-09-06	Paper
scientific article; zbMATH DE number 2209428 (Why is no real title available?)	2005-09-28	Paper
Ontological engineering and mathematical knowledge management: A formalization of projective geometry Annals of Mathematics and Artificial Intelligence	2003-06-09	Paper
Contribution of the ontology engineering to mathematical knowledge management	2002-02-14	Paper
scientific article; zbMATH DE number 1322796 (Why is no real title available?)	2000-06-21	Paper
scientific article; zbMATH DE number 1322825 (Why is no real title available?)	1999-08-09	Paper

Research outcomes over time

This page was built for person: Michel Leclère