Michel Leclère
Orcid: 0000-0003-0484-3964
According to our database1,
Michel Leclère
authored at least 53 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
2021
2019
Proceedings of the Theory and Practice of Natural Computing - 8th International Conference, 2019
Proceedings of the 10th International Conference on Knowledge Capture, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 22nd International Conference on Database Theory, 2019
2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
2016
Proceedings of the 29th International Workshop on Description Logics, 2016
2015
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015
Proceedings of the RuleML 2015 Challenge, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
2014
Proceedings of the Graph-Based Representation and Reasoning, 2014
Définition de la sémantique des clés dans le web sémantique : un point de vue théorique.
Proceedings of the IC 2014 : 25es Journées francophones d'Ingénierie des Connaissances (Proceedings of the 25th French Knowledge Engineering Conference), 2014
2013
Proceedings of the Research and Development in Intelligent Systems XXX, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Knowledge and Systems Engineering, 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Advances on Computational Intelligence, 2012
2011
Artif. Intell., 2011
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation.
Proceedings of the Database and Expert Systems Applications, 2011
2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010
Proceedings of the Database and Expert Systems Applications, 21th International Conference, 2010
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments.
Proceedings of the Artificial Intelligence: Methodology, 2010
2009
Appl. Intell., 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009
2008
Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.
Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit.
Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008
Proceedings of the IC 2008: Ingénierie des connaissances 2008 (Proceedings of the 19th French Knowledge Engineering Conference), 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
2007
Proceedings of the International Workshop On Semantically Aware Document Processing And Indexing, 2007
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.
Proceedings of the Database Theory, 2007
Proceedings of the IC 2007: Ingénierie des connaissances 2007 (Proceedings of the 18th French Knowledge Engineering Conference), 2007
2006
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study.
Proceedings of the Advances in Applied Artificial Intelligence, 2006
Proceedings of the Conceptual Structures: Inspiration and Application, 2006
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps.
Proceedings of the IC 2006: Ingénierie des connaissances 2006 (Proceedings of the 17th French Knowledge Engineering Conference), 2006
Proceedings of the 2nd International Workshop on Contexts and Ontologies: Theory, 2006
2004
Operationalizing Domain Ontologies: A Method and a Tool.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2003
Ontological Engineering and Mathematical Knowledge Management: A Formalization of Projective Geometry.
Ann. Math. Artif. Intell., 2003
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003
A Framework for Building Competency-Based Systems Dedicated to Human Resource Management.
Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003
Proceedings of the EON2003, 2003
2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Construction d'une ontologie opérationnelle : un retour d'expérience.
Proceedings of the Extraction et gestion des connaissances (EGC'2002), 2002
2001
Capitaliser et partager des connaissances : une approche fondée sur l'exploitation d'un système à base de connaissances de type tâche/méthode.
Proceedings of the Extraction et gestion des connaissances (EGC'2001), 2001
1997
Proceedings of the Conceptual Structures: Fulfilling Peirce's Dream, 1997
1994
Diverses problématiques de classification dans le modèle des graphes conceptuels.
Proceedings of the Actes des journées Langages et Modèles à Objets, 1994