现任者 发表于 2025-4-1 05:43:29

http://reply.papertrans.cn/87/8697/869641/869641_61.png

neologism 发表于 2025-4-1 06:42:03

http://reply.papertrans.cn/87/8697/869641/869641_62.png

Monotonous 发表于 2025-4-1 12:09:21

http://reply.papertrans.cn/87/8697/869641/869641_63.png

煤渣 发表于 2025-4-1 17:55:11

Changjun Fan,Zhong Liu,Baoxin Xiu,Lianfei Yu models) and for the inference services (like concept subsumption, instantiation, classification, and realization) of terminological systems of the KL-ONE family. It has been demonstrated that terminological reasoning can be realized by efficient and logically complete algorithms based on tableaux s

insincerity 发表于 2025-4-1 21:44:00

http://reply.papertrans.cn/87/8697/869641/869641_65.png
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Social Media Processing; 5th National Confere Yuming Li,Guoxiong Xiang,Mingwen Wang Conference proceedings 2016 Springer Nature Singapore P