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