位置：成果数据库 > 会议 > 会议详情页
The Dual Spatial Connectives of Separation Logic
  • 所属机构名称：中国科学院计算技术研究所
  • 会议名称：3rd International Conference on Knowledge Science, Engineering and Management, KSEM 2009
  • 成果类型：会议
  • 会场：维也纳
  • 相关项目：从海量文本中获取概念的多重属性、多重关系以及它们的元性质
作者： Ju Wang|Yuming Shen|Yuefei Sui|
同会议论文项目
从海量文本中获取概念的多重属性、多重关系以及它们的元性质
期刊论文 19 会议论文 7
同项目会议论文
Preservative translations between logical systems
The Logical Operations on Relations, Scales and Concept Lattices
Extracting Comparative Commonsense from the Web
The Description Logic for Relational Databases
A Laplacian Eigenmaps Based Semantic Similarity Measure between Words
Acquiring Commonsense Knowledge about Properties of Concepts from Text