破裂 发表于 2025-3-23 13:41:20
Khansa Dhaouadi,Pierre Leclercq which have been used for encoding. As such, the algorithms developed for these implementations are directly applicable to sparse terms. We also argue that simple encoding algorithms (e.g. transitive closure and compact) implemented with sparse terms provide the efficiency and flexibility required fCulmination 发表于 2025-3-23 14:27:44
Processes and participants, resulting classification provides an ontology of concept and relation types that can be used for representing both the semantics of verbs and the axioms for reasoning about the corresponding processes.不要不诚实 发表于 2025-3-23 18:10:59
Conceptual structures of multicontexts,per is to offer a first study of multicontexts and their conceptual structures; in particular, descriptions of conceptual coherences within the formalized network of contexts are presented. The theoretical considerations are illustrated by examples.高脚酒杯 发表于 2025-3-23 23:14:13
DB-MAT: Knowledge acquisition, processing and NL generation using conceptual graphs, they provide formal structures and operations suitable for representing and processing of terminological knowledge. We employ the CG operations to extract relevant knowledge with a flexible granularity. The paper describes all system components from a CG perspective and their interaction hidden under the user-friendly interface.陪审团每个人 发表于 2025-3-24 05:12:45
Conference proceedings 1996erence from a respectable number of submissions. The issues addressed are natural language processing, information retrieval, graph operations, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.场所 发表于 2025-3-24 08:37:12
0302-9743 ns, conceptual graph and Peirce theory, knowledge acquisition, theorem proving and CG programming, and order-based organisation and encoding.978-3-540-61534-7978-3-540-68730-6Series ISSN 0302-9743 Series E-ISSN 1611-3349有帮助 发表于 2025-3-24 13:48:03
http://reply.papertrans.cn/24/2351/235050/235050_17.pngAROMA 发表于 2025-3-24 17:47:22
Reunification and Consolidation (1990–2004) resulting classification provides an ontology of concept and relation types that can be used for representing both the semantics of verbs and the axioms for reasoning about the corresponding processes.一回合 发表于 2025-3-24 21:23:06
http://reply.papertrans.cn/24/2351/235050/235050_19.png慎重 发表于 2025-3-25 00:46:21
https://doi.org/10.1007/978-3-030-67130-3 they provide formal structures and operations suitable for representing and processing of terminological knowledge. We employ the CG operations to extract relevant knowledge with a flexible granularity. The paper describes all system components from a CG perspective and their interaction hidden under the user-friendly interface.