位置：成果数据库 > 会议 > 会议详情页
On the translation from quantified modal logic into the counterpart theory revisited
  • 所属机构名称：广西师范大学
  • 会议名称：The 5rd International Conference on Knowledge Science, Engineering and Management, (KSEM11)
  • 时间：2011.12.12
  • 成果类型：会议
  • 相关项目：本体的保守扩充及其推理机制研究
作者： Yuming Shen|Ju Wang|Yuefei Sui|
同会议论文项目
本体的保守扩充及其推理机制研究
期刊论文 17 会议论文 2
同项目会议论文
Complexity of conservative extensions and inseparability in the description logic <br class="