本杰明·格罗夫
人员信息
附属: 麻省理工学院,美国剑桥
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [第1页] 本杰明·格罗夫 , 迈克尔·基弗 , 特蕾莎·斯威夫特 , 保罗·福多 , 珍妮·布隆菲尔德 :
Ergo:逻辑编程中的声明性探索。 序言:未来50年 2023 : 224-236
2010 – 2019
2019 [公元44年] 本杰明·格罗夫 , 特蕾莎·斯威夫特 :
PLOW:基于良好语义的概率逻辑。 AAAI春季研讨会:将机器学习与知识工程相结合 2019 2017 [公元43年] 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 :
Rulelog:具有可扩展深度推理的高表达语义规则。 规则ML+RR(补充) 2017 2016 [公元42年] 本杰明·格罗夫 :
通过Rulelog实现神经符号的高功率逻辑表示。 HLAI的NeSy 2016 2015 [公元10年] 惠婉 , 迈克尔·基弗 , 本杰明·格罗夫 :
具有默认值和论证规则的答案集程序中的失效性。 语义Web 6 ( 1 ) : 81-98 ( 2015 ) [公元41年] 本杰明·格罗夫 , 珍妮·布隆菲尔德 , 保罗·福多 , 迈克尔·基弗 , 艾萨克·格罗夫 , 米盖尔·卡列霍 , Terrance Swift公司 :
使用文本规则为金融监管/政策合规提供自动化决策支持。 挑战+ DC@规则ML 2015 [公元40年] 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 :
语义规则在规则语言中的作用:基本原理和最新进展(教程演示的扩展摘要)。 推理Web 2015 : 189-192 2013 [公元39年] 本杰明·内森·格罗夫 , Terrance Swift公司 :
径向约束:逻辑程序有限理性的一种语义清晰方法。 AAAI公司 2013 : 379-386 [公元38年] 卡尔·安徒生 , 布雷特·本约 , 米盖尔·卡列霍 , 迪恩 , 保罗·福多 , 本杰明·格罗夫 , 迈克尔·基弗 , 梁森林 , Terrance Swift公司 :
规则库的高级知识库调试。 规则ML(2) 2013 [公元37年] 本杰明·格罗夫 :
通过文本逻辑和规则语言快速编写可推迟的高阶逻辑公式(受邀演讲摘要)。 规则ML 2013 : 2-11 [i5] 本杰明·格罗夫 :
将优先默认值和特定性转换为并行默认值。 CoRR公司 abs/1302.4951 ( 2013 ) [i4] 本杰明·格罗夫 :
概率推理中的非单调性。 CoRR公司 腹肌/1304.3087 ( 2013 ) [i3] 本杰明·格罗夫 :
概率知识的不平等范式。 CoRR公司 abs/1304.3418 ( 2013 ) [i2] 本杰明·格罗夫 :
作为转换概率的证据确证。 CoRR公司 abs/1304.3439 ( 2013 ) [i1] 卡尔·安徒生 , 布雷特·本约 , 米盖尔·卡列霍 , 迪恩 , 保罗·福多 , 本杰明·格罗夫 , 迈克尔·基弗 , 梁森林 , Terrance Swift公司 :
了解丝绸中的规则计算。 CoRR公司 abs/1308.4125 ( 2013 ) 2011 [公元36年] 本杰明·格罗夫 :
SILK知识表示及其应用的最新进展。 RuleML美国 2011 : 13 2010 [公元9年] 大卫·冈宁 , 维奈·K·乔德里 , 彼得·克拉克 , 肯·巴尔克 , Shaw Yi Chaw先生 , 马克·格雷夫斯 , 本杰明·格罗夫 , 梁爱丽丝(Alice Leung) , 大卫·D·麦克唐纳 , 苏尼尔·米什拉 , 约翰·帕切科 , 布鲁斯·波特 , 亚伦·斯波尔丁 , 丹·特库西 , 景天 :
光环项目更新-数字亚里士多德的进展。 人工智能杂志。 31 ( 三 ) : 33-58 ( 2010 ) [公元35年] 惠婉 , 迈克尔·基弗 , 本杰明·格罗夫 :
基于论证理论的答案集程序中的失效性。 右后 2010 : 149-163 [公元34年] 本杰明·格罗夫 , 卡尔·安徒生 , 迪恩 , 迈克尔·基弗 :
SILK和RIF中的全向超逻辑程序。 RuleML挑战 2010 [公元33年] 本杰明·格罗夫 , 马克·H·伯斯坦 , 迪恩 , 卡尔·安徒生 , 布雷特·本约 , 威廉·弗格森 , 丹妮拉·伊普里赞 , 理查德·夏皮罗 :
一个用于可延迟推理的SILK图形用户界面,带有一个生物因果过程示例。 RuleML挑战 2010 [公元32年] 本杰明·格罗夫 , 马克·H·伯斯坦 , 迪恩 , 卡尔·安徒生 , 布雷特·本约 , 威廉·弗格森 , 丹妮拉·伊普里赞 , 理查德·夏皮罗 :
一个用于可延迟推理的SILK图形用户界面,带有一个生物因果过程示例。 ISWC(海报和演示) 2010
2000 – 2009
2009 [公元31年] 惠婉 , 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 , 梁森林 :
缺省逻辑程序设计和论证理论。 ICLP公司 2009 : 432-448 [c30] 本杰明·格罗夫 :
SILK:具有默认值和语义可伸缩性的高级规则。 右后 2009 : 24-25 2007 [j8] Aykut Firat公司 , 斯图亚特·马德尼克 , 本杰明·格罗夫 :
eCOIN语义互操作性框架中本体的上下文对齐。 技术信息。 管理。 8 ( 1 ) : 47-63 ( 2007 ) 2005 [公元29年] 苏米特·班萨利 , 本杰明·格罗夫 :
使用SweetRules和RuleML扩展电子采购的SweetDeal方法。 规则ML 2005 : 113-129 [公元28年] 马丁·奥康纳 , 霍尔格·克努布劳赫 , 萨姆森·W·图 , 本杰明·格罗夫 , 迪恩 , 威廉·格罗索 , 马克·穆森 :
使用SWRL支持语义Web上的规则系统互操作性。 ISWC公司 2005 : 974-986 [公元27年] 哈罗德·博利 , 迪恩 , 本杰明·格罗夫 , 迈克尔·基弗 , Said Tabet公司 , 格德·瓦格纳 :
RuleML立场声明。 用于互操作性的规则语言 2005 [公元26年] 本杰明·格罗夫 , 迈克尔·基弗 , 大卫·L·马丁 :
语义Web服务语言(SWSL)中的规则:标准化方向概述。 用于互操作性的规则语言 2005 2004 [j7] 本杰明·格罗夫 :
通过RuleML中的情境礼貌逻辑程序表示电子商务规则。 电子。 商业。 Res.Appl.研究申请。 三 ( 1 ) : 2-20 ( 2004 ) [j6] 本杰明·格罗夫 , 特伦斯·C·潘 :
SweetDeal:使用语义Web规则、本体论和过程描述来表示具有例外的代理合同。 国际电子杂志。 商业。 8 ( 4 ) : 61-97 ( 2004 ) 2003 [j5] 伊恩·霍罗克斯 , 尤尔根·安吉尔 , 斯特凡·戴克 , 迈克尔·基弗 , 本杰明·格罗夫 , 格德·瓦格纳 :
规则在哪里? IEEE智能。 系统。 18 ( 5 ) : 76-83 ( 2003 ) 【j4】 李宁辉 , 本杰明·格罗夫 , 琼·费根鲍姆 :
委托逻辑:一种基于逻辑的分布式授权方法。 ACM事务处理。 信息系统。 安全。 6 ( 1 ) : 128-171 ( 2003 ) [公元25年] 本杰明·格罗夫 , 伊恩·霍洛克斯 , 拉斐尔·沃尔兹 , 斯特凡·戴克 :
描述逻辑程序:将逻辑程序与描述逻辑相结合。 万维网 2003 : 48-57 [公元24年] 本杰明·格罗夫 , 特伦斯·C·潘 :
SweetDeal:使用XML规则、本体和流程描述表示带有异常的代理合同。 万维网 2003 : 340-349 2002 [j3] 丹尼尔·里夫斯 , 迈克尔·威尔曼 , 本杰明·格罗夫 :
声明性合同描述的自动谈判。 计算。 智力。 18 ( 4 ) : 482-500 ( 2002 ) 【c23】 Aykut Firat公司 , 斯图亚特·马德尼克 , 本杰明·格罗夫 :
知识整合以克服本体异质性:来自财务信息系统的挑战。 ICIS公司 2002 : 17 [公元22年] 本杰明·格罗夫 , 马赫什·D·甘地 , 蒂莫西·菲宁 :
SweetJess:将DAMLRuleML翻译为JESS。 规则ML 2002 【c21】 本杰明·格罗夫 , 特伦斯·C·潘 :
使用XML规则、本体和过程描述表示带例外的代理合同。 规则ML 2002 2001 [注2] 伊夫·莱斯佩伦斯 , 格德·瓦格纳 , 威廉·伯明翰 , 库尔特·博拉克 , 亚历山大·纳雷耶克 , J.保罗·沃尔泽 , 大卫·W·阿哈 , 蒂莫西·W·菲宁 , 本杰明·格罗夫 , 纳塔莉·贾普科维奇 , 罗伯特·霍尔特 , 莉斯·盖托 , 卡拉·戈麦斯 , 霍尔格·H·胡斯 , 阿兰·舒尔茨 , 米罗斯拉夫·库巴特 , 汤姆·米切尔 , 约格·登津格 , 尤兰达·吉尔 , 凯伦·迈尔斯 , 克劳迪奥·贝蒂尼 , 安吉洛·蒙塔纳里 :
AAAI 2000研讨会报告。 人工智能杂志。 22 ( 1 ) : 127-136 ( 2001 ) [公元20年] 丹尼尔·里夫斯 , 迈克尔·威尔曼 , 本杰明·格罗夫 :
根据声明性合同描述进行自动协商。 代理人 2001 : 51-58 2000 [第19条] 本杰明·格罗夫 , 亚尼斯·拉布 :
一种将XML和基于规则的内容语言与代理通信语言结合使用的方法。 Agent通信中的问题 2000 : 96-117 [第18条] 李宁辉 , 本杰明·格罗夫 , 琼·费根鲍姆 :
一种切实可行且可追踪的委托逻辑。 标准普尔 2000 : 27-42
1990 – 1999
1999 [第17条] 本杰明·格罗夫 :
DIPLOMAT:将优先默认规则编译成普通逻辑程序,用于电子商务应用。 AAAI/IAAI公司 1999 : 912-913 [第16条] 李宁辉 , 琼·费根鲍姆 , 本杰明·格罗夫 :
一种基于逻辑的授权知识表示方法。 CSFW公司 1999 : 162-174 [第15条] 本杰明·格罗夫 , 亚尼斯·拉布 , Hoi Y.Chan先生 :
合同中业务规则的声明性方法:XML中的礼貌逻辑程序。 欧盟委员会 1999 : 68-77 1998 [c14] 杰弗里·科珀特 , 詹姆斯·汉森 , 大卫·W·莱文 , 本杰明·格罗夫 , 雅卡·赛拉梅什 , 理查德·西格尔 , 史蒂夫·怀特 :
信息过滤经济的动态。 中央情报局 1998 : 160-171 [第13条] 杰弗里·科珀特 , 詹姆斯·汉森 , 德夫雷·奥·莱文 , 本杰明·格罗夫 , 贾卡·赛拉梅什 , 理查德·西格尔 , 史蒂夫·怀特 :
信息经济中的紧急行为。 国际资本市场协会 1998 : 441-442 1997 [第12条] 本杰明·格罗夫 :
构建商业代理:IBM研究视角。 PAAM公司 1997 : 1-6 [第11条] 本杰明·格罗夫 :
逻辑程序的优先级冲突处理。 仪表着陆点 1997 : 197-211 1995 [j1] 大卫·M·国际象棋 , 本杰明·格罗夫 , 科林·哈里森 , 大卫·W·莱文 , 柯林·帕里斯 , 基因Tsudik :
移动计算的巡回代理。 IEEE有线。 Commun公司。 2 ( 5 ) : 34-49 ( 1995 ) [第10条] 本杰明·格罗夫 , 大卫·W·莱文 , Hoi Y.Chan先生 , 柯林·帕里斯 , 约书亚·S·奥尔巴赫 :
用于在信息代理中嵌入基于规则的智能的可重用体系结构。 CIKM信息代理研讨会 1995 : 10:1-10:7 【c9】 本杰明·格罗夫 :
将优先级默认值和特定性转换为并行默认值。 阿拉伯联合酋长国 1995 : 217-228 1992 【b1】 本杰明·格罗夫 :
非单调理论的更新和结构。 IBM、, 研究报告/RC/IBM/IBM研究部/T.J.Watson研究中心 20683, 1992 第I-XIII页,1-431页 1991 【c8】 本杰明·格罗夫 :
概括优先级。 韩国 1991 : 289-300
1980 – 1989
1989 【c7】 本杰明·格罗夫 , 斯图尔特·拉塞尔 :
结构域的声明性偏差。 毫升 1989 : 480-482 【c6】 本杰明·格罗夫 :
可推迟的推理和不确定性:评论。 阿拉伯联合酋长国 1989 : 61-66 1987 【c5】 斯图亚特·罗素 , 本杰明·格罗夫 :
概念学习中偏见的陈述式方法。 AAAI公司 1987 : 505-510 1986 【c4】 本杰明·格罗夫 :
概率推理中的非单调性。 阿拉伯联合酋长国 1986 : 237-250 1985 【c3】 本杰明·格罗夫 :
作为转换概率的证据确证:关于先验和更新的二重性。 阿拉伯联合酋长国 1985 : 153-166 【c2】 本杰明·格罗夫 :
概率知识的不等式范式:条件概率区间的逻辑。 阿拉伯联合酋长国 1985 : 259-278 1984 【c1】 本杰明·格罗夫 :
默认推理为限制。 核磁共振 1984 : 115-124
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)