municipality 发表于 2025-3-23 12:48:47

Powerset trilattices,d. In particular, the finite .-trilattices are (up to isomorphism) just the finite powerset trilattices. They have 3. elements. Further topics are the ., the . as the triadic complementation and the ., which take over the role of the atoms in the theory of Boolean lattices.

CROW 发表于 2025-3-23 14:26:25

Two FOL semantics for simple and nested conceptual graphs,and completeness of the projection with respect to this semantics are true without any restriction. I extend the definitions and results on both semantics to Conceptual Graphs containing co-reference links and to Nested Conceptual Graphs.

消耗 发表于 2025-3-23 19:54:27

http://reply.papertrans.cn/24/2351/235056/235056_13.png

cancellous-bone 发表于 2025-3-23 22:16:03

0302-9743 l graphs and other models, relationships with logics, algorithms and complexity, natural language processing, and applications.978-3-540-64791-1978-3-540-68673-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

起来了 发表于 2025-3-24 05:05:22

Conceptual graph standard and extensions,ition of researchers who have been actively extending conceptual graphs with a variety of experimental features that often go far beyond the core and are sometimes incompatible with it. This paper discusses the recently developed CG standard and its approach to standardizing the CG core while allowing innovative extensions.

jabber 发表于 2025-3-24 09:14:16

Using viewpoints and CG for the representation and management of a corporate memory in concurrent eproject memory. Such design process is a cycle of individual design and collaborative evaluation. In order to facilitate knowledge extraction from this memory and to ensure the evolution of knowledge, we define a viewpoints management. This management is based in our study of viewpoints in Conceptual Graphs.

终端 发表于 2025-3-24 12:31:53

,WebKB-GE — A visual editor for canonical conceptual graphs,dition, co-operative knowledge formulation is supported by network-aware work-sharing features. The layout language and its implementation are described as well as the design and implementation features.

聪明 发表于 2025-3-24 17:06:25

MULTIKAT, a tool for comparing knowledge of multiple experts,plements an algorithm of comparison and integration of several supports, and an algorithm of comparison and integration of multiple conceptual graphs corresponding to different viewpoints, the integration being guided by different integration strategies. This paper details this last algorithm.

CHAR 发表于 2025-3-24 22:48:26

http://reply.papertrans.cn/24/2351/235056/235056_19.png

Palter 发表于 2025-3-25 00:29:48

http://reply.papertrans.cn/24/2351/235056/235056_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Conceptual Structures: Theory, Tools and Applications; 6th International Co Marie-Laure Mugnier,Michel Chein Conference proceedings 1998 Sp