中英▼
go top

分布式一阶逻辑

网络释义

  DistributedFirstOrder Logics

Ghidini［26】 等人提出的分布式一阶逻辑（DistributedFirstOrder Logics，DFOL）知识库（基 于该理论的本体也称DFOL本体），对包含多种一阶逻辑语言的全局知识库提供 了各语言的本地...

基于1个网页-相关网页

  DFOL

Ghidini［26】 等人提出的分布式一阶逻辑（DistributedFirstOrder Logics，DFOL）知识库（基 于该理论的本体也称DFOL本体），对包含多种一阶逻辑语言的全局知识库提供 了各语言的本地...

基于1个网页-相关网页

有道翻译

分布式一阶逻辑

Distributed first-order logic

以上为机器翻译结果，长、整句建议使用 人工翻译 。

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定