| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo |
On the complexity of entailment in existential conjunctive first-order logic with atomic negation.  |
Inf. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Marie-Laure Mugnier |
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat |
On rules with existential variables: Walking the decidability line. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo |
Walking the Complexity Lines for Generalized Guarded Existential Rules. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo |
Towards Farsighted Dependencies for Existential Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier |
Ontological Query Answering with Existential Rules. |
RR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier |
A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation. |
DEXA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier |
Walking the Decidability Line for Rules with Existential Variables. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier |
Containment of Conjunctive Queries with Negation: Algorithms and Experiments. |
DEXA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier |
Translations between RDF(S) and Conceptual Graphs. |
ICCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Ben Mohamed, Michel Leclère, Marie-Laure Mugnier |
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments. |
AIMSA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carloni, Michel Leclère, Marie-Laure Mugnier |
Introducing reasoning into an industrial knowledge management tool. |
Appl. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat |
Extending Decidable Cases for Rules with Existential Variables. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marie-Laure Mugnier |
Conceptual Graph Rules and Equivalent Rules: A Synthesis. |
ICCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat |
DL-SR: a Lite DL with Expressive Rules: Preliminary Results. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Michel Leclère, Marie-Laure Mugnier |
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien L. Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos |
Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
graph-based languages, semantic web, platform |
| 1 | Marie-Laure Mugnier, Michel Leclère |
On querying simple conceptual graphs with negation. |
Data Knowl. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Leclère, Marie-Laure Mugnier |
Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carloni, Michel Leclère, Marie-Laure Mugnier |
Introducing Graph-Based Reasoning into a Knowledge Management Tool: An Industrial Case Study. |
IEA/AIE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Carloni, Michel Leclère, Marie-Laure Mugnier |
Introduction de raisonnement dans un outil de gestion des connaissances basé sur les Topic Maps. |
Actes d'IC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Michel Leclère, Marie-Laure Mugnier |
Simple Conceptual Graphs with Atomic Negation and Difference. |
ICCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Frithjof Dau, Marie-Laure Mugnier, Gerd Stumme (eds.) |
Conceptual Structures: Common Semantics for Sharing Knowledge, 13th International Conference on Conceptual Structures, ICCS 2005, Kassel, Germany, July 17-22, 2005, Proceedings |
ICCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Michel Chein, Marie-Laure Mugnier |
Concept Types and Coreference in Simple Conceptual Graphs. |
ICCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Marie-Laure Mugnier |
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. |
J. Artif. Intell. Res. (JAIR) |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Marie-Laure Mugnier |
The SG Family: Extensions of Simple Conceptual Graphs. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Marie-Laure Mugnier |
Knowledge Representation and Reasonings Based on Graph Homomorphism. |
ICCS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, David Genest, Marie-Laure Mugnier |
A Pure Graph-Based Solution to the SCG-1 Initiative. |
ICCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Preller, Marie-Laure Mugnier, Michel Chein |
Logic for Nested Graphs. |
Computational Intelligence |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Chein, Marie-Laure Mugnier, Geneviève Simonet |
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Marie-Laure Mugnier, Michel Chein (eds.) |
Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings |
ICCS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Michel Chein, Marie-Laure Mugnier |
Positive Nested Conceptual Graphs. |
ICCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Salvat, Marie-Laure Mugnier |
Sound and Complete Forward and backward Chainingd of Graph Rules. |
ICCS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier |
On generalization/specialization for conceptual graphs. |
J. Exp. Theor. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier |
Proposal for a Monotonic Multiple Inheritance Linearization. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier, Michel Chein |
Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. |
ICCS |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Roland Ducournau, Michel Habib, Marianne Huchard, Marie-Laure Mugnier |
Monotonic Conflict Resolution Mechanisms for Inheritance. |
OOPSLA |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Laure Mugnier, Michel Chein |
Polynomial Algorithms for Projection and Matching. |
Workshop on Conceptual Graphs |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Chein, Marie-Laure Mugnier |
Specialization: Where Do the Difficulties Occur? |
Workshop on Conceptual Graphs |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")