Publications
2011
|
·
Baget J.-F., Leclère M., Mugnier M.-L., Salvat E.: On Rules with Existential Variables:
Walking the Decidability Line - Artificial
Intelligence 175 (2011), pp. 1620-1654 |
2010
|
·
Ben Mohamed K., Leclère M., Mugnier M.-L.: Deduction in Existential Conjunctive First-Order Logic: an Algorithm
and Experiments, in proceedings of 14th International Conference on
Artificial Intelligence : Methodology, Systems,
Applications (AIMSA), Varna (Bulgarie), 1-10, September 2010. ·
Ben Mohamed K., Leclère M., Mugnier M.-L.: Containment of Conjunctive Queries with Negation: Algorithms and
Experiments, in proceedings of 21st International Conference on Database
and Expert Systems Applications (DEXA),
Bilbao (Espagne), 330-345, août
2010. ·
Baget J.F., Croitoru M., Gutierrez A., Leclère M., Mugnier M.-L. : Translations between RDF(S) and Conceptual Graphs, in proceedings of ICCS’10 (18th International
Conference on Conceptual Structures), Kuching,
Sarawak, Malaysia, juillet 2010. ·
Baget J.F., Leclère M., Mugnier M.L.: Walking the
Decidability Line for Rules with Existential Variables, in proceedings of KR’10 (12th Principles of
Knowledge Representation and Reasoning), Toronto, mai
2010. · Ben Mohamed K., Leclère M., Mugnier M.-L. : Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations, actes de RFIA’10 (17ième Congrès Reconnaissance des Formes et Intelligence Artificielle), site web, Caen, janvier 2010. · Baget J.F., Chein M., Croitoru M., Gutierrez A., Leclère M., Mugnier M.-L. : Logical, graph based knowledge representation with CoGui, actes de l’atelier GAOC (Graphes et Appariement d’Objets Complexes en conjonction avec EGC’10), Hammamet, Tunisie, janvier 2010. |
2009
|
·
Baget J.-F., Leclère M., Mugnier M.-L., Salvat E.: Extending Decidable Cases for Rules with
Existential Variables, Proceedings of IJCAI’09 (International Joint Conferences on Artificial Intelligence)
Online Proceedings,
pp. 677-682, 2009. ·
Carloni O., Leclère M., Mugnier M.-L.: Introducing reasoning into an industrial knowledge management tool.
Applied
Intelligence 31(3): 211-224, 2009. |
|
·
Moreau N., Leclère M., Croitoru M.: Distinguishing Answers in Conceptual Graph Knowledge Bases.
Proceedings of ICCS’09 (17th
International Conference on Conceptual Structures) LNCS 5662,
pp.233-246, Springer, 2009. |
|
·
Baget J.-F., Chein M., Croitoru M., Fortin J., Genest D., Gutierrez
A., Leclère M., Mugnier M.-L., Salvat E. : RDF to Conceptual
Graphs Translations: Calculating Shatterproof Transponds, Fourth Conceptual Structures
Tool Interoperability Workshop (CS-TIW 2009) co-located with ICCS’09, proceedings
on line, pp.70-80, Moscow, 2009. |
|
· Fortin J., Carloni O., Leclère M., Weiser S. : Extraction et exploitation de données temporelles pour un portail d’e-tourisme, Atelier « Fouille de données temporelles Analyse de flux de données » à EGC’09, http://www.irisa.fr/dream/Seminaire/egc09/ Strasbourg, 2009. |
2008
|
·
Leclère M., Moreau N.: Query-Answering CG Knowledge Bases, Proceedings of ICCS'08 (16th International
Conference on Conceptual Structures), LNCS 5113,
pp.147-160, Springer, 2008. |
|
·
Leclère M., Mugnier M.-L.: An
Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical
Negation, Proceedings of ICCS'08 (16th International
Conference on Conceptual Structures), LNCS 5113,
pp.119-132, Springer, 2008. |
|
·
Baget J.-F., Corby O., Dieng-Kuntz R., Faron-Zucker C., Gandon F., Giboin
A., Gutierrez A., Leclère M., Mugnier M.-L., Thomopulous
R.: Griwes: Generic Model and Preliminary
Specifications for a Graph-Based Knowledge Representation Toolkit, Proceedings of ICCS'08 (16th International
Conference on Conceptual Structures), LNCS 5113,
pp.297-310, Springer, 2008. |
|
·
Baget J.-F., Leclère M., Mugnier M.-L., Salvat E.: DL-SR: a Lite DL with Expressive Rules:
Preliminary Results, Proceedings of DL'08 (21st International Workshop on Description Logics), CEUR
Workshop Proceedings 353, 2008. |
|
·
Leclère M., Moreau N. : Différentes notions de réponses pour un
système d’interrogation de bases de graphes Actes d' IC'08 (19èmes journées francophones
d'Ingénierie des Connaissances), Actes en ligne,
pp 37-48, Nancy, 2008. |
|
·
Ben Mohamed K., Leclère M., Mugnier M.-L.: De
la déduction dans le fragment {$, Ù,Øa}
de la logique du premier ordre à Sat, Journées
Intelligence Artificielle Fondamentale IAF’08,
Actes
en Ligne, Paris, 2008. |
2007
|
·
Carloni O., Leclère M., Mugnier M.-L. : Validation
et enrichissement d'annotations : application à la veille médiatique, à
paraître dans un numéro spécial de la Revue des Nouvelles Technologies de
l'Information (RNTI)
sur la Modélisation des Connaissances, Cépaduès
Edition, 2007. |
|
·
Moreau N., Leclère M., Chein M., Gutierrez A.:
Annotation Formelle Graphique de Documents Multimedia
Actes d' IC'07 (18èmes journées
francophones d'Ingénierie des Connaissances), Cépaduès
Edition, pp 313-324, Grenoble, 2007. |
|
·
Moreau N., Leclère M., Chein M., Gutierrez A.: Formal and graphical
annotations for digital objects Introducing, Proceedings of SADPI’07 (international workshop on Semantically aware document processing and indexing), ACM Digital Library, ACM International Conference
Proceeding Series; Vol. 259, pp. 69-78, Springer, 2007. |
|
·
Mugnier M.-L., Leclère M. : "On
Querying Simple Conceptual Graphs with Negation". Data and Knowledge
Engineering (DKE), vol. 60(3): 468-493, j.datak.2006.03.008n, 2007. ·
Leclère M., Mugnier M.-L. : "Some algorithmic improvments for the containment problem of conjunctive
queries with negation", Proceedings of ICDT'07 (International Conference on Database Theory), LNCS 4353, pp. 401-418, Barcelona, january 2007 |
2006
|
·
Leclère M., Mugnier M.-L., "Simple Conceptual Graphs with
Atomic Negation and Difference", Proceedings of ICCS'06 (14th
International Conference on Conceptual Structures), LNAI 4068, pp.331-345, Springer, 2006. |
|
·
Carloni O., Leclère M., Mugnier M.-L. : Introducing Graph-based
Reasoning into a Knowledge Management Tool : an
Industrial Case, Proceedings of IEA / AIE'06 (19th International
Conference on Industrial, Engineering & Other Applications of Applied
Intelligent Systems), LNCS 4031, pp. 590-599, Springer, 2006. |
|
·
Carloni O., Leclère M., Mugnier M.-L., Introduction
de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps, Actes
d' IC'06 (17èmes journées francophones d'Ingénierie des
Connaissances), Semaine de la connaissance, Nantes, 2006. |
|
·
Baget J.-F., Carloni O., Chein M., Genest D., Gutierrez A., Leclère
M., Mugnier M.-L., Salvat E., Thomopoulos R. :
"Towards Benchmarks for Conceptual Graph Tools", Proccedings of CS-TIW 2006 (First Conceptual
Structures Tool Interoperability Workshop in conjunction with ICCS'06),
pp.72-86, Aalborg University Press, ISBN 87-7307-769-0, 2006 |
|
·
Thomopoulos
R., Mugnier M.-L., Leclère M.. "Mapping Contexts to Vocabularies
to Represent Intentions" (poster), Proceedings of C&O-2006 (ECAI’2006
Workshop on Contexts and Ontologies: Theory, Practice
and Applications), pp. 44-46, 2006. |
|
·
Comte F., Leclere M. : "A Semantical
Reasoning Framework for eGovernment of the French
Social Welfare System" (short paper), Proceedings of SWEG 2006
(Semantic Web Meets eGovernment), AAAI Spring
Symposium, Technical Report SS-06-06, ISBN 978-1-57735-267-9, 2006 |
2005
|
·
Comte F., Leclère M. : "Opérationnalisation
des ontologies OWL dans la famille SG". Poster aux Rencontre
nationale des jeunes chercheurs en intelligence artificielle (RJCIA'05),
Nice, France, 2005. |
|
|
·
Comte F., Leclère M., Mugnier M.L. : "OWL-SG
: un sous-langage pour la familler OWL".
Journée thématique raisonner le web sémantique avec des graphes (RWSG'05), Nice, France, 2005. |
|
|
·
Mugnier M.L., Leclère M. : "Intuitionistic Atomic Negation in Simple
Conceptual Graphs". Research Report LIRMM n° RR 05- (6 pages),
January, 2005 |
2004
|
·
Fürst, F., Leclère M., Trichet F. “Operationalizing
domain ontologies: a method and a tool”. Proceedings
of the 16th European Conference on Artificial Intelligence (ECAI’2004), pp 318-324. IOS Press.
ISSN: 1586034529 – ISBN: 0922-6389. Valencia ,
Spain, 2004 |
|
·
Morin E., Leclère M., Trichet F. "The Semantic Web in
e-recruitment". Poster présenté lors du 1st European Semantic Web Symposium
(ESWS’2004), Heraklion,
Greece, 2004. |
2003
|
·
Furst
F., Leclère M., Trichet F. (2003). "Ontological Engineering and Mathematical Knowledge Management: A
Formalization of Projective Geometry". Numéro spécial de la
revue internationale Annals
of Mathematics and Artificial Intelligence, Volume 38(1), pp 65-89.
Kluwer Academic Publishers.
ISSN: 1012-2443. (http://www.kluweronline.com/issn/1012-2443)
|
|
·
Furst F., Leclère M., Trichet F. "TooCoM
: a Tool to Operationalize an
Ontology with the Conceptual Graph Model". Proceedings of the 2nd International
Workshop on Evaluation of Ontology Based Tools (EON'2003). Collocated with
2nd Int. Conf. on the Semantic Web (ISWC), Sanibel Island, Florida. (http://km.aifb.uni-karlsruhe.de/ws/eon2003/) |
|
·
Trichet F., Leclère M. "A framework for building
Competency-Based Systems dedicated to Human Resource Management".
Proceedings of the 14th International Symposium on Methodologies for
Intelligent Systems (ISMIS'2003), Maebashi, Japan. Zhong, N.; Ras, Z.W.; Tsumoto, S.; Suzuku, E. (Eds. Lecture
Notes in Artificial Intelligence (LNAI)) Springer-Verlag. ISBN: 3-540-20256-0 |
|
·
M. Bourse, M. Harzallah,
M. Leclère, F. Trichet. "CommOnCV:
competency@ontology.cv". Poster présenté lors de la 12th
International Conference on World Wide Web (WWW'2003),
Budapest, Hungary. |
|
·
F. Trichet, M. Leclère, M. Bourse, M. Harzallah. "CommOnCV: The Semantic Web
in e-recruitment" KTWeb publication - april 2003. KTweb, funded
by the Multiple European IST project, offers a comprehensive Community
Directory of people from research and industry who
are active in Knowledge Technology domain. |
2002
|
·
Trichet F., Leclère M., Tixier B. "Capitalizing
and Sharing Know and Know-How: an approach based on a Task/Method
Knowledge-Based System", Handbook of Knowledge Management and
Organizational Memories, Chapitre 3, pages 31-40, Kluwer Academic Publishers, Boston Hardbound, ISBN
0-7923-7659-5.(http://www.wkap.nl/prod/b/0-7923-7659-5) |
|
·
Leclère M., Trichet F., Furst F. "Operationalizing domain ontologies:
towards an ontological level for the SG family", Supplementary
proceedings of 10th International Conference On
Conceptual Structures (ICCS'2002), Borovets,
Bulgaria. |
|
·
M. Bourse, M. Harzallah,
M. Leclère, F. Trichet. "CommOnCV: modeling the
competencies underlying a Curriculum Vitae".
Proceedings of the Fourteenth International Conference on Software
Engineering and Knowledge Engineering (SEKE'2002, Ischia-Italy):65-73. ACM
Press. (http://portal.acm.org/citation.cfm?doid=568760.568773)
|
|
·
Leclère M., Trichet F., Furst F. : "Construction d'une ontologie du
domaine de la géométrie projective", Actes des Journées Francophones
Reconnaissance des Formes et Intelligence Artificielle(RFIA'2002):1013-1022.
Angers. |
|
·
Furst
F., Leclère M., Trichet F.. "Construction
d'une ontologie opérationnelle : un retour d'expérience", Revue
Extraction des Connaissances et Apprentissage (Actes des Journées
Francophones Extraction et Gestion des Connaissances), 1(4):227-232. Hermès.
ISBN: 2-7462-0216-6. |
2001
|
·
Leclère M., Tixier
B., Trichet F. : "Capitaliser et partager des connaissances : une approche
fondée sur l'exploitation d'un Systèmes à Base de Connaissances de type
Tâche/Méthode", Revue d'Extraction des Connaissances et
Apprentissage (Actes des Journées Extraction et Gestion des Connaissances),
Volume 1(1-2):291-302. Hermès. ISBN: 2-7462-0216-6. |
||
|
·
Furst F., Leclère M., Trichet F. :
"Contribution of the Ontology Engineering to Mathematical Knowledge
Management", Proceedings of the First International Workshop on
Mathematical Knowledge Management (MKM'2001). Linz, Autriche.
|
||
|
·
Trichet F., Leclère M., Tixier B. : "Using
a Task/Method Knowledge-Based System to capitalize and share know and
know-how", Proceedings of the Workshop on Knowledge Management and
Organizational Memories, pp 94-102, in conjunction with the Seventeenth
International Joint Conference on Artificial Intelligence (IJCAI'2001). Seattle, USA. |
||
|
·
Tixier
B., Leclère M., Trichet F. (2001). "Un projet de gestion des
connaissances d'une entreprise de développement informatique bancaire",
Actes des Journées Francophones d'Ingénierie des Connaissances (IC'2001):185-196. Grenoble. Presse Universitaire
Grenobloise. ISBN 2 7061 1026 0. |
||
2000
|
·
Trichet F., Leclère M., Choquet C. : "Using Conceptual Graphs to represent
Problem-Solving Methods", 12th International Conference on Software
Engineering and Knowledge Engineering (SEKE'2000):276-283. Chicago, USA. KSI (ISBN: 1-891706-05-5). |
|
·
Leclère M., Trichet F. : "Verifying
and validating Task/Method Knowledge-Based Systems designed with Conceptual
Graphs", International Conference on Artifical
Intelligence (IC-AI'2000), Volume 2:753-761. Las Vegas, USA.
CSREA Press (ISBN: 1-892512-58-0). |
|
·
Leclère M., Trichet F., Choquet C. : "Designing Task/Method Knowledge-Based Systems
with Conceptual Graphs", Working with Conceptual Structures:
contributions to the 8th International Conference on Conceptual Structures (ICCS'2000):124-138. Darmstadt, Allemagne. Shaker-Verlag (ISBN: 3-8265-7669-1). |
|
·
Trichet F., Leclère M.,Choquet C. (2000). "Construire un Système
à Base de Connaissances de type Tâche/Méthode à l'aide de Graphes Conceptuels",
Actes des Journées Francophones d'Ingénierie des Connaissances (IC'2000):13-21. Toulouse. |
1998
|
·
Leclère M. : "Raisonner avec
des définitions de types dans le modèle des graphes conceptuels".
Revue d'Intelligence Artificielle (RIA), volume 12 numéro 2 (p. 243-278),
Hermès, 1998. (ISSN : 0992-499X). PDF |
1997
|
·
Leclère M. : "Reasoning with type definitions", Proceedings of the 5th International Conference on Conceptual Structures (ICCS'1997).
Lecture Notes in Artificial Intelligence, number 1257 (p.401-415), Springer-Verlag, 1997. (ISBN : 3-540-63308-1) PDF |
1996
|
·
Leclère M. : "C-CHiC : construction coopérative de hiérarchies de
catégories". Revue d'Intelligence Artificielle (RIA), Vol.10 n°1 (p.
57-100), Hermès, Paris, France, 1996. |
|
·
Leclère M. : "Définitions de
types dans le modèle des graphes conceptuels". Actes du dixième
congrès Reconnaissance des Formes et Intelligence Artificielle (RFIA), vol. 1
(p. 486-493), Rennes, France, 1996. |
1995
|
·
Leclère M. : "Le niveau
terminologique du modèle des graphes conceptuels : construction et
exploitation." Thèse de doctorat de l'Université Montpellier 2,
LIRMM, décembre 1995. |
1994
|
·
Chein M., Leclère M. : "A cooperative
program for the construction of a concept type lattice". Supplement
Proceedings of the Second International Conference on Conceptual Structures
(ICCS'94), (p. 16-30), College Park, Maryland, USA. |
|
·
Leclère M. : "Diverses
problématiques de classification dans le modèle des graphes conceptuels".
Actes du colloque Langages et Modèles à Objets (LMO'94), (p. 81-94),
Grenoble, 1994. |
|
·
Leclère M. : "Aide à la
construction d'un treillis de concepts dans le modèle des graphes
conceptuels". Actes des secondes Rencontres Nationales des Jeunes
Chercheurs en Intelligence Artificielle (RJCIA'94), AFIA (p. 173-179),
Marseille, France, 1994. |
1993
|
·
Chein M., Leclère M. : "Construction
coopérative d'un ensemble structuré de catégories atomiques",
Rapport de Recherche LIRMM n°93-051, Montpellier, France, Novembre 1993. |
1991
|
·
Leclère M. : "Implémentation
d'un gestionnaire de S-graphes." Mémoire de DEA, CRIM, Université
Montpellier II - France, Juin 1991. |