This book constitutes the refereed proceedings of the 6th International Conference on Conceptual Structures, ICCS'98, held in Montpellier, France, in August 1998. The 20 revised full papers and 10 research reports presented were carefully selected from a total of 66 submissions; also included are three invited contributions. The volume is divided in topical sections on knowledge representation and knowledge engineering, tools, conceptual graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.For example, we can imagine a system that codes knowledge in relational contexts and provides, with the concept graphs, a graphical ... We only have to prove that 02 is valid in an arbitrary model (K, A) for alt;9i with K := ((G, AlH), M, J) and A := \s U ACU ATC if alt;52 is valid in ... 6), we only have to convince ourselves that alt;82 satisfies the following vertex and edge conditions: Vw C V2 : p2(w) C \J{pi(v) \ v C 235.

Title | : | Conceptual Structures: Theory, Tools and Applications |

Author | : | Marie-Laure Mugnier, Michel Chein |

Publisher | : | Springer Science & Business Media - 1998-07-22 |

Continue