位置：成果数据库 > 会议 > 会议详情页
An tableau automated theorem proving method using logical reinforcement learning
  • 所属机构名称：苏州大学
  • 会议名称：2nd International Symposium on Intelligence Computation and Applications, ISICA 2007
  • 成果类型：会议
  • 会场：Wuhan, China
  • 相关项目：面向Deep Web的不完备知识处理的逻辑模型研究
作者： Yao, Wangshu|Cui, Zhiming|Liu, Quan|Chen, Zhongwen|Gao, Yang|
同会议论文项目
面向Deep Web的不完备知识处理的逻辑模型研究
期刊论文 46 会议论文 9 专利 3
同项目会议论文
Ontology-based focused crawling of deep web sources
Medical image fusion based on wavelet transform and independent component analysis
Data source selection for large-scale deep web data integration
Extension of OWL with dynamic fuzzy logic
The research on the spider of the domain-specific search engines based on the reinforcement learning
SDWS: Semantic search for Deep Web data
From wrapping to knowledge: domain ontology learning from deep web
Organizing structured deep web by clustering query interfaces link graph