编辑配置文件（在新选项卡中打开） 沈一东 合著者距离 作者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文件 引用人▼ 年份▼ 在答案集编程中评估认知否定。 兹比尔1358.68278 沈义东；托马斯·艾特 14 2016 对于一般逻辑程序，FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈义东；王克文；托马斯·艾特；迈克尔·芬克；克里斯托夫·雷德尔；托马斯·克伦瓦尔纳；邓军 11 2014 线性列表策略和优化。 Zbl 1128.68018号 周能发；大辅佐藤；沈义东 7 2008 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东；你，嘉慧；袁丽燕；沈，Samuel S.P。；杨强 5 2003 使用遗传算法进行自动聚类。 Zbl 1229.65100号 刘永国；吴新东；沈一东 4 2011 线性表机制的实现。 Zbl 1037.68035号 周能发；沈义东；袁丽燕；你，嘉慧 三 2001 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东；袁丽燕；你，嘉慧；周能发 三 2001 通过延时控制应用磁性轴承。 Zbl 1273.70066号 D.J.宣。；金，Y.B。；金·J·W·。；沈永德（Shen，Y.D.）。 三 2009 通用逻辑程序的终止预测。 Zbl 1184.68162号 沈义东；丹尼·德·施雷耶；Voets，院长 三 2009 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松；你，嘉慧；袁丽燕；沈义东 三 2010 循环检查带函数的逻辑程序。 兹伯利0989.68016 沈永德（音）。；袁，L.-Y。；你，J.-H。 2 2001 SLT解析，用于基础良好的语义。 Zbl 1003.68066号 沈义东；袁丽燕；你，嘉慧 2 2002 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松；你，嘉慧；袁、李艳；沈义东；张明义 2 2012 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东；你，嘉慧 2 2009 确定析取逻辑程序的推理语义。 Zbl 1483.68061号 沈毅东；托马斯·艾特 2 2019 具有抽象约束的逻辑程序：表示、析取和复杂性。 Zbl 1149.68339号 你，嘉慧；袁丽燕；刘国华；沈义东 2 2007 在封闭世界假设下确定数据库一致性的算法。 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 1273.70066号 D.J.宣。；金，Y.B。；金·J·W·。；沈永德（Shen，Y.D.）。 三 2009 通用逻辑程序的终止预测。 兹比尔1184.68162 沈义东；丹尼·德·施雷耶；Voets，院长 三 2009 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东；你，嘉慧 2 2009 线性列表策略和优化。 兹比尔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 循环检查带函数的逻辑程序。 兹伯利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 阮庄，陶 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 周，梯 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） 按年份列出的引文