BriefGPT.xyz
Ask
alpha
关键词
lars programs
搜索结果 - 1
基于 Datalog 的流推理语言的正式比较(扩展版)
通过比较 LARS 程序及 LDSR 语言的表达能力,本文找出了各自的限制条件并确定了它们可以相互表达的片段。
PDF
2 years ago
Prev
Next