米歇尔·勒克莱尔
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元48年] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 纪尧姆·佩鲁提奥·基利 :
使用虚拟存在规则和映射的查询重写。 KR公司 2023 : 429-439 [i6] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 纪尧姆·佩鲁提奥·基利 :
使用析取存在规则和映射进行查询重写。 CoRR公司 abs/2306.05973 ( 2023 ) 2021 [j6] Stathis Delivorias公司 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 费德里科·尤利安纳 :
描述Chase变量中的有界性。 理论与实践。 日志。 程序。 21 ( 1 ) : 51-79 ( 2021 ) 2020 [i5] Stathis Delivorias公司 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 费德里科·尤利安纳 :
描述Chase变量中的有界性。 CoRR公司 abs/2004.10030 ( 2020 ) [i4] 皮埃尔·布赫斯 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 索菲·蒂森 , 费德里科·尤利安纳 , 莉莉·加洛瓦 :
存在规则的不经意有界性和半愉快有界性。 CoRR公司 abs/2006.08467 ( 2020 )
2010 – 2019
2019 [公元47年] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 , 费德里科·尤利安纳 :
线性存在规则上确定追赶终止的单一方法。 ICDT公司 2019 : 18:1-18:19 [公元46年] 皮埃尔·布赫斯 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 索菲·蒂森 , 费德里科·尤利安纳 , 莉莉·加洛瓦 :
存在规则的不经意有界性和半愉快有界性。 国际JCAI 2019 : 1581-1587 [公元45年] 米歇尔·切恩 , 阿兰·古铁雷斯 , 米歇尔·勒克莱尔 :
建立和评估权限链接质量的总体框架。 K-盖 2019 : 13-20 [公元44年] 纪尧姆·佩鲁提奥·基利 , 莎拉·贵子欧 , 费德里科·尤利安纳 , 米歇尔·勒克莱尔 , 杰罗姆·博内 :
基于布尔重组的设备。 TPNC公司 2019 : 82-94 2018 [公元43年] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 , 费德里科·尤利安纳 :
线性存在规则上确定追赶终止的单一方法。 描述逻辑 2018 [公元42年] Stathis Delivorias公司 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 费德里科·尤利安纳 :
存在性规则的k-有界性。 规则ML+RR 2018 : 48-64 [i3] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 , 费德里科·尤利安纳 :
线性存在规则上确定追赶终止的单一方法。 CoRR公司 abs/1810.02132 ( 2018 ) [i2] Stathis Delivorias公司 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 费德里科·尤利安纳 :
存在性规则的k-有界性。 CoRR公司 abs/1810.09304 ( 2018 ) 2016 [公元41年] 米歇尔·勒克莱尔 , 玛丽·劳蕾·穆格尼尔 , 费德里科·尤利安纳 :
关于有界正存在性规则。 描述逻辑 2016 2015 [j5] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 :
针对存在规则的健全、完整和最小的UCQ重写。 语义Web 6 ( 5 ) : 451-475 ( 2015 ) [公元40年] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
使用编译的预订单查询重写现有规则。 国际JCAI 2015 : 3106-3112 [公元39年] Jean-François Baget女士 , 阿兰·古铁雷斯 , 米歇尔·勒克莱尔 , 玛丽·劳蕾·穆格尼尔 , 斯旺·罗彻 , Clément Sipieter公司 :
Datalog+、RuleML和OWL 2:现有规则的格式和翻译。 挑战+ DC@规则ML 2015 [c38] Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 斯旺·罗彻 , Clément Sipieter公司 :
Graal:一个使用存在规则进行查询回答的工具包。 规则ML 2015 : 328-344 2014 [公元37年] 米歇尔·切恩 , 马达琳娜·克罗伊图鲁 , 米歇尔·勒克莱尔 , 纳塔莉·佩内尔 , 法提哈·萨伊斯 , 达奈·西蒙尼杜 :
网络营销的营销定义:营销点。 集成电路 2014 : 225-236 [公元36年] 曼努埃尔·阿滕西亚 , 米歇尔·切恩 , Madalina克罗地亚 , 杰罗姆·戴维 , 米歇尔·勒克莱尔 , 纳塔莉·佩内尔 , 法提哈·萨伊斯 , 弗朗索瓦·沙尔菲 , 达奈·西蒙尼杜 :
定义RDF数据集的关键语义:实验和评估。 国际协调委员会 2014 : 65-78 2013 [c35] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 :
存在规则的健全、完整和最小查询重写。 国际JCAI 2013 : 3017-3021 [公元34年] 米歇尔·切恩 , 米歇尔·勒克莱尔 , 亚恩·尼古拉斯 :
SudocAD:一个解决作者链接问题的基于知识的系统。 KSE(1) 2013 : 65-83 [公元33年] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏埃尔·托马佐 :
用存在性规则探索查询重写空间。 右后 2013 : 123-137 [公元32年] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 斯旺·罗彻 :
Kiabora:存在规则基础的分析人员。 右后 2013 : 241-246 [公元31年] 莱娅·吉佐尔 , 马达琳娜·克罗伊图鲁 , 米歇尔·勒克莱尔 :
链接有效性的聚合语义。 SGAI会议。 2013 : 359-372 [i1] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 :
针对存在规则的健全、完整和最低限度的UCQ重写。 CoRR公司 腹肌/1311.3198 ( 2013 ) 2012 [公元30年] 马达琳娜·克罗伊图鲁 , 莱娅·吉佐尔 , 米歇尔·勒克莱尔 :
论书目知识库中的链接有效性。 IPMU(1) 2012 : 380-389 [公元29年] 梅兰妮·科尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 米夏·托马佐 :
一种完善的存在规则反向链算法。 右后 2012 : 122-138 2011 【j4】 Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 埃里克·萨尔瓦 :
关于存在变量的规则:行走可判定线。 Artif公司。 智力。 175 ( 9-10 ) : 1620-1654 ( 2011 ) [公元28年] 哈利尔·本·穆罕默德 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
包含否定连接查询的算法的理论和实验比较。 地塞米松(1) 2011 : 466-480 2010 [公元27年] 哈利尔·本·穆罕默德 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
存在连接一阶逻辑中的演绎:一种算法和实验。 AIMSA公司 2010 : 1-10 [公元26年] 哈利尔·本·穆罕默德 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
带否定的连接查询的包含:算法和实验。 DEXA(二) 2010 : 330-345 [公元25年] Jean-François Baget女士 , 马达琳娜·克罗伊图鲁 , 阿兰·古铁雷斯 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
RDF(S)和概念图之间的转换。 国际协调委员会 2010 : 28-41 [公元24年] Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳蕾·穆格尼尔 :
在存在变量规则的可决定线上行走。 KR公司 2010
2000 – 2009
2009 [j3] 奥利维尔·卡洛尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
将推理引入工业知识管理工具。 申请。 智力。 31 ( 三 ) : 211-224 ( 2009 ) 【c23】 尼古拉斯·莫罗 , 米歇尔·勒克莱尔 , 马达琳娜·克罗伊图鲁 :
概念图知识库中的区分答案。 ICCS系统 2009 : 233-246 [公元22年] Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 埃里克·萨尔瓦特 :
具有存在变量的规则的可判定情形的扩展。 国际JCAI 2009 : 677-682 2008 【c21】 Jean-François Baget女士 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 埃里克·萨尔瓦特 :
DL-SR:具有表达规则的精简DL:初步结果。 描述逻辑 2008 [公元20年] 米歇尔·勒克莱尔 , 尼古拉斯·莫罗 :
不同的观点充斥着对图表基础的审问系统。 IC法案 2008 : 37-48 [第19条] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
带经典否定的简单概念图的演绎算法研究。 ICCS系统 2008 : 119-132 [第18条] 米歇尔·勒克莱尔 , 尼古拉斯·莫罗 :
查询-回答CG知识库。 ICCS系统 2008 : 147-160 [第17条] Jean-François Baget女士 , 奥利维尔·科尔比 , 罗斯·丁-昆茨 , 凯瑟琳·法伦·祖克 , 法比安·甘登 , 阿兰·吉博因 , 阿兰·古铁雷斯 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 , 拉卢·托莫普洛斯 :
Griwes:基于图形的知识表示工具包的通用模型和初步规范。 ICCS系统 2008 : 297-310 2007 [注2] 玛丽·劳雷·穆格尼尔 , 米歇尔·勒克莱尔 :
关于带否定的简单概念图的查询。 数据知识。 工程师。 60 ( 三 ) : 468-493 ( 2007 ) [第16条] 尼古拉斯·莫罗 , 米歇尔·勒克莱尔 , 米歇尔·切恩 , 阿兰·古铁雷斯 :
注解形式graphique de documents multimedia。 IC法案 2007 : 313-325 [第15条] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
带否定的连接查询包含问题的一些算法改进。 ICDT公司 2007 : 404-418 [第14条] 尼古拉斯·莫罗 , 米歇尔·勒克莱尔 , 米歇尔·切恩 , 阿兰·古铁雷斯 :
数字对象的正式和图形注释。 SADPI公司 2007 : 69-78 2006 [第13条] 拉卢·托莫普洛斯 , 玛丽·劳雷·穆格尼尔 , 米歇尔·勒克莱尔 :
将上下文映射到词汇以表示意图。 ECAI的C&O 2006 [第12条] 奥利维尔·卡洛尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
主题地图概念介绍。 IC法案 2006 : 11-20 [第11条] 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
具有原子否定和差的简单概念图。 ICCS系统 2006 : 331-345 [第10条] 奥利维尔·卡洛尼 , 米歇尔·勒克莱尔 , 玛丽·劳雷·穆格尼尔 :
将基于图形的推理引入知识管理工具:工业案例研究。 国际能源署/美国国际能源署 2006 : 590-599 2004 【c9】 Frédéric Fürst先生 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
操作领域本体:一种方法和工具。 ECAI公司 2004 : 318-322 2003 [j1] Frédéric Fürst先生 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
本体工程与数学知识管理:射影几何的形式化。 安。数学。 Artif公司。 智力。 38 ( 1-3 ) : 65-89 ( 2003 ) 【c8】 Frédéric Fürst先生 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
TooCoM:一种使用概念图模型操作本体的工具。 EON公司 2003 【c7】 弗兰基·特里谢 , 米歇尔·勒克莱尔 :
人力资源管理能力体系构建框架。 ISMIS系统 2003 : 633-639 【c6】 米歇尔·伯斯 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 , 穆尼拉·哈扎拉 :
CommOnCV(通用CV): competency@ontology.cv。 WWW(海报) 2003 2002 【c5】 弗雷德里克·福斯特 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
构建“本体论的理性”:“经验的不复存在”。 EGC公司 2002 : 227-232 【c4】 穆尼拉·哈扎拉 , 米歇尔·勒克莱尔 , 弗兰基·特里谢 :
CommOnCV:对简历中的能力进行建模。 瑞典克朗 2002 : 65-71 2001 【c3】 米歇尔·勒克莱尔 , 布鲁诺·蒂克瑟 , 弗兰基·特里谢 :
《资本家与鉴赏家》(Capitaliser et partager des connaissances:une approache fondée sur l‘exploration’un systèmeábase de connaissences de type táche/méthode)。 EGC公司 2001 : 291-302
1990 – 1999
1997 【c2】 米歇尔·勒克莱尔 :
使用类型定义进行推理。 ICCS系统 1997 : 401-415 1994 【c1】 米歇尔·勒克莱尔 :
图表模型概念分类问题的多样性。 LMO公司 1994 : 81-94
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)