搜索dblp
全文搜索
> 主页
请输入搜索查询
作者搜索结果
场馆搜索结果
优化列表
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
没有选项
暂时不可用
出版物搜索结果
2009 Anastasia Analyti分析 , 格里戈里斯·安东尼奥 , 卡洛斯·维加斯·达马西奥 :
模块化ERDF本体的形式理论。 右后 2009 : 212-226 Matt-Mouley Bouamrane公司 , 艾伦·L·雷克托 , 马丁·赫雷尔 :
在临床本体上使用规则引擎和推理器的术前决策支持系统的混合架构。 右后 2009 : 242-253 西蒙·布罗德 , 弗朗索瓦·布里 , 诺伯特·艾辛格 :
搜索更多声明性。 右后 2009 : 71-86 乔斯·德布鲁因(Jos de Bruijn) , 马丁·雷兹克 :
生产系统静态分析的一种基于逻辑的方法。 右后 2009 : 254-268 弗朗索瓦·布里 , 蒂姆·弗切 , Benedikt Linse公司 :
完美匹配:RPL和RDF规则语言。 右后 2009 : 227-241 斯蒂芬·格林 , 帕斯卡·希茨勒 :
外接函数的一个优先表——微积分 A类 本地合规官 {\mathcal ALCO}。 右后 2009 : 40-54 本杰明·格罗夫 :
SILK:具有默认值和语义可伸缩性的高级规则。 右后 2009 : 24-25 斯迪恩·海曼斯 , 克里斯蒂娜·费尔 , 托马斯·艾特 :
简单概念逻辑程序的推理器。 右后 2009 : 55-70 艾丹·霍根 , 斯特凡·戴克 :
在OWL 2 RL中表面沉默的“W”上。 右后 2009 : 118-134 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
在诱拐逻辑编程代理中集成逻辑编程和生成系统。 右后 2009 : 1-23 格格利·卢卡西 , 佩特·塞雷迪 :
使用逻辑编程技术的可扩展Web推理。 右后 2009 : 102-117 托马斯·卢卡西维茨 :
语义网的不确定性推理。 右后 2009 : 26-39 岳马 , 帕斯卡·希茨勒 :
OWL 2的超一致推理。 右后 2009 : 197-211 克里斯蒂安·梅利克 , 海纳·斯塔肯施密特(Heiner Stuckenschmidt) :
一种计算对齐诊断的有效方法。 右后 2009 : 182-196 安妮·斯利希特 , Heiner Stuckenschmidt公司 :
表达本体网络的分布式解析。 右后 2009 : 87-101 史蒂文·肖克尔特 , 杰罗恩·詹森 , 德克·弗梅尔 , 马丁·德科克 :
模糊均衡逻辑中的答案集。 右后 2009 : 135-149 翁贝托·斯特拉契亚 :
一般模糊RDF的最小演绎系统。 右后 2009 : 166-181 惠婉 :
具有循环依赖的信念逻辑程序设计。 右后 2009 : 150-165 阿克塞尔·波利斯 , Terrance Swift公司 :
网络推理与规则系统,第三届国际会议,RR 2009,美国弗吉尼亚州尚蒂利,2009年10月25-26日,会议记录。 计算机科学讲义 5837, 施普林格 2009 ,国际标准图书编号 978-3-642-05081-7 [目录]