1 A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards [会议论文]
作者:Yevgeny Kazakov
会议时间:
预览 | 原文链接 | 全文 [ 浏览:17 下载:3 ]
2 Reasoning Support for OWL-E [会议论文]
作者:
预览 | 原文链接 | 全文 [ 浏览:15 下载:1 ]
3 Model Checking Using Tabled Rewriting*(for IJCAR2004 Doctoral Programme) [会议论文]
作者:Zhiyao Liang
预览 | 原文链接 | 全文 [ 浏览:0 下载:0 ]
4 Reasoning with Large Numbers of Individuals Moves on: Extending the Instance Store [会议论文]
作者:Lei Li
预览 | 原文链接 | 全文 [ 浏览:0 下载:2 ]