Nombre de documents

72


Article dans une revue5 documents

  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. Semantic Web – Interoperability, Usability, Applicability, IOS Press, 2015, 6 (5), pp.451-475. 〈10.3233/SW-140153〉. 〈lirmm-01090370〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. On Rules with Existential Variables: Walking the Decidability Line. Artificial Intelligence, Elsevier, 2011, 175 (9-10), pp.1620-1654. 〈10.1016/j.artint.2011.03.002〉. 〈lirmm-00587012〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Validation et enrichissement d'annotations : Application à la veille médiatique. Revue des Nouvelles Technologies de l'Information, Hermann, 2008, 855 (E12), pp.105-125. 〈lirmm-00374895〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Reasoning into an Industrial Knowledge Management Tool. Applied Intelligence, Springer Verlag (Germany), 2007, in press, pp.14. 〈10.1007/s10489-007-0103-x〉. 〈lirmm-00355363〉
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493. 〈lirmm-00112647〉

Communication dans un congrès42 documents

  • Michel Leclère, Marie-Laure Mugnier, Federico Ulliana. On Bounded Positive Existential Rules. 29th International Workshop on Description Logics, Apr 2016, Cape Town, South Africa. ceur-ws, Proceedings of the 29th International Workshop on Description Logics. 〈lirmm-01375091〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier. Query Rewriting for Existential Rules with Compiled Preorder. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. 24th International Joint Conference on Artificial Intelligence, 2015, 〈http://ijcai-15.org〉. 〈lirmm-01164851〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter. Graal: A Toolkit for Query Answering with Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. 9th International Web Rule Symposium, LNCS (9202), pp.328-344, 2015, Rule Technologies: Foundations, Tools, and Applications. 〈10.1007/978-3-319-21542-6_21〉. 〈hal-01172063〉
  • Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, et al.. Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules. RuleML: Web Rule Symposium, Aug 2015, Berlin, Germany. 9th International Web Rule Symposium (RuleML), 2015. 〈hal-01172069〉
  • Manuel Atencia, Michel Chein, Madalina Croitoru, Jérôme David, Michel Leclère, et al.. Defining Key Semantics for the RDF Datasets: Experiments and Evaluations. ICCS: International Conference on Conceptual Structures, Jul 2014, Iasi, Romania. Springer, 21st International Conference on Conceptual Structures, LNCS (8577), pp.65-78, 2014, Graph-Based Representation and Reasoning. 〈10.1007/978-3-319-08389-6_7〉. 〈lirmm-01090357〉
  • Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Saïs, et al.. Définition de la sémantique des clés dans le Web sémantique : un point de vue théorique. Catherine Faron-Zucker. IC: Ingénierie des Connaissances, May 2014, Clermont-Ferrand, France. 25es Journées francophones d'Ingénierie des Connaissances, pp.225-236, 2014, Session 4 : Web sémantique. 〈hal-01015297〉
  • Michel Leclère, Marie-Laure Mugnier, Swan Rocher. Kiabora: An Analyzer of Existential Rule Bases. Wolfgang Faber; Domenico Lembo. RR: Web Reasoning and Rule Systems, Jul 2013, Mannheim, Germany. Springer Verlag, 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.241-246, 2013, Web Reasoning and Rule Systems. 〈http://rr2013.uni-mannheim.de/〉. 〈10.1007/978-3-642-39666-3_22〉. 〈lirmm-00934018〉
  • Michel Chein, Michel Leclère, Yann Nicolas. SudocAD: A Knowledge-Based System for the Author Linkage Problem. KSE: Knowledge and Systems Engineering, Oct 2013, Hanoi, Vietnam. Springer, 5th International Conference on Knowledge and Systems Engineering, Advances in Intelligent Systems and Computing (244), pp.65-83, 2014, Knowledge and Systems Engineering. 〈10.1007/978-3-319-02741-8_8〉. 〈lirmm-00933702〉
  • Léa Guizol, Madalina Croitoru, Michel Leclère. Aggregation Semantics for Link Validity. Max Bramer; Miltos Petridis. AI: Artificial Intelligence, Dec 2013, Cambridge, United Kingdom. 33rd SGAI International Conference on Artificial Intelligence, pp.359-372, 2013, Research and Development in Intelligent Systems XXX. 〈www.bcs-sgai.org/ai2013/‎〉. 〈10.1007/978-3-319-02621-3_27〉. 〈lirmm-00921018〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete, and Minimal Query Rewriting for Existential Rules. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. 23rd International Joint Conference on Artificial Intelligence, 2013, 〈http://ijcai-13.org〉. 〈lirmm-00838791〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. RR: Web Reasoning and Rule Systems, Aug 2013, Mannheim, Germany. 7th International Conference on Web Reasoning and Rule Systems, LNCS (7994), pp.123-137, 2013, Web Reasoning and Rule Systems. 〈10.1007/978-3-642-39666-3_10〉. 〈lirmm-00838806〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. Markus Krötzsch; Umberto Straccia. RR: Web Reasoning and Rule Systems, Sep 2012, Vienna, Austria. LNCS (7497), pp.122-138, 2012, Web Reasoning and Rule Systems. 〈http://www.kr.tuwien.ac.at/events/rr2012/〉. 〈10.1007/978-3-642-33203-6_10〉. 〈lirmm-00764341v3〉
  • Madalina Croitoru, Léa Guizol, Michel Leclère. On Link Validity in Bibliographic Knowledge Bases. Salvatore Greco; Bernadette Bouchon-Meunier; Giulianella Coletti; Mario Fedrizzi; Benedetto Matarazzo; Ronald R. Yager. IPMU: Information Processing and Management of Uncertainty, Jul 2012, Catania, Italy. Springer, 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems - Part I, Communications in Computer and Information Science (297), pp.380-389, 2012, Advances on Computational Intelligence. 〈http://www.ipmu2012.unict.it/〉. 〈10.1007/978-3-642-31709-5_39〉. 〈lirmm-00763664〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. A Theoretical and Experimental Comparison of Algorithms for Containment of Conjunctive Queries with Negation. DEXA: Database and Expert Systems Applications, Aug 2011, Toulouse, France. 22nd International Conference on Database and Expert Systems Applications, LNCS (6860), pp.466-480, 2011, Database and Expert Systems Applications. 〈www.dexa.org〉. 〈10.1007/978-3-642-23088-2_35〉. 〈lirmm-00618779〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Déduction dans le fragment existentiel conjonctif de la logique du premier ordre : algorithme et expérimentations. RFIA: Reconnaissance des Formes et Intelligence Artificielle, Jan 2010, Caen, France. 2010, 〈http://rfia2010.info.unicaen.fr/〉. 〈lirmm-00537824〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. AIMSA'10: International Conference on Artificial Intelligence: Methodology, Systems, Applications, Sep 2010, Varna, Bulgaria. Springer, 6304, pp.1-10, 2010, Lecture Notes in Computer Science. 〈http://www.aimsaconference.org/〉. 〈10.1007/978-3-642-15431-7_1〉. 〈lirmm-00537836〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Containment of Conjunctive Queries with Negation: Algorithms and Experiments. DEXA: Database and Expert Systems Applications, Aug 2010, Bilbao, Spain. Springer, 21st International Conference on Database and Expert Systems Applications, LNCS (6262), pp.330-345, 2010, 〈http://www.dexa.org/previous/dexa2010/index.html〉. 〈10.1007/978-3-642-15251-1_27〉. 〈lirmm-00537832〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. KR: Principles of Knowledge Representation and Reasoning, May 2010, Toronto, Canada. AAAI Press, 12th International Conference on the Principles of Knowledge Representation and Reasoning, pp.466-476, 2010, 〈http://www.scs.ryerson.ca/~kr2010/〉. 〈lirmm-00535780〉
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Alain Gutierrez, Michel Leclère, et al.. Logical, graph based knowledge representation with CoGui. Mohand Boughanem; Hamamache Kheddouci. GAOC: Graphes et Appariement d'Objets Complexes, Jan 2010, Hammamet, Tunisia. Atelier GAOC : Graphes et Appariement d'Objets Complexes en conjonction avec EGC'10, pp.15-25, 2010. 〈lirmm-00537351〉
  • Jean-François Baget, Madalina Croitoru, Michel Leclère, Marie-Laure Mugnier. Translations between RDF(S) and Conceptual Graphs. Madalina Croitoru; Sebastien Ferré; Dickson Lukose. ICCS: International Conference on Conceptual Structures, Jul 2010, Kuching, Sarawak, Malaysia. Springer, 18th International Conference on Conceptual Structures, LNAI (6208), pp.28-41, 2010, From Information to Intelligence. 〈http://www.mimos.my/iccs2010/〉. 〈lirmm-00537334〉
  • Nicolas Moreau, Michel Leclère, Madalina Croitoru. Distinguishing Answers in Conceptual Graph Knowledge Bases. ICCS: International Conference on Conceptual Structures, Jul 2009, Moscow, Russia. 17th International Conference on Conceptual Structures, LNCS (5662), pp.233-246, 2009, Conceptual Structures: Leveraging Semantic Technologies. 〈10.1007/978-3-642-03079-6_18〉. 〈lirmm-00374749〉
  • Jérôme Fortin, Olivier Carloni, Michel Leclère, Stéphanie Weiser. Extraction et exploitation de données temporelles pour un portail d'e-tourisme. Fouille de Données Temporelles - Analyse de Flux de Données - Atelier à EGC'09, Jan 2009, pp.A1-39-46, 2009. 〈lirmm-00364920〉
  • Michel Leclère, Nicolas Moreau. Différentes notions de réponses pour un système d'interrogation de bases de graphes. IC'08 : Ingénierie des Connaissances, pp.37-48, 2008, 〈http://ic2008.loria.fr/〉. 〈lirmm-00354871〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. Extending Decidable Cases for Rules with Existential Variables. IJCAI: International Joint Conference on Artificial Intelligence, Jul 2009, Pasadena, CA, United States. AAAI, 21st International Joint Conference on Artificial Intelligence, pp.677-682, 2009, 〈http://ijcai-09.org/〉. 〈lirmm-00410130〉
  • Jean-François Baget, Michel Chein, Madalina Croitoru, Jérôme Fortin, David Genest, et al.. RDF to Conceptual Graphs Translations. CS-TIW'09: 3rd Conceptual Structures Tool Interoperability Workshop @ICCS'09: 17h International Conference on Conceptual Structures, Moscow, Russia. Springer, pp.17, 2009, LNAI. 〈http://www.kde.cs.uni-kassel.de/ws/cs-tiw2009〉. 〈lirmm-00410621〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat. DL-SR: a Lite DL with Expressive Rules: Preliminary Results. DL'2008: 21st International Workshop on Description Logics, Dresden, Allemagne, CEUR-WS.org, pp.11, 2008, 〈http://dl.kr.org/dl2008/〉. 〈lirmm-00394383〉
  • Michel Leclère, Nicolas Moreau. Différentes notions de réponses pour un système d'interrogation de bases de graphes.. IC: Ingénierie des Connaissances, Jun 2008, Nancy, France. 19es Journées Francophones d'Ingénierie des Connaissances, pp.37-48, 2008. 〈hal-00416686〉
  • Michel Leclère, Marie-Laure Mugnier. An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. 16th International Conference on Conceptual Structures, LNCS (5113), pp.119-132, 2008, Conceptual Structures: Knowledge Visualization and Reasoning. 〈10.1007/978-3-540-70596-3_8〉. 〈lirmm-00355493〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. De la déduction dans le fragment {Existe,Et,Neg} de la logique du premier ordre à SAT. Journées d'Intelligence Artificielle Fondamentale, Oct 2008, pp.11, 2008, 〈http://gdri3iaf.info.univ-angers.fr/〉. 〈lirmm-00355290〉
  • Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron Zucker, Fabien Gandon, et al.. Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. 16th International Conference on Conceptual Structures, 2008, 〈http://dblp.uni-trier.de/db/conf/iccs/iccss2008.html〉. 〈10.1007/978-3-540-70596-3_21〉. 〈lirmm-00389753v2〉
  • Michel Leclère, Nicolas Moreau. Query-Answering CG Knowledge Bases. ICCS: International Conference on Conceptual Structures, Jul 2008, Toulouse, France. 16th International Conference on Conceptual Structures, LNCS (5113), pp.147-160, 2008, Conceptual Structures: Knowledge Visualization and Reasoning. 〈http://www.inra.fr/iccs08〉. 〈10.1007/978-3-540-70596-3_10〉. 〈lirmm-00300160〉
  • Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez. Formal and Graphical Annotations for Digital Objects. SADPI'07: Semantically Aware Document Processing and Indexing, 2007, 259, pp.069-078, 2007, 〈10.1145/1283880.1283893〉. 〈lirmm-00194441〉
  • Nicolas Moreau, Michel Leclère, Michel Chein, Alain Gutierrez. Annotation formelle graphique de documents multimédia. IC'07 : Ingénierie des Connaissances, 2007, Grenoble, France, pp.313-324, 2007, 〈http://afia2007.imag.fr/ic/〉. 〈lirmm-00194647〉
  • Michel Leclère, Marie-Laure Mugnier. Some Algorithmic Improvments for the Containment Problem of Conjunctive Queries with Negation. ICDT: International Conference on Database Theory, Jan 2007, Barcelona, Spain. Springer, 11th International Conference on Database Theory, LNCS (4353), pp.404-418, 2007, Database Theory – ICDT 2007. 〈10.1007/11965893_28〉. 〈lirmm-00135448〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de raisonnement dans un outil de gestion de connaissances basé sur les Topic Maps. IC'06 : 17èmes Journées Francophones d'Ingénierie des Connaissances, Jun 2006, Nantes (France), pp.17-27, 2006, 〈http://www.sdc2006.org/cdrom/contributions/Carloni_et_al_IC06.pdf〉. 〈lirmm-00156561〉
  • Olivier Carloni, Marie-Laure Mugnier, Michel Leclère. Introducing Reasoning into a Knowledge Management Tool: An Industrial Case Study. IEA-AIE'06: Advances in Applied Artificial Intelligence, 19th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Jun 2006, Annecy (France), Springer, 4031, pp.590-599, 2006, 〈http://dx.doi.org/10.1007/11779568_64〉. 〈lirmm-00156532〉
  • Michel Leclère, Marie-Laure Mugnier. Simple Conceptual Graphs with Atomic Negation and Difference. ICCS: International Conference on Conceptual Structures, Jul 2006, Aalborg, Denmark. Springer, 14th International Conference on Conceptual Structures, LNCS (4068), pp.331-345, 2006. 〈lirmm-00113160〉
  • Rallou Thomopoulos, Marie-Laure Mugnier, Michel Leclère. Mapping Contexts to Vocabularies to Represent Intentions. ECAI: European Conference on Artificial Intelligence, Aug 2006, Riva del Garda, Italy. pp.44-46, 2006. 〈lirmm-00112949〉
  • Jean-François Baget, Olivier Carloni, Michel Chein, David Genest, Alain Gutierrez, et al.. Towards Benchmarks for Conceptual Graphs Tools. Aldo de Moor; Simon Polovina; Harry Delugach. CS-TIW'2006: Conceptual Structures Tool Interoperability Workshop, Jul 2006, Aalborg, Denmark. Aalborg University Press, pp.72-86, 2006. 〈lirmm-00112998〉
  • Michel Bourse, Michel Leclère, Emmanuel Morin, Francky Trichet. Human Resource Management and Semantic Web Technologies. 1st International Conference on Information \& Communication Technologies: from Theory to Applications (ICTTA), 2004, A compléter, Syria. pp.N/P, 2004. 〈hal-00456512〉
  • Emmanuel Morin, Michel Leclère, Francky Trichet. The Semantic Web in e-recruitment (2004). The First European Symposium of Semantic Web (ESWS'2004), 2004, Greece. pp.N/P, 2004. 〈hal-00456783〉
  • Frédéric Fürst, Michel Leclère, Francky Trichet. Operationalizing Domain Ontologies: A Method and a Tool. ECAI: European Conference on Artificial Intelligence, Aug 2004, Valencia, Spain. 16th Europeen Conference on Artificial Intelligence, Frontiers in Artificial Intelligence and Applications, pp.318-322, 2004, 〈http://www.frontiersinai.com/ecai/ecai2004/ecai04/〉. 〈lirmm-00108874〉

Poster1 document

  • Frédéric Comte, Michel Leclère. Opérationnalisation des ontologies OWL dans la famille SG. RJCIA: Rencontres Nationales des Jeunes Chercheurs en Intelligence Artificielle, May 2005, Nice, France. 2005. 〈lirmm-00106119〉

Autre publication1 document

  • F. Comte, Michel Leclère, Marie-Laure Mugnier. OWL-SG : Un Sous-Langage pour la Famille OWL. 12658. 2005. 〈lirmm-00106548〉

Rapport23 documents

  • Michel Chein, Alain Gutierrez, Michel Leclère. Un problème d'identification d'entités nommées dans des bases de donnés documentaires. [Rapport de recherche] LIRMM. 2015. 〈lirmm-01187747〉
  • Michel Leclère, Michaël Thomazo, Michel Chein. Similarité entre listes de termes dépendants et pondérés. [Rapport de recherche] LIRMM. 2014. 〈lirmm-01093640v2〉
  • Michel Chein, Madalina Croitoru, Michel Leclère, Nathalie Pernelle, Fatiha Sais, et al.. Defining Key Semantics for the Semantic Web : a Theoretical View. [Technical Report] 2013. 〈hal-00915798〉
  • Léa Guizol, Madalina Croitoru, Michel Leclère. Aggregation Semantics for Link Validity: Technical Report. RR-14003, 2013. 〈lirmm-00936246〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. Sound, Complete and Minimal UCQ-Rewriting for Existential Rules. [Research Report] RR-13034, Lirmm. 2013, pp.29. 〈lirmm-00903375〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. On the Exploration of the Query Rewriting Space with Existential Rules. [Research Report] RR-13016, Lirmm. 2013. 〈lirmm-00825634〉
  • Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo. A Sound and Complete Backward Chaining Algorithm for Existential Rules. RR-12016, 2012. 〈lirmm-00713182v3〉
  • Michel Chein, Michel Leclère, Yann Nicolas. SudocAD: A Knowledge-Based System for Object Identification. RR-12030, 2012. 〈lirmm-00765100〉
  • Léa Guizol, Madalina Croitoru, Michel Leclère. On Link Validity and Entity Resolution. RR-11010, 2012, pp.17. 〈lirmm-00647284〉
  • Michel Chein, Michel Leclère. Entities and Surrogates in Knowledge Representation. RR-11030, 2011. 〈lirmm-00618868〉
  • Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier. Deduction in Existential Conjunctive First-Order Logic: an Algorithm and Experiments. RR-10010, 2010, pp.20. 〈lirmm-00463579〉
  • Jean-François Baget, Michel Leclère, Marie-Laure Mugnier. Walking the Decidability Line for Rules with Existential Variables. RR-09030, 2009, pp.21. 〈lirmm-00441907〉
  • Michel Leclère, Marie-Laure Mugnier. An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. RR-08005, 2008, pp.14. 〈lirmm-00260315〉
  • Jean-François Baget, Marie-Laure Mugnier, Michel Leclère, Eric Salvat. Some Structural Properties of the Logic of Rules. RR-08016, 2008. 〈lirmm-00289250〉
  • Michel Chein, David Genest, Alain Gutierrez, Michel Leclère, Nicolas Moreau, et al.. Un modèle d'annotation basé sur des ontologies modulaires et des graphes conceptuels emboîtés. RR-07011, 2007, pp.35. 〈lirmm-00148889〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. 06004, 2006, 10 p. 〈lirmm-00102684〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances Basé sur les Topic Maps. 06007, 2006, 10 p. 〈lirmm-00102719〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introduction de Raisonnement dans un Outil de Gestion des Connaissances. 06011, 2006, 84 p. 〈lirmm-00102706〉
  • Michel Leclère, Marie-Laure Mugnier. A Graph-Based Study of the Containment Problem of Conjunctive Queries with Negation. 05076, 2005, 10 p. 〈lirmm-00106673〉
  • Olivier Carloni, Michel Leclère, Marie-Laure Mugnier. Introducing Graph-Based Reasoning into Knowledge Management Tool: An Industrial Case Study. 05075, 2005, 10 p. 〈lirmm-00106672〉
  • Marie-Laure Mugnier, Michel Leclère. On Querying Simple Conceptual Graphs with Negation. 05051, 2005, pp.41. 〈lirmm-00106650〉
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 05015, 2005, 6 p. 〈lirmm-00106620〉
  • Marie-Laure Mugnier, Michel Leclère. Intuitionistic Atomic Negation in Simple Conceptual Graphs. 04004, 2004, pp.15. 〈lirmm-00109212〉