计算机科学论坛--显示贴子

以文本方式查看主题

-  计算机科学论坛  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  大家能否推荐在下一些关于tableau的资料  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=44272)

--  作者：btyouth
--  发布时间：3/23/2007 12:13:00 AM

--  大家能否推荐在下一些关于tableau的资料
在下需要完成一篇关于tableau的论文，能否请大家推荐我一点关于这方面的文章，谢谢

--  作者：baojie
--  发布时间：3/23/2007 10:57:00 AM

--
http://citeseer.ist.psu.edu/baader00overview.html

F. Baader and U. Sattler. An overview of tableau algorithms for description logics. Studia Logica, 2001.

@article{DBLP:journals/sLogica/BaaderS01,
  author    = {Franz Baader and
               Ulrike Sattler},
  title     = {An Overview of Tableau Algorithms for Description Logics.},
  journal   = {Studia Logica},
  volume    = {69},
  number    = {1},
  year      = {2001},
  pages     = {5-40},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

--  作者：wjwenoch
--  发布时间：4/7/2007 11:29:00 AM

--
baojie大牛推荐的那篇是很经典的。。。。
时间多的话，楼主也可以先看看模态逻辑里关于tableaux的基础，这样理解起来比较容易过渡

W 3 C h i n a ( since 2003 ) 旗下站点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》

46.875ms