编辑配置文件(在新选项卡中打开) 沈一东 合著者距离 作者ID: 沈一东 发布方式: 沈毅东;沈一东 已编制索引的文档: 33出版物自1992年以来 合著者: 27位合著者具有21联合出版物 722名合著者 全部的 前5名合著者 9 单作者的 11 你,嘉慧 9 袁丽燕 三 托马斯·艾特 三 王克文 三 杨强 三 周能发 2 王一松 1 程黛杰 1 丹尼·德·施雷耶 1 邓军 1 迈克尔·芬克 1 黄一亭 1 托马斯·克伦瓦尔纳 1 林方珍 1 刘国华 1 刘永国 1 陆红军 1 克里斯托夫·雷德尔 1 大辅佐藤 1 沈,Samuel Shan-Pu 1 Soenen,R。 1 克里斯蒂安·塔洪 1 唐,傅 1 Voets,院长 1 文,廉 1 吴新东 1 D.J.宣。 1 是的,W.L。 1 张明义 1 张忠 全部的 前5名系列 5 计算机科学与技术杂志 5 逻辑程序设计理论与实践 三 人工智能 三 理论计算机科学 三 ACM计算逻辑事务 2 中国科学。E系列 1 应用数学与计算 1 新一代计算 1 自动推理杂志 1 中国科学。系列A 1 振动与控制杂志 1 应用统计学杂志 1 函数与逻辑程序设计杂志 全部的 前5名领域 31 计算机科学(68至XX) 2 统计学(62-XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 光学、电磁理论(78-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用69中的次57文件 引用人▼ 年份▼ 在答案集编程中评估认知否定。 Zbl 1358.68278号 沈义东;托马斯·艾特 14 2016 对于一般逻辑程序,FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈义东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 线性列表策略和优化。 Zbl 1128.68018号 周能发;大辅佐藤;沈义东 7 2008 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东;你,嘉慧;袁丽燕;沈,Samuel S.P。;杨强 5 2003 使用遗传算法进行自动聚类。 兹比尔1229.65100 刘永国;吴新东;沈一东 4 2011 线性表机制的实现。 Zbl 1037.68035号 周能发;沈毅东;袁丽燕;你,嘉慧 三 2001 通用逻辑程序的终止预测。 Zbl 1184.68162号 沈义东;丹尼·德·施雷耶;Voets,院长 三 2009 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松;你,嘉慧;袁丽燕;沈义东 三 2010 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东;袁丽燕;你,嘉慧;周能发 三 2001 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东;你,嘉慧;袁丽燕 三 2009 通过延时控制应用磁性轴承。 Zbl 1273.70066号 D.J.宣。;金,Y.B。;金·J·W。;沈永德(Shen,Y.D.)。 三 2009 具有抽象约束的逻辑程序:表示、析取和复杂性。 Zbl 1149.68339号 你,嘉慧;袁丽燕;刘国华;沈义东 2 2007 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松;你,嘉慧;袁丽燕;沈义东;张明义 2 2012 循环检查带函数的逻辑程序。 Zbl 0989.68016号 沈永德(音)。;袁,L.-Y。;你,J.-H。 2 2001 SLT解析,用于基础良好的语义。 Zbl 1003.68066号 沈义东;袁丽燕;你,嘉慧 2 2002 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东;你,嘉慧 2 2009 确定析取逻辑程序的推理语义。 Zbl 1483.68061号 沈毅东;托马斯·艾特 2 2019 在封闭世界假设下确定数据库一致性的算法。 Zbl 0941.68556号 沈一东 1 1992 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈义东;你,嘉慧;袁丽燕 1 2004 随机应答程序的相变模型。 Zbl 1367.68043号 文,廉;王克文;沈义东;林方珍 1 2016 确定析取逻辑程序的推理语义。 Zbl 1483.68061号 沈义东;托马斯·艾特 2 2019 在答案集编程中评估认知否定。 Zbl 1358.68278号 沈义东;托马斯·艾特 14 2016 随机应答程序的相变模型。 Zbl 1367.68043号 文,廉;王克文;沈义东;林方珍 1 2016 对于一般逻辑程序,FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈义东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松;你,嘉慧;袁丽燕;沈义东;张明义 2 2012 使用遗传算法进行自动聚类。 Zbl 1229.65100号 刘永国;吴新东;沈一东 4 2011 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松;你,嘉慧;袁丽燕;沈义东 三 2010 通用逻辑程序的终止预测。 Zbl 1184.68162号 沈义东;丹尼·德·施雷耶;Voets,院长 三 2009 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈毅东;你,嘉慧;袁丽燕 三 2009 通过延时控制应用磁性轴承。 Zbl 1273.70066号 宣,D.J。;金,Y.B。;金·J·W。;沈永德(Shen,Y.D.)。 三 2009 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东;你,嘉慧 2 2009 线性列表策略和优化。 Zbl 1128.68018号 周能发;大辅佐藤;沈义东 7 2008 具有抽象约束的逻辑程序:表示、析取和复杂性。 Zbl 1149.68339号 你,嘉慧;袁丽燕;刘国华;沈义东 2 2007 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈义东;你,嘉慧;袁丽燕 1 2004 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东;你,嘉慧;袁丽燕;沈,Samuel S.P。;杨强 5 2003 SLT解析,用于基础良好的语义。 Zbl 1003.68066号 沈义东;袁、李艳;你,嘉慧 2 2002 线性表机制的实现。 Zbl 1037.68035号 周能发;沈义东;袁、李艳;你,嘉慧 三 2001 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东;袁丽燕;你,嘉慧;周能发 三 2001 循环检查带函数的逻辑程序。 Zbl 0989.68016号 沈永德(音)。;袁,L.-Y。;你,J.-H。 2 2001 在封闭世界假设下确定数据库一致性的算法。 Zbl 0941.68556号 沈一东 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名91位作者引用 8 沈一东 7 托马斯·艾特 5 沃尔夫冈·费伯 4 丹尼·德·施雷耶 4 迈克尔·芬克 4 大辅佐藤 4 Voets,院长 4 斯特凡·沃尔特兰 4 你,嘉慧 三 马里奥·阿尔维亚诺 三 迈克尔·莫拉克 2 斯特凡妮娅·科斯坦蒂尼 2 阿戈斯蒂诺·多维尔 2 豪尔赫·范丁诺 2 路易斯·法利尼亚斯·德尔·塞罗 2 安德烈亚·福米萨诺 2 迈克尔·盖尔芬德 2 托马斯·克伦瓦尔纳 2 芬顿,丁 2 恩里科·蓬泰利 2 克里斯托夫·雷德尔 2 儿子Tran Cao 2 特鲁什琴斯基,米洛斯奥 2 泰州沃文 2 王克文 2 王一松 2 袁丽燕 2 张元林 2 周能发 1 乔瓦尼·阿蒙多拉 1 安蒂奇,克里斯蒂安 1 罗马人Barták 1 Jon Atli Benediktsson 1 维克多·贝辛 1 曼纽尔·比什勒 1 佩德罗·卡巴拉尔 1 玛格丽达·卡瓦略 1 陈火旺 1 斯特凡妮亚·康斯坦蒂尼 1 洛伦佐·德劳雷蒂斯 1 邓军 1 戈帕尔·古普塔 1 马丁·格布瑟 1 郭海峰 1 戈帕尔·古普塔 1 郭海峰 1 马库斯·赫彻 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 安德烈亚斯·赫齐格 1 皮埃尔·霍斯坦斯 1 伊安尼,乔瓦姆巴蒂斯塔 1 巴拉特·贾亚拉曼 1 帕特里克·托尔·卡尔 1 莱因哈德·卡勒 1 纳文·卡尔罗。 1 马蒂亚斯·克诺尔 1 小岛隆介 1 叶卡捷琳娜·科门丹茨卡亚 1 久保田,Keiichi 1 安东尼·勒克莱尔(Anthony P.Leclerc)。 1 尼古拉·利昂 1 李孟军 1 李,岳 1 李周军 1 林方珍 1 刘国华 1 刘冷宁 1 乔蒂莫·麦蒂 1 帕比特拉·米特拉 1 阿德尔·纳布利 1 阮庄,Thao 1 Johannes Oetsch 1 Phan Minh Dung公司 1 阿尼玛·普拉曼尼克 1 元首,约尔格 1 弗朗西斯科·里卡 1 里卡多·罗查 1 索邦·萨尔卡 1 彼得·舒勒 1 J.森蒂尔纳思。 1 Daria A.Stepanova。 1 苏·埃兹吉·伊拉兹 1 保罗·塔劳 1 潘明·唐恩 1 汉斯·托姆皮茨 1 Tran,儿子Cao 1 团和乐洪 1 张明义 1 张燕 1 周,Ti 1 周毅 全部的 前5名15篇连载文章中引用 17 逻辑程序设计理论与实践 11 人工智能 三 理论计算机科学 2 数学与人工智能年鉴 1 应用数学与计算 1 信息科学 1 计算机与系统科学杂志 1 计算机科学与技术杂志 1 国际近似推理杂志 1 运筹学年鉴 1 计算统计学 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 Logicheskie Issledovaniya逻辑 全部的 前5名在6个字段中引用 54 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 三 统计学(62-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文