faultfinder
发表于 2025-3-23 10:21:21
0302-9743 in August 1994..This proceedings presents, on an international scale, up-to- the-minute research results on theoretical and applicational aspects of conceptual graphs, particularly on the use of contexts in knowledge representation. The concept of contexts is highly important for all kinds of knowle
Mingle
发表于 2025-3-23 16:09:30
https://doi.org/10.1007/978-981-99-7965-3a refutation-based resolution procedure that is somewhat analogous in approach to the SLD-resolution of first-order predicate logic. The second one, called the CGF-derivaton, is a forward derivation based deduction procedure. Both procedures are sound with respect to the declarative semantics of conceptual graph programs.
Humble
发表于 2025-3-23 18:23:24
Linguistic processing of text for a large-scale conceptual Information Retrieval system, that reveal conceptual relations. They were used to process a Wall Street Journal database covering a period of three years. We describe our methods for constructing the knowledge base, how the linguistic knowledge is used to process the text, and how the retrieval system makes use of the rich representation of documents and information needs.
Mobile
发表于 2025-3-23 22:12:10
0302-9743 dge-intensive systems. The book is organized into sections on natural language understanding, rational problem solving, conceptual graph theory, contexts and canons, and data modeling.978-3-540-58328-8978-3-540-38675-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
FADE
发表于 2025-3-24 03:24:23
http://reply.papertrans.cn/24/2351/235044/235044_15.png
heterodox
发表于 2025-3-24 08:19:32
Concluding remarks and future directions,erlying this construction was determinacy. Here, we will show that this determinacy principle is not ideal, and that one should join schematic expansions of the lexical entries instead to achieve the semantic graph of a sentence.
Palter
发表于 2025-3-24 13:46:18
Foundations of scientific cooperation, etc.) modify these rules. We also consider verb tense determination rules for complex sentences (composed of a main clause and a subordinate clause). Finally, we present a method for applying these verb determination rules to a discourse temporal model.
蜈蚣
发表于 2025-3-24 16:02:07
Lecture Notes in Computer Science definition of external, internal, elementary and extended join operations. Finally, in order to join graphs which may include functions, compatible projections must be replaced by . compatible projections. This paper formally defines these new projections.
强所
发表于 2025-3-24 21:39:35
http://reply.papertrans.cn/24/2351/235044/235044_19.png
高尔夫
发表于 2025-3-24 23:44:47
Towards a Christian Literary Theoryto an object made up of conceptual structures. This base thus endows Prolog++ with a second form of object oriented programming. Finally, Prolog++ provides, as predefined methods, a set of conceptual operations for editing and handling CG.