OTTER
发表于 2025-3-27 00:22:20
http://reply.papertrans.cn/39/3880/387994/387994_31.png
Malfunction
发表于 2025-3-27 03:50:43
A Framework for Qualitative Representation and Reasoning about Spatiotemporal Patterns, of geographically distributed devices that generate large amounts of data. Several models of spatiotemporal patterns have been proposed to help users take advantage of such data. However, most of current approaches rely on query languages which are not easily manipulated by end-users. Because of
一条卷发
发表于 2025-3-27 05:47:11
http://reply.papertrans.cn/39/3880/387994/387994_33.png
Orgasm
发表于 2025-3-27 12:00:03
Knowledge Management and Human Trafficking: Using Conceptual Knowledge Representation, Text Analytie conducting their illicit activities, and as a result the environment that law enforcement agencies have to police. This paper triangulates the capability of open-source data analytics, ontological knowledge representation and the wider notion of knowledge management (KM) in order to provide an eff
gusher
发表于 2025-3-27 17:01:33
Default Reasoning Implementation in CoGui,i. CoGui is a free graph-based visual tool, developed in Java, for building Conceptual Graph knowledge bases. We present the extension of this application to define and represent default CG rules (a CG-oriented subset of Reiter’s default logics) and how to use these rules in skeptical or credulous r
cloture
发表于 2025-3-27 20:55:05
Extracting Threshold Conceptual Structures from Web Documents,king documents we define a weighted formal context. We use a Galois connection to introduce a new type of formal concept that allows us to work with specific thresholds for searching words in Web documents. By increasing the threshold, we obtain smaller lattices with more relevant concepts, thus imp
grenade
发表于 2025-3-28 01:18:11
A Formal Topology of Web Classification,ments. This paper presents a topological approach of the web classification, aiming to describe classifications and search processes over the web. An original feature is provided by the distinctness operators which are able to detect when a document is not in a certain classification class. We prove
不能仁慈
发表于 2025-3-28 05:28:41
Specifying Well-Formed Part-Whole Relations in Coq, in most papers the focus has been on properties of the part-whole relation, rather than on its semantics. In the last decades, most approaches which have addressed the formal specification of the part-whole relation (i) rely on First Order Logic (FOL) which is unable to address multiple levels of g
GORGE
发表于 2025-3-28 06:38:41
http://reply.papertrans.cn/39/3880/387994/387994_39.png
不能仁慈
发表于 2025-3-28 12:18:09
http://reply.papertrans.cn/39/3880/387994/387994_40.png