编辑配置文件（在新选项卡中打开） 巴特·德梅恩 合著者距离 作者ID： demen.bart（德蒙·巴特） 发布日期： 巴特·德梅恩；德梅恩，B。 已编制索引的文档： 54出版物自1977年起 1名编辑贡献 合著者： 52位合著者具有52联合出版物 810联合作者 全部的 前5名合著者 三 单作者的 14 汤姆·施里杰弗斯 11 玛丽亚·加西亚·德拉班达 6 彼得·詹姆斯·斯塔基 4 维托尔·桑托斯·科斯塔 4 杰尔达·詹森斯 4 阮富兰 4 斯涅尔斯，乔恩 4 亨克·范德卡斯泰尔 三 亨德里克·布洛克 三 金·万豪酒店 三 克里斯托弗·米尔斯 三 康斯坦蒂诺斯·萨戈纳斯 三 Paul Vanheuverzwijn 三 安德烈·F·韦伯（AndréF·Verbeure）。 三 马克·华莱士。 2 迈克尔·科迪什 2 德博舍尔，科恩 2 莱斯利·德科宁克 2 吕克·德·雷德 2 吕克·德哈斯佩 2 德索特，贝诺特 2 沃里克·哈维 2 安吉丽卡·基米格 2 简·拉蒙 2 里卡多·罗查 2 保罗·塔劳 2 彼得·范·威特 2 鲁本·范德金斯特 2 Wielemaker，简 1 德米特里·布朗格 1 莫里斯·布吕诺格 1 鲁伊·卡马乔 1 H·卡彭。 1 马克·德内克 1 格雷戈里·杜克。 1 托姆·吕维思 1 弗拉基米尔·利夫希茨 1 穆莱纳尔，雷姆科 1 安妮·穆克斯 1 大卫·奥弗顿 1 Phuong-Lan Nguyen公司 1 亚历山大·塞雷布雷尼克 1 阿什温·斯里尼瓦桑 1 简·斯特鲁伊夫 1 马库斯·特里斯卡 1 伦科·特隆松 1 温·范拉尔 1 彼得·范罗伊 1 沃伦、大卫·斯科特 1 帕特里克·维梅厄 1 伊夫·威廉姆斯（Yves D.Willems）。 1 皮特·威勒 全部的 前5名系列 10 逻辑程序设计理论与实践 三 逻辑程序设计杂志 三 约束条件 2 函数与逻辑程序设计杂志 1 数学物理中的通信 1 数学物理中的字母 1 数学物理报告 1 《亨利·彭加莱学院年鉴》。新秀Série，A辑，Physique Théorique 1 《伦敦数学学会通报》 1 功能分析杂志 1 计算机程序设计科学 1 并行与分布式计算杂志 1 《布鲁塞尔社会科学年鉴》。塞丽一世 1 人工智能研究杂志 1 机器学习研究杂志（JMLR） 1 计算机科学课堂讲稿 1 图论与应用电子期刊 全部的 前5名领域 44 计算机科学（68至XX） 6 功能分析（46倍X倍） 4 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 算子理论（47-XX） 1 概率论与随机过程（60-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 39出版物有被引用202中的次164文件 引用人▼ 年份▼ CCR-代数上的完全正映射。 Zbl 0381.47023号 巴特·德梅恩；Paul Vanheuverzwijn；Verbeure，A。 34 1977 关于概率逻辑编程语言ProbeLog的实现。 Zbl 1220.68037号 安吉丽卡·基米格；巴特·德梅恩；吕克·德·雷德；维托尔·桑托斯·科斯塔；里卡多·罗查 25 2011 CCR-代数的完全正拟自由映射。 Zbl 0436.46054号 巴特·德梅恩；Paul Vanheuverzwijn；Verbeure，A。 25 1979 朝向键入的Prolog。 兹比尔1185.68181 汤姆·施里杰弗斯；维托尔·桑托斯·科斯塔；Wielemaker，简；巴特·德梅恩 11 2008 使用“PROP”（位置逻辑程序和魔术棒）分析逻辑程序。 Zbl 0871.68049号 迈克尔·科迪什；巴特·德梅恩 9 1995 CHR发生表示的保护和延续优化。 Zbl 1165.68348号 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 8 2005 关于ProbLog程序的高效执行。 Zbl 1185.68162号 安吉丽卡·基米格；维托尔·桑托斯·科斯塔；里卡多·罗查；巴特·德梅恩；吕克·德·雷德 8 2008 一种检测CSP模型中对称性的新方法。 Zbl 1142.68520号 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；马克·华莱士；巴特·德梅恩 7 2008 Prolog的带分隔符的延续。 Zbl 1312.68037号 汤姆·施里杰弗斯；巴特·德梅恩；德索特，贝诺特；Wielemaker，简 6 2013 通过使用查询包提高归纳逻辑编程的效率。 Zbl 0994.68024号 H·布洛克吉尔。；德哈佩。；德梅恩，B。；詹森，G。；J·拉蒙。；Vandecasteel，H。 5 2002 在标准表单上实现正映射。 Zbl 0448.46041号 巴特·德梅恩；Paul Vanheuverzwijn 5 1980 使用XSB对基于逻辑的语言进行基于语义的程序分析。 Zbl 1060.68568号 迈克尔·科迪什；巴特·德梅恩；康斯坦蒂诺斯·萨戈纳斯 4 1998 用于提高ILP系统效率的查询转换。 Zbl 1102.68541号 维托尔·桑托斯·科斯塔；阿什温·斯里尼瓦桑；鲁伊·卡马乔；亨德里克·布洛克；巴特·德梅恩；杰尔达·詹森斯；简·斯特鲁伊夫；亨克·范德卡斯泰尔；范莱尔，维姆 4 2004 托尔：模块化搜索，可挂钩分离。 Zbl 1283.68318号 汤姆·施里杰弗斯；巴特·德梅恩；马库斯·特里斯卡；德索特，贝诺特 4 2014 轻量化动态对称破缺。 兹比尔1338.90269 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；巴特·德梅恩；马克·华莱士 4 2014 检查HAL程序的模式。 兹比尔1083.68019 玛丽亚·加西亚·德·拉班达；沃里克·哈维；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。；巴特·德梅恩 4 2005 CHR精炼操作语义中的保护推理。 Zbl 1229.68022号 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 4 2008 CHR的灵活搜索框架。 Zbl 1229.68018号 莱斯利·德科宁克；汤姆·施里杰弗斯；巴特·德梅恩 三 2008 基于预解释的逻辑程序的自由共享分析。 Zbl 1482.68074号 莫里斯·布吕诺格；巴特·德梅恩；德米特里·布朗格；马克·德内克；安妮·穆克斯 三 1996 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达；巴特·德梅恩；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。 2 2002 逻辑编程。2004年9月6日至10日，第20届国际会议，ICLP，法国圣马洛。诉讼程序。 Zbl 1056.68006号 2 2004 WAM变化如此之多，时间如此之短。 Zbl 0983.68705号 巴特·德梅恩；Phuong-Lan Nguyen公司 2 2000 多余的数独规则。 Zbl 1312.68035号 巴特·德梅恩；玛丽亚·加西亚·德拉班达 2 2014 一种检测约束模型中对称性的方法及其推广。 Zbl 1316.90029号 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；马克·华莱士；巴特·德梅恩 2 2015 TCHR：表格CLP的框架。 Zbl 1148.68013号 汤姆·施里杰弗斯；巴特·德梅恩；大卫·沃伦。 2 2008 逻辑算法语言与CHR之间的对应关系。 Zbl 1213.68175号 莱斯利·德科宁克；汤姆·施里杰弗斯；巴特·德梅恩 2 2007 CHR的内存重用。 Zbl 1131.68401号 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 2 2006 改进prolog程序：重构prolog。 Zbl 1140.68359号 亚历山大·塞雷布雷尼克；汤姆·施里杰弗斯；巴特·德梅恩 2 2008 通过模式、子句选择和决定论提高已编译Prolog的执行速度。 Zbl 0614.68029号 彼得·范罗伊；巴特·德梅恩；伊夫·威廉姆斯（Yves D.Willems）。 1 1987 在ILP中执行查询包。 Zbl 0994.68626号 亨德里克·布洛克；吕克·德哈斯佩；巴特·德梅恩；杰尔达·詹森斯；简·拉蒙；亨克·范德卡斯泰尔 1 2000 齐次扰动经典态和平衡条件。 兹比尔0404.60099 德梅恩，B。；Verbeure，A。 1 1978 CHR约束的自动隐含检查。 Zbl 1276.68043号 汤姆·施里杰弗斯；巴特·德梅恩；格雷戈里·杜克；斯塔基，彼得；托姆·吕维思 1 2006 通过程序转换聚合CHR。 Zbl 1179.68041号 彼得·范·威特；斯涅尔斯，乔恩；巴特·德梅恩 1 2008 部分翻译：面向可移植且高效的序言实现技术。 Zbl 0878.68039号 保罗·塔劳；德博舍尔，科恩；巴特·德梅恩 1 1996 关于确定性逻辑程序的delphi引理和其他记忆技术。 Zbl 0884.68027号 保罗·塔劳；科恩·德博舍尔；巴特·德梅恩 1 1997 参数多态性和特殊多态性的类型约束求解。 兹比尔0959.68022 巴特·德梅恩；玛丽亚·加西亚·德拉班达；彼得·斯图基（Peter J.Stuckey）。 1 1999 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩；玛丽亚·加西亚·德拉班达；沃里克·哈维；金·万豪酒店；大卫·奥弗顿；彼得·斯图基（Peter J.Stuckey）。 1 2004 拉丁方问题中的多余缺陷。 Zbl 1317.90253号 巴特·德梅恩；玛丽亚·加西亚·德拉班达 1 2013 具有着色冗余边的图。 Zbl 1467.05071号 巴特·德梅恩；阮富兰 1 2016 具有着色冗余边的图。 Zbl 1467.05071号 巴特·德梅恩；阮富兰 1 2016 一种检测约束模型中对称性的方法及其推广。 Zbl 1316.90029号 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；马克·华莱士；巴特·德梅恩 2 2015 托尔：具有可连接析取的模块化搜索。 Zbl 1283.68318号 汤姆·施里杰弗斯；巴特·德梅恩；马库斯·特里斯卡；德索特，贝诺特 4 2014 轻量化动态对称破缺。 兹比尔1338.90269 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；巴特·德梅恩；马克·华莱士 4 2014 多余的数独规则。 Zbl 1312.68035号 巴特·德梅恩；玛丽亚·加西亚·德拉班达 2 2014 Prolog的带分隔符的延续。 兹比尔1312.68037 汤姆·施里杰弗斯；巴特·德梅恩；德索特，贝诺特；Wielemaker，简 6 2013 拉丁方问题中的多余缺陷。 Zbl 1317.90253号 巴特·德梅恩；玛丽亚·加西亚·德拉班达 1 2013 概率逻辑程序设计语言ProbLog的实现。 Zbl 1220.68037号 安吉丽卡·基米格；巴特·德梅恩；吕克·德·雷德；维托尔·桑托斯·科斯塔；里卡多·罗查 25 2011 朝向键入的Prolog。 Zbl 1185.68181号 汤姆·施里杰弗斯；维托尔·桑托斯·科斯塔；Wielemaker，简；巴特·德梅恩 11 2008 关于ProbLog程序的高效执行。 Zbl 1185.68162号 安吉丽卡·基米格；维托尔·桑托斯·科斯塔；里卡多·罗查；巴特·德梅恩；吕克·德·雷德 8 2008 一种检测CSP模型中对称性的新方法。 Zbl 1142.68520号 克里斯托弗·米尔斯；玛丽亚·加西亚·德拉班达；马克·华莱士；巴特·德梅恩 7 2008 CHR精炼操作语义中的保护推理。 兹比尔1229.68022 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 4 2008 CHR的灵活搜索框架。 Zbl 1229.68018号 莱斯利·德科宁克；汤姆·施里杰弗斯；巴特·德梅恩 三 2008 TCHR：表格CLP的框架。 Zbl 1148.68013号 汤姆·施里杰弗斯；巴特·德梅恩；大卫·沃伦。 2 2008 改进prolog程序：重构prolog。 Zbl 1140.68359号 亚历山大·塞雷布雷尼克；汤姆·施里杰弗斯；巴特·德梅恩 2 2008 通过程序转换聚合CHR。 Zbl 1179.68041号 彼得·范·威特；斯涅尔斯，乔恩；巴特·德梅恩 1 2008 逻辑算法语言与CHR之间的对应关系。 Zbl 1213.68175号 莱斯利·德科宁克；汤姆·施里杰弗斯；巴特·德梅恩 2 2007 CHR的内存重用。 兹比尔1131.68401 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 2 2006 CHR约束的自动隐含检查。 Zbl 1276.68043号 汤姆·施里杰弗斯；巴特·德梅恩；格雷戈里·杜克；斯塔基，彼得；托姆·吕维思 1 2006 CHR发生表示的保护和延续优化。 Zbl 1165.68348号 斯涅尔斯，乔恩；汤姆·施里杰弗斯；巴特·德梅恩 8 2005 检查HAL程序的模式。 Zbl 1083.68019号 玛丽亚·班达火车站；沃里克·哈维；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。；巴特·德梅恩 4 2005 用于提高ILP系统效率的查询转换。 Zbl 1102.68541号 维托尔·桑托斯·科斯塔；阿什温·斯里尼瓦桑；鲁伊·卡马乔；亨德里克·布洛克；巴特·德梅恩；杰尔达·詹森斯；简·斯特鲁伊夫；亨克·范德卡斯泰尔；温·范拉尔 4 2004 逻辑编程。2004年9月6日至10日，第20届国际会议，ICLP，法国圣马洛。诉讼程序。 Zbl 1056.68006号 2 2004 HAL中的Herbrand约束。 Zbl 1080.68551号 巴特·德梅恩；玛丽亚·加西亚·德拉班达；沃里克·哈维；金·万豪酒店；大卫·奥弗顿；彼得·斯图基（Peter J.Stuckey）。 1 2004 通过使用查询包提高归纳逻辑编程的效率。 Zbl 0994.68024号 Blockeel，H。；德哈斯佩，L。；德梅恩，B。；詹森，G。；J·拉蒙。；Vandecasteel，H。 5 2002 HAL之门：HAL教程。 Zbl 1019.68514号 玛丽亚·加西亚·德拉班达；巴特·德梅恩；金·万豪酒店；彼得·斯图基（Peter J.Stuckey）。 2 2002 WAM变化如此之多，时间如此之短。 Zbl 0983.68705号 巴特·德梅恩；Phuong-Lan Nguyen公司 2 2000 在ILP中执行查询包。 Zbl 0994.68626号 亨德里克·布洛克；吕克·德哈斯佩；巴特·德梅恩；杰尔达·詹森斯；简·拉蒙；亨克·范德卡斯泰尔 1 2000 参数多态性和特殊多态性的类型约束求解。 Zbl 0959.68022号 巴特·德梅恩；玛丽亚·加西亚·德拉班达；彼得·斯图基（Peter J.Stuckey）。 1 1999 使用XSB对基于逻辑的语言进行基于语义的程序分析。 Zbl 1060.68568号 迈克尔·科迪什；巴特·德梅恩；康斯坦蒂诺斯·萨戈纳斯 4 1998 关于确定性逻辑程序的delphi引理和其他记忆技术。 Zbl 0884.68027号 保罗·塔劳；科恩·德博舍尔；巴特·德梅恩 1 1997 基于预解释的逻辑程序的自由共享分析。 Zbl 1482.68074号 莫里斯·布吕诺格；巴特·德梅恩；德米特里·布兰热；马克·德内克；安妮·穆克斯 三 1996 部分翻译：面向可移植且高效的序言实现技术。 Zbl 0878.68039号 保罗·塔劳；德博舍尔，科恩；巴特·德梅恩 1 1996 使用“PROP”（位置逻辑程序和魔术棒）分析逻辑程序。 Zbl 0871.68049号 迈克尔·科迪什；巴特·德梅恩 9 1995 通过模式、子句选择和确定性提高编译Prolog的执行速度。 Zbl 0614.68029号 彼得·范罗伊；巴特·德梅恩；伊夫·威廉姆斯（Yves D.Willems）。 1 1987 在标准表单上实现正映射。 Zbl 0448.46041号 巴特·德梅恩；Paul Vanheuverzwijn 5 1980 CCR-代数的完全正拟自由映射。 Zbl 0436.46054号 巴特·德梅恩；Paul Vanheuverzwijn；Verbeure，A。 25 1979 齐次扰动经典态和平衡条件。 Zbl 0404.60099号 德梅恩，B。；Verbeure，A。 1 1978 CCR-代数上的完全正映射。 Zbl 0381.47023号 巴特·德梅恩；Paul Vanheuverzwijn；Verbeure，A。 34 1977 所有引用的出版物 前5名被引用出版物 全部的 前5名260位作者引用 11 巴特·德梅恩 9 曼努埃尔五世（Manuel V.Hermenegildo）。 8 汤姆·施里杰弗斯 6 吕克·德·雷德 6 法布里西奥·里古齐 5 法比奥·贝纳蒂 5 维托尔·桑托斯·科斯塔 5 罗伯托·弗洛雷亚尼尼 5 玛丽亚·加西亚·德拉班达 5 阿列克桑德·塞姆诺维奇·科莱沃 5 何塞·弗朗西斯科·莫拉莱斯 5 瓦伦丁·A·萨格勒布诺夫。 4 亚历山大·阿提基斯 4 曼纽尔·卡罗 4 乔治·巴利乌拉斯 4 达米亚诺·波莱蒂 三 路易吉·阿卡迪 三 埃琳娜·贝洛迪 三 费德里科·卡罗罗 三 佛朗哥·法格诺拉 三 马里奥弗洛里多 三 毛里齐奥·加布里埃利 三 马里奥·赫尔米奇 三 佩德罗·洛佩兹·加西亚 三 克里斯托弗·米尔斯 三 Maria Chiara Meo女士 三 斯涅尔斯，乔恩 三 彼得·詹姆斯·斯塔基 三 Swift，Terrance公司 三 广岛田村 三 彼得·范沃特 三 马克·华莱士。 2 Abdennadher，苗条 2 朱利安·阿格雷多 2 华金·阿里亚斯 2 菲利普·布兰查德 2 亨德里克·布洛克 2 鲁伊·卡马乔 2 迈克尔·科迪什 2 朱塞佩·科塔 2 莱斯利·德科宁克 2 丁内·德莱特 2 延斯·艾瑟特 2 大卫·E·埃文斯。 2 努诺·A·丰塞卡。 2 马丁·格布瑟 2 迈克尔·哈纳斯 2 杰尔达·詹森斯 2 安吉丽卡·基米格 2 菲利普·科纳 2 李，吉米·霍曼 2 戈兰·林布拉德 2 陆云刚 2 Ługiewicz，彼得 2 曼塔代利斯（Mantadelis）、西奥弗拉斯托斯（Theofrastos） 2 海德纳恩霍夫 2 阮富兰 2 戴维·尼蒂 2 罗伯特·奥尔基维茨 2 马丁·普莱尼奥。 2 约瑟夫五世·普利。 2 约翰·奎格贝尔 2 大辅佐藤 2 康斯坦丁·舍科提欣 2 杰弗里·休厄尔。 2 迪米塔尔·施特里奥诺夫 2 阿纳斯塔西奥斯·斯卡拉提迪斯 2 阿什温·斯里尼瓦桑 2 保罗·塔切拉 2 保罗·塔劳 2 爱丽丝·塔萨里奥尔 2 Anneleen的Van Assche 2 Paul Vanheuverzwijn 2 德国维达尔 2 沃伦、大卫·斯科特 2 Wielemaker，简 2 里卡多·泽斯 1 萨默尔·阿卜杜拉。 1 萨尔瓦多阿布雷乌 1 安基永 1 Özgür阿贡 1 雷纳·阿尔弗雷德 1 乔瓦尼·阿利 1 马里奥·阿尔维亚诺 1 格里戈里·阿莫索夫 1 尼科斯·安杰洛普洛斯 1 奥斯特兰德，马克斯 1 法比奥·巴加雷洛 1 罗伯特·巴格纳拉 1 埃戈尔·列奥尼多维奇·巴·特诺夫 1 阿尔贝托·巴切利 1 瓦夏克·贝勒 1 利奥波多·贝尔托西。 1 哈里奥尔夫·贝茨 1 斯蒂法诺·比斯塔雷利 1 博拉尼奥斯·瑟文（Jorge R.Bolaños-Servin）。 1 德米特里·布朗格 1 莫里斯·布吕诺格 1 布埃诺，弗朗西斯科 1 马克西米利安·布茨 …还有160多名作者 全部的 前5名46连载 24 逻辑程序设计理论与实践 10 数学物理杂志 9 机器学习 8 国际近似推理杂志 6 人工智能 6 约束条件 4 数学物理报告 4 理论计算机科学 三 《亨利·彭加莱学院年鉴》。新秀Série，A辑，Physique Théorique 三 功能分析杂志 三 亨利·彭加莱年鉴 三 国际量子信息杂志 2 统计物理杂志 2 《物理快报》。A类 2 理论和数学物理 2 匈牙利数学学报 2 新一代计算 2 开放系统与信息动力学 2 图论与应用电子期刊 1 现代物理学字母B 1 计算机与数学及其应用 1 数学物理中的通信 1 信息处理信件 1 物理报告 1 信息传输问题 1 俄罗斯数学调查 1 信息科学 1 苏联数学杂志 1 数学期刊 1 米兰费西科马特米蒂科研讨会（Rendiconti del Seminario Matemático e Fisico di Milano） 1 数学应用学报 1 概率论及其相关领域 1 信息与计算 1 自动推理杂志 1 《亨利·彭加莱学院年鉴》。Physique Théorique运动鞋 1 数学与人工智能年鉴 1 无限维分析、量子概率及相关主题 1 数据挖掘与知识发现 1 物理审查信函 1 米兰数学杂志 1 计算机语言、系统和结构 1 量子信息处理 1 ACM计算逻辑汇刊 1 计算智能 1 统计力学杂志：理论与实验 1 物理学报A：数学与理论 全部的 前5名18个领域被引用 102 计算机科学（68至XX） 38 量子理论（81-XX） 23 功能分析（46倍X倍） 13 算子理论（47-XX） 13 统计力学，物质结构（82-XX） 8 概率论与随机过程（60-XX） 8 运筹学、数学规划（90-XX） 7 信息与通信理论、电路（94-XX） 三 组合数学（05-XX） 2 群论与推广（20-XX） 2 动力系统和遍历理论（37至XX） 2 抽象谐波分析（43至XX） 2 统计学（62-XX） 2 光学、电磁理论（78-XX） 1 数理逻辑与基础（03-XX） 1 复变量的函数（30年XX月） 1 粒子和系统力学（70-XX） 1 经典热力学，传热（80-XX） 按年份列出的引文