Simple conceptual graphs and simple concept graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4068 LNAI, Issue , 2006, Pages 87-101

  Aubert, J P ^a   Baget, J F ^a   Chein, M ^a  

^a LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; INFERENCE ENGINES; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS; SEMANTICS;

CONCEPTUAL GRAPHS; FORMAL CONCEPT ANALYSIS; MATHEMATICAL OBJECTS; SYNTAXES;

GRAPHIC METHODS;

EID: 33746641423     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787181_7     Document Type: Conference Paper

References (22)

1. J.-F. Baget. Représenter des connaissances et raisonner avec des hypergraphes: de la projection à la dérivation sous contraintes. PhD thesis, Université Montpellier II, Nov. 2001.
2. J.-F. Baget. Simple Conceptual Graphs Revisited: Hypergraphs and Conjunctive Types for Efficient Projection Algorithms. In de Moor et al. [9], pages 229-242.
3. J.-F. Baget and M.-L. Mugnier. The Complexity of Rules and Constraints. JAIR, 16:425-465, 2002.
4. Claude Berge. Graphes et hypergraphes. Dunod, 1970.
5. M. Chein and M.-L. Mugnier. Conceptual Graphs: Fundamental Notions. Revue d'Intelligence Artificielle, 6(4):365-406, 1992.
6. M. Chein and M.-L. Mugnier. Types and Coreference in Simple Conceptual Graphs. In K.E. Wolff et al, editor, Proc. ICCS'04, volume 3127 of LNAI. Springer, 2004. to appear.
7. F. Dau. Concept graphs without negations: Standardmodels and standardgraphs. In de Moor et al. [9], pages 243-256.
8. Frithjof Dau. The Logic System of Concept Graphs with Negations (And its Relationship to Predicate Logic), volume 2892 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 2003. PhD-Thesis.
9. Aldo de Moor, Wilfried Lex, and Bernhard Ganter, editors. Conceptual Structures for Knowledge Creation and Communication, 11th International Conference on Conceptual Structures, ICCS 2003 Dresden, Germany, July 21-25, 2003 Proceedings, volume 2746 of Lecture Notes in Computer Science. Springer, 2003.
10. Reinhard Diestel. Graph Theory, volume 173 of Graduate Texts in Mathematics. Springer-Verlag, 3 edition, 2000.
11. B. Ganter and R. Wille. Formal Concept Analysis. Springer-Verlag, 1999.
12. O. Guinaldo and O. Haemmerlé. Kowledge Querying in the Conceptual Graph Model: the RAP Module. In Mugnier and Chein [17], pages 287-294.
13. P. Hell and J. Nesetril. Graphs and Homomorphisms, volume 121. Oxford University Press, 2004.
14. G. Kerdiles. Saying it with Pictures: a logical landscape of conceptual graphs. PhD thesis, Univ. Montpellier II / Amsterdam, Nov. 2001.
15. M.-L. Mugnier. Knowledge Representation and Reasoning based on Graph Homomorphism. In Bernhard Ganter and Guy W. Mineau, editors, ICCS, volume 1867 of Lecture Notes in Computer Science, pages 172-192. Springer, 2000.
16. M.-L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1):7-56, 1996. Available at http://www.lirmm.fr/~mugnier/.
17. Marie-Laure Mugnier and Michel Chein, editors. Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings, volume 1453 of Lecture Notes in Computer Science. Springer, 1998.
18. S. Prediger. Simple concept graphs: A logic approach. In Mugnier and Chein [17], pages 225-239.
19. J. F. Sowa. Conceptual Graphs. IBM Journal of Research and Development, 1976.
20. J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, 1984.
21. M. Wermelinger. Conceptual Graphs and First-Order Logic, pages 323-337.
22. R. Wille. Conceptual graphs and formal context analysis. In Dickson Lukose, Harry S. Delugach, Mary Keeler, Leroy Searle, and John F. Sowa, editors, ICCS, volume 1257 of Lecture Notes in Computer Science, pages 290-303. Springer, 1997.