编辑配置文件(在新选项卡中打开) 周能发 合著者距离 作者ID: 周能发 发布日期: 周能发 已编制索引的文档: 13出版物自1993年起 1名编辑贡献 合著者: 21位合著者具有9联合出版物 386位合作作者 全部的 前5名合著者 5 单作者的 3 罗马人Barták 3 沈一东 2 你,嘉慧 2 袁丽燕 1 多尔·阿兹蒙 1 巴特·博加特 1 亚历克斯·布里克 1 达尔,维罗妮卡 1 卡明·多达罗 1 阿戈斯蒂诺·多维尔 1 阿里尔·费尔纳 1 保罗·福多 1 安德烈亚·福米萨诺 1 有,克里斯蒂安·泰尔 1 铃木卡内科 1 刘燕红安妮 1 吉安·卢卡(Gian Luca),披萨 1 佐藤泰介 1 罗尼·斯特恩 1 Joost Vennekens 1 格伦·瓦格纳 系列 7 逻辑程序设计理论与实践 1 逻辑程序设计杂志 1 人工智能研究杂志 1 函数与逻辑编程杂志 1 理论计算机科学电子论文集(EPTCS) 领域 14 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用41中的次32文件 引用人▼ 年份▼ B-Prolog的语言特性和体系结构。 Zbl 1244.68024号 周能发 13 2012 线性列表策略和优化。 兹比尔1128.68018 周能发;佐藤泰介;沈毅东 7 2008 使用增强的哈希一致性高效地建立结构化数据表。 Zbl 1260.68069号 周能发;有,克里斯蒂安·泰尔 4 2012 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东;袁丽燕;你,嘉慧;周能发 3 2001 在操作规则中编程有限域约束传播器。 Zbl 1122.68035号 周能发 3 2006 稳健的多代理路径查找和执行。 Zbl 1437.68174号 多尔·阿兹蒙;罗尼·斯特恩;阿里尔·费尔纳;格伦·瓦格纳;罗马人Barták;周能发 3 2020 线性表机制的实现。 Zbl 1037.68035号 周能发;沈义东;袁丽燕;你,嘉慧 3 2001 规划为表格逻辑编程。 Zbl 1379.68287号 周能发;罗马人Barták;阿戈斯蒂诺·多维尔 2 2015 一种高级中间语言和编译有限域约束的算法。 Zbl 0949.68020号 周能发 1 1998 toam的prolog编译器中的全局优化。 Zbl 0825.68289号 周能发 1 1993 使用表格逻辑编程解决巴西石油公司的规划问题。 Zbl 1309.68171号 罗马人Barták;周能发 1 2014 稳健的多代理路径查找和执行。 Zbl 1437.68174号 多尔·阿兹蒙;罗尼·斯特恩;阿里尔·费尔纳;格伦·瓦格纳;罗马人Barták;周能发 3 2020 规划为表格逻辑编程。 兹比尔1379.68287 周能发;罗马人Barták;阿戈斯蒂诺·多维尔 2 2015 使用表格逻辑编程解决巴西石油公司的规划问题。 Zbl 1309.68171号 罗马人Barták;周能发 1 2014 B-Prolog的语言特性和体系结构。 Zbl 1244.68024号 周能发 13 2012 使用增强的哈希一致性高效地建立结构化数据表。 Zbl 1260.68069号 周能发;有,克里斯蒂安·泰尔 4 2012 线性列表策略和优化。 兹比尔1128.68018 周能发;佐藤泰介;沈义东 7 2008 在操作规则中编程有限域约束传播器。 Zbl 1122.68035号 周能发 3 2006 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东;袁、李艳;你,嘉慧;周能发 3 2001 线性表机制的实现。 Zbl 1037.68035号 周能发;沈义东;袁丽燕;你,嘉慧 3 2001 一种高级中间语言和编译有限域约束的算法。 Zbl 0949.68020号 周能发 1 1998 toam的prolog编译器中的全局优化。 Zbl 0825.68289号 周能发 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名75位作者引用 4 曼努埃尔五世(Manuel V.Hermenegildo)。 4 佐藤泰介 4 汤姆·施里杰弗斯 3 多尔·阿兹蒙 3 巴特·德梅恩 3 德索特,贝诺特 3 何塞·弗朗西斯科·莫拉莱斯 3 周能发 2 阿戈斯蒂诺·多维尔 2 尤利亚·利勒 2 里卡多·罗查 2 罗尼·斯特恩 1 萨尔瓦多阿布雷乌 1 安东·安德烈库克 1 米盖尔·阿雷亚斯 1 马塞洛·巴尔杜奇尼 1 罗马人Barták 1 乔瓦尼·西亚托 1 泰森·康迪 1 维托尔·桑托斯·科斯塔 1 达尔,维罗妮卡 1 达斯,阿里亚姆 1 丹尼尔·迪亚兹 1 杜洪伟 1 段振华 1 阿里尔·费尔纳 1 安德烈亚·福米萨诺 1 戈帕尔·古普塔 1 玛丽亚·加西亚·德拉班达 1 郭海峰 1 戈帕尔·古普塔 1 郭海峰 1 马泰奥·因特兰迪 1 巴拉特·贾亚拉曼 1 布伦丹·朱巴 1 Kaneko、Sosuke 1 迈克尔·基弗 1 斯文·柯尼格 1 小岛隆介 1 菲利普·科纳 1 久保田,Keiichi 1 Michael Leuschel先生 1 李娇阳 1 梁森林 1 阮富兰 1 马西耶·皮罗格 1 恩里科·蓬泰利 1 阿卜杜拉沙非定 1 霍斯特·萨穆洛维茨 1 托梅尔·沙哈尔 1 沙申克谢哈尔 1 沈一东 1 亚历山大·什卡普斯基 1 沙哈夫·施佩伯格。 1 彼得·詹姆斯·斯塔基 1 娜塔莉亚·斯图洛娃 1 内森·斯特凡特(Nathan R.Sturtevant)。 1 帕维尔·苏瑞克 1 本杰明·苏斯曼 1 Swift,Terrance公司 1 塔克,吉多 1 田聪 1 马库斯·特里斯卡 1 马克·范·杜伦 1 亚历山大·范登布鲁克 1 大卫·斯科特·沃伦 1 Wielemaker,简 1 皮特·威勒 1 康斯坦丁·雅科夫列夫 1 Yang,Kai(杨凯) 1 杨默翰 1 你,嘉慧 1 袁丽燕 1 卡洛·扎尼奥洛 1 张楠 全部的 前5名10篇连载文章中引用 16 逻辑程序设计理论与实践 2 人工智能 2 理论计算机科学 2 约束条件 1 计算机程序设计科学 1 国际近似推理杂志 1 人工智能研究杂志 1 组合优化期刊 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在3个字段中引用 30 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文