Projection and unification for conceptual graphs

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

Volumn 954, Issue , 1995, Pages 278-292

  Willems, M ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

CONCEPTUAL GRAPH; LOWER BOUNDS; PARTIAL ORDER; POLYNOMIAL ALGORITHM; SPEED UP; STRUCTURAL SIMILARITY; SUBTREE ISOMORPHISM; TERM GRAPHS;

GRAPHIC METHODS;

EID: 84957705814     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60161-9_44     Document Type: Conference Paper

References (13)

1. H. Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theor. Comp. Sc., 45:293-351, 1986.
2. M. Chein and M.-L. Mugnier. Conceptual graphs: fundamental notions. Revue d ’Intelligence Artificielle, to appear.
3. H. Ehrig. Tutorial Introduction to the Algebraic Approach to Graph Grammars, volume 291 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
4. H. Herrlich and G.E. Strecker. Category Theory, Allyn and Bacon Inc., Boston, 1973.
5. K. Knight. Unification: a multidisciplinary survey. ACM Computing Surveys, 21(1), 1989.
6. M. Liquière and O. Brissac. A class of conceptual graphs with polynomial iso-projection. In W.M. Tepfenhart, J.P. Dick, and J.F. Sowa, editors, Proceedings Supplement of the 2nd International Conference on Conceptual Structures. University of Maryland, 1994.
7. M.-L. Mugnier and M. Chein. Polynomial algorithms for projection and matching. In H. Pfeiffer, editor, Proceedings of the 7th Annual Workshop on Conceptual Graphs. State University of New Mexico, 1992.
8. S.W. Reyner. An analysis of a good algorithm for the subtree problem. SIAM J. Computer, 6(4):730-732, 1977.
9. J. F. Sowa. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading, 1984.
10. J.R. Ullmann. An algorithm for subgraph isomorphism. Journal of the ACM, 23(l):31-42, 1976.
11. M. Willems. Generalization of conceptual graphs. In E.C. Way, editor, Proceedings of the 6th Annual Workshop on Conceptual Graphs, Binghamton, 1991. State University of New York.
12. M. Willems. Subsumption of knowledge graphs. In H. Boley and M.M. Richter, editors, Processing Declarative Knowledge, volume 567 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1991.
13. M. Willems. Chemistry of Language: a graph-theoretical study of linguistic semantics. PhD thesis, University of Twente, Enschede, 1993.