Sound and complete forward and backward chainings of graph rules

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

Volumn 1115, Issue , 1996, Pages 248-262

  Salvat, Eric ^a   Mugnier, Marie Laure ^a  

^a LIRMM   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE REPRESENTATION; SEMANTICS;

BACKWARD CHAINING; COMPATIBLE PARTITIONS; FIRST ORDER LOGIC; FORWARD-AND-BACKWARD; GRAPH OPERATIONS; LAMBDA ABSTRACTION; LOGICAL SEMANTICS; SOUND AND COMPLETE;

GRAPH THEORY;

EID: 84955569247     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61534-2_16     Document Type: Conference Paper

References (11)

1. M. Chein, J. Bouaud, JoP. Chevallet, R. Dieng, B. Levrat, and G. Sabah. Graphes Conceptuels. In Actes des 5emes Journees Nationales du PRCGDR Intelligence Artificielle, pages 179-212, 1995.
2. O. Cogis and O. Guinaldo. A Linear Descriptor for Conceptual Graphs and a Class for Polynomial Isomorphism Test. In Lecture Notes in Air, 954, Proceedings of ICCS'95, pages 263-277. Springer Verlag, 1995.
3. M. Chein and M.L. Mugnier. Conceptual Graphs: fundamental notions. Revue d'Intelligence Artificielle, 6(4), 1992. In english.
4. M. Chein and M.L. Mugnier. Conceptual graphs are also graphs. Research Report 95-004, LIRMM, Jan. 1995. 17 pages.
5. A. Colmeraner. Prolog in ten figures. In Proceedings IJCAI'83, Vol. 1, pages 487-497, 1983.
6. J. Fargues, M.C. Landau, A. Dugourd, and L. Catach. Conceptual Graphs for Semantics and Information Processing. IBM Journal of Research and Development, 30(1):70-79, 1986.
7. B.C. Ghosh and V. Wuwongse. A direct Proof Procedure for Definite Conceptual Graph programs. In Lecture Notes in AI, 954, Proceedings of ICCS'95, pages 158-172. Springer Verlag, 1995.
8. M.L. Mugnier and M. Chein. Characterization and Algorithmic Recognition of Canonical Conceptual Graphs. In Lecture Notes in AI, 699, Proceedings ICCS'93, pages 294-311. Springer Verlag, 1993.
9. M.L. Mugnier and M. Chela. Representer des connaissances et raisonner avec des graphes. Revue d'InteUigence Artificielle, 10(1), 1996.
10. A.S. Rao and N. Foo, Conceptual Graph Reasoning System. In Proceedings of the 3rd CAIA, pages 87-92. IEEE Computer Society Press, 1987.
11. J.F. Sowa. Conceptual Structures - Information Processing in Mind and Machine. Addison-Wesley, 1984.