A保存的 发表于 2025-4-1 04:04:49
http://reply.papertrans.cn/15/1464/146339/146339_61.png样式 发表于 2025-4-1 06:41:06
http://reply.papertrans.cn/15/1464/146339/146339_62.png高尔夫 发表于 2025-4-1 13:42:54
http://reply.papertrans.cn/15/1464/146339/146339_63.pngobstinate 发表于 2025-4-1 15:58:30
https://doi.org/10.1007/978-1-4612-6024-0This paper proposes a fuzzy variant of SROIQ(D) with datalog which can support fuzzy reasoning. The paper presents the syntax and semantics of fuzzy SROIQ(D)+Datalog and discusses the common reasoning problems in fuzzy description logic programming and finally proposes an inequation/equation set approach to solve the reasoning problems.FER 发表于 2025-4-1 18:36:26
http://reply.papertrans.cn/15/1464/146339/146339_65.pngArresting 发表于 2025-4-2 02:02:35
Molecules, Membranes, and Modelinges are represented by software agents, which through negotiations and by integrated fuzzy-controllers plan the test. They prioritize test cases, request new test cases and allocate test resources based on a desired quality of test and the available test time. Due to dynamic events during the test, tAffection 发表于 2025-4-2 04:00:11
http://reply.papertrans.cn/15/1464/146339/146339_67.png