保罗·福多
人员信息
附属: 美国纽约石溪大学
SPARQL查询
优化列表
2020年–今天
2023 [公元11年] 王玉恒 , 保罗·福多 , 迈克尔·基弗 :
规则和操作的知识创作。 理论与实践。 日志。 程序。 23 ( 4 ) : 797-811 ( 2023 ) [第1页] 本杰明·格罗夫 , 迈克尔·基弗 , 特蕾莎·斯威夫特 , 保罗·福多 , 珍妮·布隆菲尔德 :
Ergo:逻辑编程中的声明性探索。 序言:未来50年 2023 : 224-236 [电子12] 简·范蒂宁 , 托马斯·克里格 , 保罗·福多 , 戴维德·兰蒂 , 德瑟·阿恩特 , 埃戈尔·V·科斯蒂列夫 , 西奥多罗斯·米西卡斯 , 艾哈迈特·索鲁 :
2023年9月18日至20日,挪威奥斯陆,第17届国际规则挑战赛和第7届博士联盟@RuleML+RR 2023与第19届推理网络暑期学校(RW 2023)和第15届决策CAMP 2023合办,作为声明性AI 2023的一部分。 CEUR研讨会记录 3485, CEUR-WS.org公司 2023 [目录] [第14条] 萨姆·范德波尔 , 达科塔·兰伯特 , 卡琳娜·科斯蒂辛 , 田田高 , 拉胡尔·维尔玛 , 德里克·安徒生 , 乔安妮·周 , 艾米丽·彼得森 , 科迪·圣克莱尔 , 保罗·福多 , 柴田千弘 , 杰弗里·海因茨 :
MLRegTest:正则语言机器学习的基准。 CoRR公司 abs/2304.07687 ( 2023 ) [i13] 王玉恒 , 保罗·福多 , 迈克尔·基弗 :
规则和操作的知识创作。 CoRR公司 abs/2305.07763 ( 2023 ) 2022 [公元10年] 保罗·福多 , 马可·蒙塔利 :
《规则与推理国际联席会议专题导论》,RuleML+RR 2019。 理论与实践。 日志。 程序。 22 ( 2 ) : 158-161 ( 2022 ) [公元26年] 王玉恒 , 乔治·博尔卡·塔西乌克 , 尼基尔·戈尔 , 保罗·福多 , 迈克尔·基弗 :
用事实英语创作知识。 ICLP技术交流/博士联盟 2022 : 107-122 2021 [电子11] 安德烈亚·福米萨诺 , 刘燕红(Annie Liu) , Bart Bogaerts公司 , 亚历克斯·布里克 , 维罗尼卡·达尔 , 卡米娜·多达罗 , 保罗·福多 , 吉安·卢卡·波扎托 , Joost Vennekens公司 , 能发周 :
第37届逻辑编程国际会议(技术通信),2021年ICLP技术通信,波尔图(虚拟事件),2021。 EPTCS系统 345, 2021 [目录] 2020 [公元9年] 迭戈·卡尔瓦内斯 , 保罗·福多 , 马可·蒙塔利 :
第三届规则与推理国际联席会议报告(RuleML+RR 2019)。 ACM SIGLOG新闻 7 ( 2 ) : 16-18 ( 2020 ) [电子10] Sotiris Moschoyiannis公司 , 保罗·福多 , 简·范蒂宁 , 丹妮拉·伊普里赞 , 尼古拉·尼古洛夫 , 弗朗西斯科·马丁·雷库尔达 , 伊昂·托马 :
第14届国际规则挑战赛、第4届博士联合会和第6届行业跟踪@RuleML+RR 2020的会议记录,与第16届推理网络暑期学校(RW 2020)第12届决策CAMP 2020联合举办,作为《2020年宣言性人工智能》的一部分,挪威奥斯陆(因新冠肺炎疫情而虚拟化),2020年6月29日至7月1日。 CEUR研讨会记录 2644, CEUR-WS.org公司 2020 [目录] [电子9] 弗朗西斯科·里卡 , 亚历山德拉·拉索 , 塞尔吉奥·格雷科 , 尼古拉·利昂 , 亚历山大·阿提基斯 , 格哈德·弗里德里希 , 保罗·福多 , 安吉丽卡·基米格 , 弗朗西丝卡·A·利西 , 马尔科·马拉泰阿 , 亚历山德拉·米利奥 , 法布里齐奥·里古齐 :
第36届逻辑编程(技术通信)国际会议论文集,ICLP技术通信2020,(技术通讯)UNICAL,Rende(CS),意大利,2020年9月18日至24日。 EPTCS系统 325, 2020 [目录]
2010 – 2019
2019 [j8] 田田高 , 保罗·福多 , 迈克尔·基弗 :
通过多题英语问答查询知识。 理论与实践。 日志。 程序。 19 ( 5-6 ) : 636-653 ( 2019 ) [电子8] 保罗·福多 , 马可·蒙塔利 , 迭戈·卡尔瓦内斯 , 杜米特鲁·罗曼 :
规则和推理——第三届国际联合会议,RuleML+RR 2019,意大利博尔扎诺,2019年9月16-19日,会议记录。 计算机科学课堂讲稿 11784, 施普林格 2019 ,国际标准图书编号 978-3-030-31094-3 [目录] [电子7] Bart Bogaerts公司 , 伊斯娃·爱德姆 , 保罗·福多 , 安德烈亚·福米萨诺 , 乔瓦姆巴蒂斯塔·伊安尼 , 丹妮拉·伊普里赞 , 格尔曼·维达尔 , 艾丽西娅·维拉纽埃娃 , 玛丽娜·德沃斯 , 杨芳凯 :
第35届逻辑编程国际会议(技术通信),ICLP 2019技术通信,美国新墨西哥州拉斯克鲁塞斯,2019年9月20日至25日。 EPTCS系统 306, 2019 [目录] [i12] 田田高 , 保罗·福多 , 迈克尔·基弗 :
通过多题英语问答查询知识。 CoRR公司 abs/1907.08176 ( 2019 ) 2018 [公元25年] 田田高 , 保罗·福多 , 迈克尔·基弗 :
基于规则推理的知识创作。 OTM会议(2) 2018 : 461-480 [公元24年] 田田高 , 保罗·福多 , 迈克尔·基弗 :
通过混合控制自然语言实现高精度问题解答。 威斯康星州 2018 : 17-24 [电子6] 亚历山德罗·达尔·帕洛 , 保罗·塔劳 , 内达·赛德洛伊 , 保罗·福多 :
第34届逻辑程序设计国际会议技术交流,2018年7月14日至17日,英国牛津。 OASIcs公司 64, 达格斯图尔-莱布尼兹·泽特鲁姆宫(Schloss Dagstuhl-Leibniz-Zentrum für Informatik) 2018 ,国际标准图书编号 978-3-95977-090-3 [目录] [电子5] 沃尔夫冈·费伯 , 保罗·福多 , 乔瓦尼·德加斯佩里斯 , 阿德里安·朱尔卡 , Kia Teymourian公司 :
2018年9月20日至26日,卢森堡,第二届规则与推理国际联合会议(RuleML+RR 2018)主办的博士联合会会议记录和挑战@RuleML+RR 2018。 CEUR研讨会记录 2204, CEUR-WS.org公司 2018 [目录] 2017 [j7] 保罗·福多 , 圭多总督府 , 何塞·朱利奥·阿尔弗雷斯 , 利奥波多·贝尔托西 :
RuleML(网络规则研讨会)2016年报告。 人工智能杂志。 38 ( 1 ) : 109-110 ( 2017 ) 【c23】 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 :
规则逻辑:具有可扩展深度推理的高度表达语义规则。 规则ML+RR(补充) 2017 2016 [j6] 保罗·福多 :
第十届国际网络规则研讨会(RuleML 2016)报告。 ACM SIGLOG新闻 三 ( 4 ) : 48-49 ( 2016 ) [j5] 安东尼斯·比卡基斯 , 保罗·福多 , 阿德里安·朱尔卡 , 利奥拉·摩根斯顿 :
2012-2014年国际网络规则专题讨论会专题介绍。 理论与实践。 日志。 程序。 16 ( 三 ) : 243-246 ( 2016 ) 【j4】 田田高 , 保罗·福多 , 迈克尔·基弗 :
超一致性和字谜。 理论与实践。 日志。 程序。 16 ( 5-6 ) : 703-720 ( 2016 ) [电子4] 何塞·朱利奥·阿尔弗雷斯 , 利奥波多·贝尔托西 , 圭多总督府 , 保罗·福多 , 杜米特鲁·罗曼 :
规则技术。 研究、工具和应用——第十届国际研讨会,RuleML 2016,Stony Brook,NY,USA,2016年7月6-9日。 诉讼程序。 计算机科学课堂讲稿 9718, 施普林格 2016 ,国际标准图书编号 978-3-319-42018-9 [目录] [i11] 田田高 , 保罗·福多 , 迈克尔·基弗 :
超一致性和字谜。 CoRR公司 abs/1608.01338 ( 2016 ) 2015 [公元22年] 本杰明·格罗夫 , 珍妮·布卢姆菲尔德 , 保罗·福多 , 迈克尔·基弗 , 艾萨克·格罗夫 , 米盖尔·卡列霍 , Terrance Swift公司 :
使用文本规则为金融监管/政策合规提供自动化决策支持。 挑战+ DC@规则ML 2015 【c21】 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 :
语义规则在规则语言中的作用:基本原理和最新进展(教程演示的扩展摘要)。 推理Web 2015 : 189-192 [e3] 尼克·巴西利亚德斯 , 保罗·福多 , 阿德里安·朱尔卡 , 乔治·戈特洛布 , 托马斯·克里格 , 格里戈兹·J·纳勒帕 , 莫妮卡·帕尔米拉尼 , 阿德里安·帕斯克 , 马克·普罗克托 , 杜米特鲁·罗曼 , 法里巴·萨德里 , 内纳德·斯托亚诺维奇 :
2015年8月2日至5日在德国柏林举行的第九届国际网络规则研讨会(RuleML 2015)主办的《2015年规则手册挑战》、《数据网络基于规则的推荐系统特别跟踪》、《特殊行业跟踪》和《2015年规则手册博士联盟》会议记录。 CEUR研讨会记录 1417, CEUR-WS.org公司 2015 [目录] 2014 [电子2] 安东尼斯·比卡基斯 , 保罗·福多 , 杜米特鲁·罗曼 :
网络规则。 从理论到应用——第八届国际研讨会,RuleML 2014,与第21届欧洲人工智能会议合办,ECAI 2014,布拉格,捷克共和国,2014年8月18-20日。 诉讼程序。 计算机科学课堂讲稿 8620, 施普林格 2014 ,国际标准图书编号 978-3-319-09869-2 [目录] 2013 [公元20年] 雷扎·巴塞达 , 迈克尔·基弗 , 约翰·凯恩 , 史蒂文·格林斯潘 , 保罗·福多 :
使用本体开发故障排除系统。 网络智能/IAT研讨会 2013 : 274-277 [第19条] 卡尔·安徒生 , 布雷特·本约 , 米盖尔·卡列霍 , 迪恩 , 保罗·福多 , 本杰明·格罗夫 , 迈克尔·基弗 , 梁森林 , Terrance Swift公司 :
规则库的高级知识库调试。 规则ML(2) 2013 [电子1] 保罗·福多 , 杜米特鲁·罗曼 , Darko动画 , 亚当·怀纳 , 莫妮卡·帕尔米拉尼 , 戴维德·索塔拉 , 弗朗索瓦·莱维 :
2013年7月11-13日,美国西雅图,第七届国际规则挑战赛、人类语言技术特别赛道和第三届RuleML博士联合会联合会议记录。 CEUR研讨会记录 1004, CEUR-WS.org公司 2013 [目录] [i10] 卡尔·安徒生 , 布雷特·本约 , 米盖尔·卡列霍 , 迪恩 , 保罗·福多 , 本杰明·格罗夫 , 迈克尔·基弗 , 梁森林 , Terrance Swift公司 :
了解丝绸中的规则计算。 CoRR公司 abs/1308.4125 ( 2013 ) 2012 [j3] 达科动画 , 塞巴斯蒂安·鲁道夫 , 保罗·福多 , 内纳德·斯托亚诺维奇 :
实时复杂事件识别与推理——一种逻辑编程方法。 申请。 Artif公司。 智力。 26 ( 1-2 ) : 6-57 ( 2012 ) [注2] 亚当·拉利 , 约翰·布拉格 , 迈克尔·C·麦考德 , 布拉尼米尔·博古拉耶夫 , Siddharth Patwardhan先生 , 詹姆斯·范 , 保罗·福多 , 詹妮弗·朱·卡罗尔 :
问题分析:沃森是如何解读线索的。 IBM J.研究开发。 56 ( 三 ) : 2 ( 2012 ) [j1] 达科动画 , 塞巴斯蒂安·鲁道夫 , 保罗·福多 , 内纳德·斯托亚诺维奇 :
ETALIS中的流推理和复杂事件处理。 语义Web 三 ( 4 ) : 397-407 ( 2012 ) 2011 [第18条] 保罗·福多 , 迈克尔·基弗 :
缺省事务逻辑和论证理论。 ICLP(技术通信) 2011 : 162-174 [第17条] 保罗·福多 , 达科动画 , 塞巴斯蒂安·鲁道夫 :
无序事件处理的结果。 焊盘 2011 : 220-234 [第16条] 达科动画 , 塞巴斯蒂安·鲁道夫 , 保罗·福多 , 内纳德·斯托亚诺维奇 :
可伸缩复杂事件处理和流推理。 RuleML欧洲 2011 : 122-137 [第15条] 达科动画 , 塞巴斯蒂安·鲁道夫 , 保罗·福多 , 内纳德·斯托亚诺维奇 :
用于根据事件流匹配迭代和聚合模式的声明性框架。 RuleML欧洲 2011 : 138-153 [第14条] Darko动画 , 保罗·福多 , 塞巴斯蒂安·鲁道夫 , 内纳德·斯托亚诺维奇 :
EP-SPARQL:用于事件处理和流推理的统一语言。 万维网 2011 : 635-644 2010 [第13条] 保罗·福多 , 迈克尔·基弗 :
事务逻辑的表格。 PPDP(PPDP) 2010 : 199-208 [第12条] 达科动画 , 保罗·福多 , 塞巴斯蒂安·鲁道夫 , 罗兰·施图默 , 内纳德·斯托亚诺维奇 , 鲁迪·斯图德 :
用于复杂事件处理和推理的基于规则的语言。 相对应力 2010 : 42-57
2000 – 2009
2009 [第11条] 保罗·福多 :
表事务逻辑合理性的初始结果。 AAAI春季研讨会:智能事件处理 2009 : 52-53 [第10条] 达科动画 , 保罗·福多 , 罗兰·施图默 , 内纳德·斯托亚诺维奇 :
基于逻辑的复杂事件处理的事件驱动方法。 CSE(1) 2009 : 56-63 【c9】 达科动画 , 保罗·福多 , 内纳德·斯托亚诺维奇 , 罗兰·施图默 :
一种用于数据驱动和基于逻辑的复杂事件处理的方法。 DEBS公司 2009 【c8】 达科动画 , 保罗·福多 , 内纳德·斯托亚诺维奇 , 罗兰·施图默 :
以事件驱动和基于逻辑的方法计算复杂事件。 DEBS公司 2009 【c7】 惠婉 , 本杰明·格罗夫 , 迈克尔·基弗 , 保罗·福多 , 梁森林 :
缺省逻辑程序设计和论证理论。 ICLP公司 2009 : 432-448 【c6】 保罗·福多 :
研究摘要:事务逻辑程序的表格评估。 ICLP公司 2009 : 525-526 【c5】 梁森林 , 保罗·福多 , 惠婉 , 迈克尔·基弗 :
OpenRuleBench:对规则引擎性能的分析。 万维网 2009 : 601-610 [第九章] 迪普蒂卡利安·萨哈 , 保罗·福多 :
使用低级线程原语对逻辑程序进行简单高效的显式并行化。 CoRR公司 abs/0912.3510 ( 2009 ) 2008 【c4】 保罗·福多 :
事务逻辑程序中事实查询和更新的现有量化值。 AAAI公司 2008 : 1798-1799 【c3】 保罗·福多 :
使用表格技术查询顺序和并发Horn事务逻辑程序。 AAAI公司 2008 : 1800-1801 【c2】 保罗·福多 :
Horn事务逻辑程序的优化和扩展。 AAAI公司 2008 : 1849-1850 [i8] 保罗·福多 :
表Prolog引擎上F-logic到OWL双向转换的初步结果。 CoRR公司 abs/0808.1721 ( 2008 ) [i7] 保罗·福多 , 亚当·拉利 , 大卫·费鲁奇 :
非结构化信息管理体系结构的Prolog接口。 CoRR公司 abs/0809.0680 ( 2008 ) 2007 [i6] 保罗·福多 :
事务逻辑程序的高效制表机制。 CoRR公司 abs/0709.1699 ( 2007 ) [i5] 保罗·福多 :
使用JavaScript的Portlet包装器。 CoRR公司 abs/cs/0703069 ( 2007 ) [i4] 保罗·福多 :
灵活的音频流。 CoRR公司 abs/cs/0703070 ( 2007 ) [i3] 保罗·福多 :
带有音频组件的XHTML页面的自动注释。 CoRR公司 abs/cs/0703071 ( 2007 ) [i2] 保罗·福多 :
决策过程的域导向对话框。 CoRR公司 abs/cs/0703072 ( 2007 ) [i1] 乔伊·杜塔 , 保罗·福多 :
Web应用程序开发的系统方法。 CoRR公司 abs/cs/0703080 ( 2007 ) 2006 【c1】 保罗·福多 , 胡安·韦尔塔 :
对话管理的规划和逻辑编程。 SLT公司 2006 : 214-217