法里巴·萨德里
人员信息
附属: 英国伦敦帝国理工学院
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [第3页] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 米盖尔·卡列霍 , Jacinto A.达维拉 :
在LPS中结合逻辑编程和命令编程。 序言:未来50年 2023 : 210-223 2022 [公元17年] Krysia Broda公司 , 法里巴·萨德里 , 史蒂芬·巴特勒 :
反应式答案集编程。 理论与实践。 日志。 程序。 22 ( 三 ) : 367-418 ( 2022 ) 2021 [i6] Krysia Broda公司 , 法里巴·萨德里 , 史蒂芬·巴特勒 :
反应式答案集编程。 CoRR公司 abs/2109.10633 ( 2021 )
2010 – 2019
2019 [公元16年] Jan Wielemaker公司 , 法布里齐奥·里古齐 , 罗伯特·科瓦尔斯基 , 托比约恩啤酒 , 法里巴·萨德里 , 米盖尔·卡列霍 :
使用SWISH实现基于逻辑语言的交互式网络教程。 理论与实践。 日志。 程序。 19 ( 2 ) : 229-261 ( 2019 ) [电子10] Ioannis Chatzigiannakis公司 , 法里巴·萨德里 , 斯坦·汉克 , 马库斯·加沙尔 , 朱莉娅·希梅尔斯巴赫 , 阿里斯·拉洛斯 , 海伦·C·勒利古 , 乔治奥斯·米洛纳斯 , Katja Neureiter公司 , 安东尼奥·斯科尔梅塔 :
第一期行为改变和环境智能可持续性研讨会, AmI的大脑 2018年,第二届与虚拟人物和机器人情感互动研讨会, WS-AFFIN@AmI公司 2018年,塞浦路斯拉纳卡。 理论计算机科学电子笔记 343, 爱思维尔 2019 [目录] 2018 [公元40年] Ioannis Chatzigiannakis公司 , 法里巴·萨德里 , 斯坦·汉克 , 马库斯·加沙尔 , 朱莉娅·希梅尔斯巴赫 , 阿里斯·拉洛斯 , 海伦·C·勒利古 , 乔治奥斯·米洛纳斯 , Katja Neureiter公司 , 安东尼奥·斯科尔梅塔 :
前言。 大脑/ WS-AFFIN@AmI公司 2018 : 1-2 [i5] Jan Wielemaker公司 , 法布里齐奥·里古齐 , 鲍勃·科瓦尔斯基 , 托比约恩啤酒 , 法里巴·萨德里 , 米盖尔·卡列霍 :
使用SWISH实现基于逻辑语言的交互式网络教程。 CoRR公司 腹肌/1808.08042 ( 2018 ) 2017 [公元39年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 米盖尔·卡列霍 :
如何使用LPS(基于逻辑的生产系统)实现这一点。 规则ML+RR(补充) 2017 [电子9] 尼克·巴西利亚德斯 , 安东尼斯·比卡基斯 , 斯蒂芬妮娅·科斯坦蒂尼 , 恩里科·弗兰科尼 , 阿德里安·朱尔卡 , 罗曼·孔查科夫 , 西奥多·帕科斯 , 法里巴·萨德里 , 威廉·范·温塞尔 :
2017年7月11日至15日在英国伦敦举行的2017年规则与推理国际联合会议(RuleML+RR 2017)主办的2017年RuleML+RR博士联盟会议记录、挑战、行业跟踪、教程和海报。 CEUR研讨会记录 1875, CEUR-WS.org公司 2017 [目录] [电子8] 斯蒂芬妮娅·科斯坦蒂尼 , 恩里科·弗兰科尼 , 威廉·范·温塞尔 , 罗曼·孔查科夫 , 法里巴·萨德里 , Dumitru罗马 :
规则和推理——国际联合会议,2017年7月12日至15日,英国伦敦,RuleML+RR 2017,会议记录。 计算机科学课堂讲稿 10364, 施普林格 2017 ,十亿 978-3-319-61251-5 [目录] 2016 [公元15年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
没有逻辑编程的逻辑编程。 理论与实践。 日志。 程序。 16 ( 三 ) : 269-295 ( 2016 ) [公元38年] 法里巴·萨德里 :
基于可执行逻辑的LPS绞吸式疏浚模型。 规则ML(补充) 2016 [i4] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
没有逻辑编程的逻辑编程。 CoRR公司 abs/1601.00529 ( 2016 ) 2015 [公元14年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应计算作为模型生成。 新一代。 计算。 33 ( 1 ) : 33-67 ( 2015 ) [电子7] 尼克·巴西利亚德斯 , 保罗·福多 , 阿德里安·朱尔卡 , 乔治·戈特洛布 , 托马斯·克里格 , 格里戈兹·J·纳勒帕 , 莫妮卡·帕尔米拉尼 , 阿德里安·帕斯克 , 马克·普罗克托 , Dumitru罗马 , 法里巴·萨德里 , 内纳德·斯托亚诺维奇 :
2015年8月2日至5日在德国柏林举行的第九届国际网络规则研讨会(RuleML 2015)主办的《2015年规则手册挑战》、《数据网络基于规则的推荐系统特别跟踪》、《特殊行业跟踪》和《2015年规则手册博士联盟》会议记录。 CEUR研讨会记录 1417, CEUR-WS.org公司 2015 [目录] [电子6] 尼克·巴西利亚德斯 , 乔治·戈特洛布 , 法里巴·萨德里 , 阿德里安·帕斯克 , Dumitru罗马 :
规则技术:基础、工具和应用——第九届国际研讨会,RuleML 2015,德国柏林,2015年8月2-5日,会议记录。 计算机科学课堂讲稿 9202, 施普林格 2015 ,十亿 978-3-319-21541-9 [目录] 2014 [公元37年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应系统语言的逻辑特征。 规则ML 2014 : 22-36 [i3] 安东尼斯·卡卡斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 科斯塔斯统计局 , 弗朗西丝卡·托尼 :
KGP代理的计算逻辑基础。 CoRR公司 abs/1401.3443 ( 2014 ) 2012 [公元36年] 法里巴·萨德里 , 王伟坤 , 阿芙罗迪蒂·沙菲 :
聚类的意图识别。 AmI公司 2012 : 379-384 [公元35年] 胡安·卡洛斯·奥古斯托 , 蒂博尔·博斯 , 克里斯蒂亚诺·卡斯特弗朗奇 , 戴安·库克 , Mark A.Neerincx公司 , 法里巴·萨德里 :
第六届环境智能中的人的方面国际研讨会(HAI 2012)。 AmI公司 2012 : 449-450 [公元34年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
远程反应诱骗逻辑程序。 逻辑程序、规范和行动 2012 : 12-32 [公元33年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
反应系统的基于逻辑的框架。 规则ML 2012 : 1-15 【第2页】 法里巴·萨德里 :
环境智能代理中的意图识别:基于逻辑的方法。 代理和环境智能 2012 : 197-236 2011 [j13] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
具有破坏性数据库的劫持逻辑编程代理。 安。数学。 Artif公司。 智力。 62 ( 1-2 ) : 129-158 ( 2011 ) [公元12年] 法里巴·萨德里 :
环境情报:一项调查。 ACM计算。 Surv公司。 43 ( 4 ) : 36:1-36:66 ( 2011 ) [公元32年] 法里巴·萨德里 :
基于事件演算图和证据权重的意图识别。 ICAART(1) 2011 : 470-475 [i2] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
协商资源的社会最优分配。 CoRR公司 abs/1109.6340 ( 2011 ) 2010 [公元11年] 法里巴·萨德里 , 科斯塔斯统计局 :
环境智能人工社会专刊编辑导论。 计算。 J。 53 ( 8 ) : 1136-1137 ( 2010 ) [公元31年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
一种具有破坏性赋值和模型理论语义的Agent语言。 CLIMA公司 2010 : 200-218 [c30] 法里巴·萨德里 :
事件演算图的意图识别。 网络智能/IAT研讨会 2010 : 386-391
2000 – 2009
2009 [公元10年] 保罗·曼卡雷拉 , 贾科莫·特雷尼 , 法里巴·萨德里 , 弗朗西丝卡·托尼 , 乌尔·恩德里斯 :
约束外推逻辑编程的CIFF证明过程:理论、实现和实验。 理论与实践。 日志。 程序。 9 ( 6 ) : 691-750 ( 2009 ) [公元29年] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
在诱拐逻辑编程代理中集成逻辑编程和生成系统。 右后 2009 : 1-23 [电子5] 迈克尔·菲希尔 , 法里巴·萨德里 , 迈克尔·泰尔舍尔 :
多代理系统中的计算逻辑,第九届国际研讨会,CLIMA IX,德国德累斯顿,2008年9月29日至30日。 修订精选论文和邀请论文。 计算机科学课堂讲稿 5405, 施普林格 2009 ,十亿 978-3-642-02733-8 [目录] [r1] 法里巴·萨德里 , 科斯塔斯统计局 :
环境智能。 人工智能百科全书 2009 : 85-91 [i1] 保罗·曼卡雷拉 , 贾科莫·特雷尼 , 法里巴·萨德里 , 弗朗西丝卡·托尼 , 乌尔里希·恩德里斯 :
约束外推逻辑程序设计的CIFF证明程序:理论、实现和实验。 CoRR公司 abs/0906.1182 ( 2009 ) 2008 [公元9年] 安东尼斯·卡卡斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 科斯塔斯·斯塔蒂斯 , 弗朗西丝卡·托尼 :
KGP代理的计算逻辑基础。 J.阿蒂夫。 智力。 物件。 33 : 285-348 ( 2008 ) [电子4] 法里巴·萨德里 , 肯·佐藤 :
多代理系统中的计算逻辑,第八届国际研讨会,CLIMA VIII,葡萄牙波尔图,2007年9月10日至11日。 修订精选论文和邀请论文。 计算机科学课堂讲稿 5056, 施普林格 2008 ,十亿 978-3-540-88832-1 [目录] 2007 [公元28年] 蒂博尔·博斯 , 克里斯蒂亚诺·卡斯特弗兰奇 , Mark A.Neerincx公司 , 法里巴·萨德里 , 扬·特雷尔 :
第一届环境情报中的人类因素国际研讨会:前言。 AmI研讨会 2007 : 261 [公元27年] 法里巴·萨德里 :
多代理协作规划和信息收集。 中央情报局 2007 : 72-88 [公元26年] 保罗·曼卡雷拉 , 法里巴·萨德里 , 贾科莫·特雷尼 , 弗朗西丝卡·托尼 :
CIFF中的编程应用程序。 低密度核磁共振 2007 : 284-289 2006 [j8] 法里巴·萨德里 , 科斯塔斯统计局 , 弗朗西丝卡·托尼 :
标准KGP代理。 计算。 数学。 器官。 理论 12 ( 2-3 ) : 101-126 ( 2006 ) [j7] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
协商资源的社会最优分配。 J.阿蒂夫。 智力。 物件。 25 : 315-348 ( 2006 ) [公元25年] 法里巴·萨德里 , 弗朗西丝卡·托尼 :
诱导逻辑程序设计中的交叉信念更新与推理。 ECAI公司 2006 : 442-446 [公元24年] 法里巴·萨德里 , 弗朗西丝卡·托尼 :
KGP代理的形式化分析。 杰莉亚 2006 : 413-425 2005 【c23】 法里巴·萨德里 :
使用KGP代理模型设计应用程序(教程文件)。 CLIMA公司 2005 : 165-185 [公元22年] 法里巴·萨德里 , 弗朗西丝卡·托尼 :
基于逻辑的代理中通过配置文件的行为多样性。 CLIMA公司 2005 : 206-225 【c21】 法里巴·萨德里 , 弗朗西丝卡·托尼 , 科斯塔斯统计局 :
标准KGP制剂:初步报告。 挪威 2005 : 85-96 2004 [公元20年] 安东尼斯·卡卡斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 科斯塔斯统计局 , 弗朗西丝卡·托尼 :
声明性代理控制。 CLIMA公司 2004 : 96-110 [第19条] 保罗·曼卡雷拉 , 法里巴·萨德里 , 贾科莫·特雷尼 , 弗朗西丝卡·托尼 :
为情境代理进行部分规划。 CLIMA公司 2004 : 230-248 [第18条] 安东尼斯·卡卡斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 科斯塔斯统计局 , 弗朗西丝卡·托尼 :
KGP代理模型。 ECAI公司 2004 : 33-37 [第17条] 安德烈亚·布拉夏利 , 新植物Demetriou , 乌尔里希·恩德里斯 , 安东尼斯·卡卡斯 , 文锦路 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 科斯塔斯统计局 , 贾科莫·特雷尼 , 弗朗西丝卡·托尼 :
全球计算机构的KGP模型:计算模型和原型实现。 全球计算 2004 : 340-367 [第16条] 乌尔里希·恩德里斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 贾科莫·特雷尼 , 弗朗西丝卡·托尼 :
约束外推逻辑程序设计的CIFF证明过程。 杰莉亚 2004 : 31-43 [第15条] 乌尔里希·恩德里斯 , 保罗·曼卡雷拉 , 法里巴·萨德里 , 贾科莫·特雷尼 , 弗朗西丝卡·托尼 :
使用CIFF的诱拐逻辑编程:系统描述。 杰莉亚 2004 : 680-684 2003 [j6] 尤尔根·迪克斯 , 法里巴·萨德里 , 肯·佐藤 :
导言。 安。数学。 Artif公司。 智力。 37 ( 1-2 ) : 1-3 ( 2003 ) [c14] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
基于逻辑的代理通信协议。 代理通信语言研讨会 2003 : 91-107 [第13条] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
关于资源谈判的最佳结果。 美国航空航天局 2003 : 177-184 [第12条] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
代理间对话中协议一致性的方面。 美国航空航天局 2003 : 982-983 [第11条] 乌尔里希·恩德里斯 , 尼古拉斯·莫代特 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
基于逻辑的代理的协议一致性。 国际JCAI 2003 : 679-684 [第10条] 法里巴·萨德里 , 弗朗西丝卡·托尼 , 保罗·托罗尼 :
资源共享的谈判代理侵入最小。 国际JCAI 2003 : 796-804 2002 【c9】 法里巴·萨德里 , 弗朗西丝卡·托尼 , 保罗·托罗尼 :
谈判代理的诱拐逻辑编程体系结构。 杰莉亚 2002 : 419-431 [电子3] 安东尼斯·卡卡斯 , 法里巴·萨德里 :
计算逻辑:逻辑编程及其以外,罗伯特·A·科瓦尔斯基的论文,第一部分。 计算机科学课堂讲稿 2407, 施普林格 2002 ,十亿 3-540-43959-5 [目录] [电子2] 安东尼斯·卡卡斯 , 法里巴·萨德里 :
《计算逻辑:逻辑编程及其超越》,罗伯特·科瓦尔斯基荣誉论文,第二部分。 计算机科学课堂讲稿 2408, 施普林格 2002 ,十亿 3-540-43960-9 [目录] 2001 [j5] Krzysztof R.Apt公司 , 安东尼斯·卡卡斯 , 法里巴·萨德里 :
编辑。 ACM事务处理。 计算。 日志。 2 ( 4 ) : 431 ( 2001 ) 【c8】 法里巴·萨德里 , 弗朗西丝卡·托尼 , 保罗·托罗尼 :
谈判对话:代理人种类和对话顺序。 安乐 2001 : 405-421 2000 [电子1] 肯·佐藤 , 法里巴·萨德里 :
CL-2000多智能体系统中的计算逻辑研讨会(CLIMA-00),英国伦敦,2000年7月24-25日。 2000 [目录]
1990 – 1999
1999 【j4】 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
从逻辑编程到多代理系统。 安。数学。 Artif公司。 智力。 25 ( 3-4 ) : 391-419 ( 1999 ) 【c7】 法里巴·萨德里 , 弗朗西丝卡·托尼 :
因主动和被动规则的失效而实施的否定绑架。 AI*IA公司 1999 : 49-60 1998 【c6】 皮耶朗基罗·德尔·阿夸 , 法里巴·萨德里 , 弗朗西丝卡·托尼 :
将反思和沟通与主体的理性和反应性结合起来。 杰莉亚 1998 : 17-32 1997 [j3] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
事件演算与情境演算的协调。 J.日志。 程序。 31 ( 1-3 ) : 39-58 ( 1997 ) 1996 【c5】 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
走向将理性与反应性相结合的统一代理体系结构。 数据库中的逻辑 1996 : 137-149 1995 【c4】 法里巴·萨德里 , 罗伯特·科瓦尔斯基 :
事件演算的变体。 ICLP公司 1995 : 67-81 1994 【c3】 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
情境演算与事件演算的比较。 仪表着陆点 1994 : 539-553 1991 [注2] 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
有例外的逻辑程序。 新一代。 计算。 9 ( 3/4 ) : 387-400 ( 1991 ) 1990 【c2】 罗伯特·科瓦尔斯基 , 法里巴·萨德里 :
有例外的逻辑程序。 ICLP公司 1990 : 598-613
1980 – 1989
1988 【b1】 法里巴·萨德里 :
一种理论证明的数据库完整性方法。 英国伦敦帝国理工学院, 1988 [第1页] 法里巴·萨德里 , 罗伯特·科瓦尔斯基 :
数据库完整性的一种定理证明方法。 演绎数据库和逻辑编程基础。 1988 : 313-362 1987 【c1】 罗伯特·科瓦尔斯基 , 法里巴·萨德里 , 保罗·索珀 :
演绎数据库中的完整性检查。 超大规模数据库 1987 : 61-69 1986 [j1] 马雷克·塞尔戈特 , 法里巴·萨德里 , 罗伯特·科瓦尔斯基 , F.克里瓦切克 , 彼得·哈蒙德 , H.T.科里 :
英国国籍法是一个逻辑程序。 Commun公司。 ACM公司 29 ( 5 ) : 370-386 ( 1986 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)