Simple concept graphs: A logic approach

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

Volumn 1453, Issue , 1998, Pages 225-239

  Prediger, Susanne ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; GRAPHIC METHODS; KNOWLEDGE REPRESENTATION; RECONFIGURABLE HARDWARE; SEMANTICS;

CONCEPT GRAPH; CONCEPTUAL GRAPH; CONCEPTUAL KNOWLEDGE; CONTEXTUAL LOGIC; INFERENCE RULES; LOGICAL THEORIES; SOUND AND COMPLETE;

FORMAL CONCEPT ANALYSIS;

EID: 84957667129     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0054917     Document Type: Conference Paper

References (12)

1. Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d’Intelligence Artificielle 6 (1992) 365-406
2. Chein, M., Mugnier, M.-L.: Conceptual Graphs are also Graphs. Rapport de Recherche 95003, LIRMM, Universitě Montpellier II (1995)
3. Ganter, В., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin-Heidelberg, to appear 1998
4. Mugnier, M.-L., Chein, M.: Représenter des Connaissances et Raisonner avec des Graphes. Revue d’Intelligence Artificielle 10 (1996) 7-56
5. Prediger, S.: Einfache Begriffsgraphen: Syntax und Semantik. Preprint, FB Mathematik, TU Darmstadt (1998)
6. Prediger, S.: Existentielle Begriffsgraphen. Preprint, FB Mathematik, TU Darmstadt (1998)
7. Priß, U.: The Formalization of WordNet by Methods of Relational Concept Analysis. In: Fellbaum, C. (ed.): Word Net - An Electronic Lexical Database and some of its Applications. MIT-Press (1996)
8. Sowa, J. F.: Conceptual Structures: Information Processing in Mind and Machine. Adison-Wesley, Reading (1984)
9. Sowa, J. F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. PWS Publishing Co., Boston, to appear 1998
10. Wermelinger, M.: Conceptual Graphs and First-Order Logic. In: Ellis, G. et al. (eds.): Conceptual Structures: Applications, Implementations and Theory, Proceedings of the IOCS ‘95. Springer, Berlin-New York (1995) 323-337
11. Wille, R.: Restructuring Mathematical Logic: an Approach based on Peirce’s Pragmatism. In: Ursini, A., Agliano, P. (eds.): Logic and Algebra. Marcel Dekker, New York (1996) 267-281
12. Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Lukose, D. et. al. (eds): Conceptual Structures: Fulfilling Peirce’s Dream, Proceedings of the ICCS’97. Springer, Berlin-New York (1997) 290-303