冰雹
发表于 2025-3-23 11:35:23
http://reply.papertrans.cn/16/1594/159367/159367_11.png
Angiogenesis
发表于 2025-3-23 14:24:46
http://reply.papertrans.cn/16/1594/159367/159367_12.png
cloture
发表于 2025-3-23 21:12:55
http://reply.papertrans.cn/16/1594/159367/159367_13.png
土坯
发表于 2025-3-23 23:15:18
http://reply.papertrans.cn/16/1594/159367/159367_14.png
运动的我
发表于 2025-3-24 05:47:32
http://reply.papertrans.cn/16/1594/159367/159367_15.png
Glaci冰
发表于 2025-3-24 07:33:59
https://doi.org/10.1007/978-3-642-20589-7SAT solvers; constraint processing; data mining; model generation; program transformation
责怪
发表于 2025-3-24 12:11:28
http://reply.papertrans.cn/16/1594/159367/159367_17.png
疼死我了
发表于 2025-3-24 16:13:11
Extending XQuery for Semantic Web Reasoningates new primitives (i.e. boolean operators) in XQuery for the querying and reasoning with OWL-style triples in such a way that XQuery can be used as query language for the Semantic Web. In addition, we propose a Prolog-based implementation of the extension.
古董
发表于 2025-3-24 20:14:47
http://reply.papertrans.cn/16/1594/159367/159367_19.png
伪善
发表于 2025-3-24 23:58:16
http://reply.papertrans.cn/16/1594/159367/159367_20.png