罗伯特·德莫洛姆
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2022 [公元25年] 罗伯特·德莫洛姆 :
多重主体背景下的因果关系和责任。 拍打 9 ( 1 ) : 583-606 ( 2022 ) 2021 [公元24年] Jean-Marc Alliot公司 , Marta Cialdea Mayer公司 , 罗伯特·德莫隆贝 , 马丁·迪盖兹 , 路易斯·法利尼亚斯·德尔·塞罗 :
分子相互作用图建模框架。 拍打 8 ( 7 ) : 1917-1952 ( 2021 ) 2020 [i1] Jean-Marc Alliot公司 , Marta Cialdea Mayer公司 , 罗伯特·德莫洛姆 , 马丁·迪盖兹 , 路易斯·法利尼亚斯·德尔·塞罗 :
分子相互作用图建模框架。 CoRR公司 abs/2008.09546 ( 2020 )
2010 – 2019
2018 [公元23年] 罗伯特·德莫洛姆 :
关于两个人之间的关系。 拍打 5 ( 1 ) : 421-436 ( 2018 ) [公元22年] 罗伯特·德莫洛姆 :
中间物相互作用模式:无需倾注分析仪,系统复合体。 《情报艺术评论》。 32 ( 5-6 ) : 683-703 ( 2018 ) 2017 [公元21年] 罗伯特·德莫洛姆 :
沟通中的信任和代理。 J.应用。 非班级。 逻辑 27 ( 1-2 ) : 140-151 ( 2017 ) [j20] 塞雷内拉·塞里托 , Marta Cialdea Mayer公司 , 罗伯特·德莫洛姆 :
生物化学反应的时间溯源推理。 J.应用。 非班级。 逻辑 27 ( 3-4 ) : 269-291 ( 2017 ) [公元19年] 罗伯特·德莫洛姆 :
在沟通的背景下,对信任和相关性进行推理。 J.应用。 非班级。 逻辑 27 ( 3-4 ) : 292-303 ( 2017 ) 2016 [公元18年] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 , 纳吉·奥贝德 :
通过补全理论将一阶公式转化为基本公式。 J.应用。 日志。 15 : 130-149 ( 2016 ) [第2页] Jean-Marc Alliot公司 , 罗伯特·德莫隆贝 , 马丁·迪盖兹 , 路易斯·法利尼亚斯·德尔·塞罗 , 吉尔斯·法夫尔 , 让-查尔斯·费伊 , 纳吉·奥贝德 , 奥利维尔·索德特 :
生物系统的时间逻辑建模。 走向准一致工程 2016 : 205-226 2014 [公元17年] 莱拉·阿姆古德 , 罗伯特·德莫洛姆 :
一种基于论证的方法,用于推理信息源中的信任。 参数计算。 5 ( 2-3 ) : 191-215 ( 2014 ) [公元16年] 罗伯特·德莫洛姆 :
带有截止日期的义务:动态道义逻辑中的一种形式化。 J.日志。 计算。 24 ( 1 ) : 1-17 ( 2014 ) [公元65年] 罗伯特·德莫洛姆 :
沟通背景下的信任与代理。 欧洲标准协会 2014 : 3-15 2013 [公元64年] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 , 纳吉·奥贝德 :
具有抑制的代谢网络中的自动推理。 AI*IA公司 2013 : 37-47 2012 [公元63年] 罗伯特·德莫洛姆 :
多重代理背景下的因果关系。 DEON公司 2012 : 1-15 2011 [公元15年] 罗伯特·德莫洛姆 :
机构代理、人类代理或软件代理背景下的义务和行动之间的关系。 Artif公司。 智力。 法学 19 ( 2-3 ) : 99-115 ( 2011 ) [公元62年] 罗伯特·德莫洛姆 :
信息源中信任的传递性和传播:模态逻辑分析。 CLIMA公司 2011 : 13-28 2010 [公元14年] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 :
关于给定实体的信息:从语义到自动演绎。 J.日志。 计算。 20 ( 6 ) : 1231-1250 ( 2010 ) [第61条] 罗伯特·德莫洛姆 :
机构代理、人类代理或软件代理执行的操作之间的关系。 脱氧核糖核酸 2010 : 259-273
2000 – 2009
2009 [j13] 罗伯特·德莫洛姆 , 皮拉尔·波佐斯·帕拉 :
在情境演算中整合国家约束和义务。 智能工艺。 13 ( 41 ) : 54-63 ( 2009 ) [公元60年] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 :
如何使用自动扣除方法生成有关给定实体的信息。 LSFA公司 2009 : 19-31 2008 [公元59年] 埃米利亚诺·洛里尼 , 罗伯特·德莫洛姆 :
从二元信任到信息来源的分级信任:逻辑视角。 AAMAS-信任 2008 : 205-225 [公元58年] 埃米利亚诺·洛里尼 , 罗伯特·德莫洛姆 :
计算机安全背景下的信任和规范:逻辑形式化。 DEON公司 2008 : 50-64 [公元57年] 埃米利亚诺·洛里尼 , 罗伯特·德莫洛姆 :
从对信息来源的信任到对通信系统的信任:模态逻辑分析。 克拉马斯 2008 : 81-98 [公元56年] 安德烈亚斯·赫齐格 , 埃米利亚诺·洛里尼 , 乔米·弗雷德·胡布纳 , 乔纳森·本·奈姆 , 克里斯蒂亚诺·卡斯特弗朗奇 , 罗伯特·德莫洛姆 , 多米尼克·隆宁 , 劳伦特·维库特 :
信任和声誉逻辑的序言。 挪威 2008 : 143-157 2006 [公元55年] 罗伯特·德莫洛姆 , 文森特·路易斯 :
代理社会中具有制度效应的言语行为。 DEON公司 2006 : 101-114 [公元54年] 罗伯特·德莫洛姆 , 菲利普·布雷蒂尔 , 文森特·路易斯 :
动态道义逻辑中的带时限规范。 ECAI公司 2006 : 751-752 [公元53年] 罗伯特·德莫洛姆 , 玛丽亚·德尔·皮拉尔·波佐斯·帕拉 :
没有可信度水平的情境演算中的信念修正。 ISMIS系统 2006 : 504-513 [第52条] 罗伯特·德莫洛姆 , 文森特·路易斯 :
规范、制度权力和角色:走向逻辑框架。 ISMIS系统 2006 : 514-523 [第51条] 罗伯特·德莫洛姆 , 皮拉尔·波佐斯·帕拉 :
在情境演算中整合国家约束和义务。 LA-NMR公司 2006 2005 [公元50年] 罗伯特·德莫洛姆 , 安娜·玛丽亚·奥特明·费尔南德斯 :
识别执行程序的意图:一种基于概率的方法。 美国原子能机构 2005 : 1133-1134 [公元49年] 罗伯特·德莫洛姆 , 安娜·玛丽亚·奥特明·费尔南德斯 :
情境演算和概率论框架中的意图识别。 CLIMA公司 2005 : 358-372 [公元48年] 罗伯特·德莫洛姆 , 玛丽亚·德尔·皮拉尔·波佐斯·帕拉 :
奇肖姆悖论与情境演算。 ISMIS系统 2005 : 425-434 [公元47年] 罗伯特·德莫洛姆 , 文森特·路易斯 :
规范,Pouvoirs et Róles:逻辑形式化。 JFSMA公司 2005 : 51-63 2004 [公元46年] 玛丽亚·德尔·皮拉尔·波佐斯·帕拉 , 阿巴亚·纳亚克 , 罗伯特·德莫洛姆 :
情境演算框架下的意图理论。 DALT公司 2004 : 19-34 [公元45年] 罗伯特·德莫洛姆 , 安德烈亚斯·赫齐格 :
依赖逻辑和情境演算中的义务变化。 DEON公司 2004 : 57-73 [c44] 罗伯特·德莫洛姆 :
情境演算中从信仰转变到义务转变。 ECAI公司 2004 : 991-992 [公元43年] 罗伯特·德莫洛姆 :
关于信任的推理:一个形式逻辑框架。 iTrust公司 2004 : 291-303 2003 [公元12年] 罗伯特·德莫洛姆 :
抽象对象上用于汇总查询答案的扩展关系代数。 芬达姆。 信息学 57 ( 1 ) : 1-15 ( 2003 ) [公元11年] 罗伯特·德莫洛姆 , 安德烈亚斯·赫齐格 , 伊万·何塞·瓦尔津扎克 :
模态逻辑中的回归。 J.应用。 非班级。 逻辑 13 ( 2 ) : 165-185 ( 2003 ) [公元10年] 罗伯特·德莫洛姆 :
信念转变:从情境演算到模态逻辑。 J.应用。 非班级。 逻辑 13 ( 2 ) : 187-198 ( 2003 ) 2002 [公元42年] 罗伯特·德莫洛姆 , 埃尔万·哈蒙 :
代理正在执行典型程序意味着什么? 情境演算中的形式化定义。 美国原子能机构 2002 : 905-911 2001 [公元9年] 何塞·卡莫 , 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
道义逻辑在信息系统约束中的应用。 芬达姆。 信息学 48 ( 2-3 ) : 165-181 ( 2001 ) 2000 [公元41年] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 :
“类”句的逻辑表征 第页 关于Object c(c) ". 智能与计算逻辑 2000 : 85-99 [公元40年] 罗伯特·德莫洛姆 :
抽象对象以简洁的形式表示查询的大答案。 FQAS公司 2000 : 171-181 [公元39年] 罗伯特·德莫洛姆 , 玛丽亚·德尔·皮拉尔·波佐斯·帕拉 :
情境演算到认识逻辑的简单而可追溯的扩展。 ISMIS系统 2000 : 515-524
1990 – 1999
1999 [公元38年] 罗伯特·德莫洛姆 :
数据库有效性和完整性:模态逻辑中的另一种方法及其形式化。 KRDB公司 1999 : 11-13 1998 [公元37年] 罗伯特·德莫洛姆 :
关于数据有效性和完整性的答案:形式定义、用途和计算技术。 FQAS公司 1998 : 138-147 1997 [公元36年] 罗伯特·德莫洛姆 , 安德鲁·琼斯 , 何塞·卡莫 :
不同类型完整性约束的统一逻辑表示。 ECSQARU-FAPR公司 1997 : 614-620 [公元35年] 油炸杯 , 罗伯特·德莫隆贝 :
安全策略的模式逻辑框架。 ISMIS系统 1997 : 579-589 1996 [j8] 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
重新审视完整性约束。 日志。 J.IGPL公司 4 ( 三 ) : 369-383 ( 1996 ) [公元34年] 油炸杯 , 罗伯特·德莫洛姆 :
推理机密性的道义逻辑。 DEON公司 1996 : 66-79 [公元33年] 罗伯特·德莫洛姆 , 安德鲁·琼斯 , 何塞·卡莫 :
不同类型完整性约束的统一逻辑表示。 FMLDO公司 1996 : 157-164 [公元32年] 罗伯特·德莫洛姆 :
回答关于数据有效性和完整性的问题:从模态逻辑到关系代数。 FQAS公司 1996 : 265-276 [公元31年] 罗伯特·德莫洛姆 :
有效性查询和完整性查询。 ISMIS系统 1996 : 253-263 [第1页] 罗伯特·德莫洛姆 :
智能数据库中的不确定性。 信息系统中的不确定性管理 1996 : 89-154 1994 [公元30年] 劳伦斯·乔维 , 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
信息安全推理:从逻辑形式化到操作定义。 DAISD公司 1994 : 345-373 [公元29年] 劳伦斯·乔维 , 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
信息安全推理:从逻辑形式化到操作定义。 ISMIS系统 1994 : 488-499 1993 [公元28年] 西尔维·卡萨伦斯 , 罗伯特·德莫洛姆 :
智能数据检索专家系统定义指南。 BDA公司 1993 : 143-154 [公元27年] 罗伯特·德莫洛姆 , 安德鲁·琼斯 :
重新审查完整性约束(初步版本)。 DAISD公司 1993 : 309-333 [公元26年] 罗伯特·德莫洛姆 :
演绎数据库派生策略的统一框架。 计划免疫分析 1993 : 357 1992 [j7] 罗伯特·德莫洛姆 :
独立于域的公式子集的句法特征。 美国临床医学杂志 39 ( 1 ) : 71-94 ( 1992 ) [公元25年] 罗伯特·德莫洛姆 :
计算条件答案的策略。 CNKBS公司 1992 : 16-17 [公元24年] 罗伯特·德莫隆贝 :
条件答案的计算策略。 ECAI公司 1992 : 134-138 【c23】 西尔维·卡萨伦斯 , 罗伯特·德莫洛姆 :
通过用户感兴趣的主题智能访问数据和知识库。 IFIP大会(3) 1992 : 245-251 1991 [j6] 油炸杯 , 罗伯特·德莫洛姆 :
在合作答疑的背景下,将答案扩展到相邻实体。 Decis公司。 支持系统。 7 ( 1 ) : 1-11 ( 1991 ) [j5] 罗伯特·德莫洛姆 :
非天生演绎数据库的有效策略。 西奥。 计算。 科学。 78 ( 1 ) : 245-259 ( 1991 ) [公元22年] 罗伯特·德莫隆贝 , 路易斯·法利尼亚斯·德尔·塞罗 :
假设生成的推理规则。 国际JCAI 1991 : 152-157 【c21】 罗伯特·德莫洛姆 :
合作访问数据和知识库(摘要)。 超大规模数据库 1991 : 387 1990 [公元20年] 罗伯特·德莫洛姆 :
条件答案的计算策略。 DAISD公司 1990 : 49-71
1980 – 1989
1989 【j4】 罗伯特·德莫洛姆 , 阿兰扎·伊拉拉门迪 :
关系查询语法优化的启发式方法。 信息处理。 莱特。 32 ( 6 ) : 313-316 ( 1989 ) [j3] 油炸杯 , 罗伯特·德莫洛姆 :
如何识别有趣的话题以提供合作回答。 信息系统。 14 ( 2 ) : 163-173 ( 1989 ) [第19条] 罗伯特·德莫洛姆 :
非天生演绎数据库的有效策略。 IFIP大会 1989 : 325-330 1988 [注2] 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 :
不完备数据库中演绎的一种代数评价方法。 J.日志。 程序。 5 ( 三 ) : 183-206 ( 1988 ) [第18条] 油炸杯 , 罗伯特·德莫洛姆 :
评论重新审视了四个合作伙伴的内部中心。 BDA公司 1988 : 257-268 [第17条] 罗伯特·德莫洛姆 , 阿兰扎·伊拉拉门迪 , 何塞·米盖尔·布兰科 :
使用人工智能技术对数据库进行语义优化。 DS-3型 1988 : 519-528 [第16条] 油炸杯 , 罗伯特·德莫洛姆 :
合作回答:提供数据库智能访问的方法。 专家数据库会议。 1988 : 621-643 [第15条] 油炸杯 , 罗伯特·德莫洛姆 :
一个使用延迟求值的Prolog关系DBMS接口。 JCDKB公司 1988 : 135-148 1987 [第14条] 罗伯特·德莫隆贝 , 阿兰扎·伊拉拉门迪 , 何塞·米盖尔·布兰科 :
智能人工技术的优化利用。 BDA公司 1987 : 323-346 1986 [第13条] 劳伦斯·乔维 , 罗伯特·德莫洛姆 :
查询规则库。 专家数据库会议。 1986 : 477-485 [第12条] 罗伯特·德莫洛姆 :
STREL:结构化对象的扩展关系模型。 IFIP大会 1986 : 877-882 1985 [第11条] 罗伯特·德莫洛姆 :
STREL:模型关系的Une extension du modèle relationnel pour représenter et manipuler des objets structureés。 BDA公司 1985 [第10条] 罗伯特·德莫洛姆 , 基沃马斯·亚兹达尼安 :
模式完整,模式无可挽回地倾注于Données Relationelle基础模式。 BDA公司 1985 【c9】 罗伯特·德莫洛姆 , 路易斯·法利尼亚斯·德尔·塞罗 :
结构化对象不完整信息的有效表示。 知识库管理基础(Xania) 1985 : 73-89 1983 【c8】 罗伯特·德莫洛姆 :
如何提高关系数据库管理系统的性能。 IFIP大会 1983 : 229-233 【c7】 罗伯特·德莫洛姆 :
接口entre PROLOG et un SGBD。 斑点 1983 1982 [j1] 罗伯特·德莫洛姆 :
关系代数语言的广义除法。 信息处理。 莱特。 14 ( 4 ) : 174-178 ( 1982 ) 1980 【c6】 罗伯特·德莫洛姆 :
谓词演算语言中满足查询的元组数的估计。 超大规模数据库 1980 : 55-63
1970 – 1979
1979 【c5】 罗伯特·德莫洛姆 :
为谓词Caculus语言中表达的未定义查询赋值。 数据库理论的进展 1979 : 367-395 【c4】 罗伯特·德莫洛姆 :
谓词演算语言中问题的语义检验。 超大规模数据库 1979 : 444-450 1978 【c3】 罗伯特·德莫洛姆 , 米歇尔·莱马·特雷 , 珍妮·马里·尼古拉斯 :
SYNTEX-2的语言,一个实现的类似关系的DBMS。 耶路撒冷信息技术会议 1978 : 171-175 【c2】 米歇尔·阿迪巴 , Jean-Claude Chupin女士 , 罗伯特·德莫洛姆 , 乔治·加达林 , 让·勒比汉 :
分布式数据库管理系统中的问题:技术概述。 超大规模数据库 1978 : 89-110 【c1】 米歇尔·阿迪巴 , Jean-Claude Chupin女士 , 罗伯特·德莫洛姆 , 乔治·加达林 , 让·勒比汉 :
分布式数据库管理系统中的问题:技术概述。 VLDB调查 1978 : 127-153
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)