Logic for nested graphs

Computational Intelligence

Volumn 14, Issue 3, 1998, Pages 335-357

  Preller, Anne ^a   Mugnier, Marie Laure ^a   Chein, Michel ^a  

^a LIRMM   (France)

Author keywords

Formal underpinnings; Knowledge representation

Indexed keywords

FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

NESTED GRAPHS;

GRAPH THEORY;

EID: 11744322275     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/0824-7935.00066     Document Type: Article

References (9)

1. CHELN, M, and M. L. MUGNIER. 1992. Conceptual graphs: Fundamental notions. Revue d'Intelligence Artificielle, 6(4):365-406.
2. KAMP, H., and U. REYLE. 1993. From Disourse to Logic. Kluwer Academic Publishers.
3. KAYSER, D. 1991. Meaning representation versus knowledge representation. In New Inquiries into Meaning and Truth. Edited by N. Cooper and P. Engel. St. Martins Press, New York, pp. 163-186.
4. MARTIN-LÖF, P. 1984. Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis, Naples.
5. MUGNIER, M. L., and M. CHEIN. 1996. Représenter des connaissances et raisonner avec des graphes. Revue d'Intelligence Artificielle, 10(1):7-56.
6. PRAWITZ, D. 1965. Natural Deduction. A Proof-Theoretical Study. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 3. Almqvist and Wiksell, Stockholm.
7. SIMONET, G. 1996. Une sémantique logique pour les graphes emboîtés. Research report LIRMM 96047.
8. SOWA, J. F. 1984. Conceptual Structures, Information Processing in Mind and Machine. Addison Wesley, Reading, MA.
9. SOWA, J. F. 1993. Logical foundations for representing object-oriented systems. Journal of Experimental and Theoretical Artificial Intelligence, 5(2-3):237-261.