歌曲 发表于 2025-3-28 16:07:35

http://reply.papertrans.cn/84/8321/832062/832062_41.png

死猫他烧焦 发表于 2025-3-28 19:19:34

http://reply.papertrans.cn/84/8321/832062/832062_42.png

极微小 发表于 2025-3-28 23:55:13

Complex Event Processing Under Uncertainty Using Markov Chains, Constraints, and Samplingbability of a complex event from long data streams produced by a simple, but large system, in a reasonable amount of time. Furthermore, we want this model to allow considering prior knowledge on data streams with a high degree of expressiveness.

妈妈不开心 发表于 2025-3-29 06:25:29

http://reply.papertrans.cn/84/8321/832062/832062_44.png

Congestion 发表于 2025-3-29 10:30:13

Clinical Decision Support Based on OWL Queries in a Knowledge-as-a-Service Architectureation of a new architecture, called H-KaaS, which established itself as a platform capable of managing multiple data sources and knowledge models, centralizing access to ontologies and other means of knowledge representation through an API that can be instantiated to different purposes, such as clinical decision support and education.

nocturnal 发表于 2025-3-29 13:44:59

Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysisy increasing. Deductive reasoning and neural networks are two prominent areas in AI that can support discovery processes; unfortunately, they have been considered as separate research areas for long time. In this paper we start from a specific neurological disorder, namely Multiple Sclerosis, to def

MAZE 发表于 2025-3-29 17:54:14

http://reply.papertrans.cn/84/8321/832062/832062_47.png

agonist 发表于 2025-3-29 23:34:16

Cardinality Restrictions Within Description Logic Connection Calculial annotation and introduces blocking through a new rule in the connection calculus, to ensure termination in the case of cyclic ontologies. In this work, we enhance this calculus and its representation to take on ., an extended fragment that includes role hierarchies, qualified number restrictions

Osteoarthritis 发表于 2025-3-30 00:47:03

http://reply.papertrans.cn/84/8321/832062/832062_49.png

KIN 发表于 2025-3-30 05:44:33

http://reply.papertrans.cn/84/8321/832062/832062_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Rules and Reasoning; Second International Christoph Benzmüller,Francesco Ricca,Dumitru Roman Conference proceedings 2018 Springer Nature Sw