中英▼
go top

表推演

网络释义专业释义

  Tableau

同时描述逻辑能够采用基于表推演（Tableau）的算法实现目标导向的高效推理过程。实验表明基于表推演的描述逻辑推理算法在大多数情况下都有很高的效率，经过优化后其性能是可...

基于36个网页-相关网页

短语

表推演方法 Tableau Method

  • tableau calculus - 引用次数：1

    参考来源 - 非单调推理基础上的基于模型诊断

·2,447,543篇论文数据，部分数据来源于NoteExpress

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

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

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