编辑配置文件（在新选项卡中打开） 袁丽燕 合著者距离 作者ID： 袁立言 发布日期： 袁丽燕；袁丽燕 已编制索引的文档： 31出版物自1990年以来 合著者： 17合著者具有27联合出版物 616合著作者 全部的 前5名合著者 2 单作者的 23 你，嘉慧 9 沈一东 4 王一松 三 兰迪·戈贝尔（Randy G.Goebel）。 三 张明义 2 刘国华 2 Ozsoyoglu，Z.梅拉尔 2 周能发 1 贾秀梅 1 李丽武 1 林方珍 1 柯蒂斯·奥努茨科 1 沈，Samuel Shan-Pu 1 王崇海 1 王，柯 1 王显昌 1 利·威拉德 1 杨强 全部的 前5名系列 三 理论计算机科学 三 自动推理杂志 三 逻辑程序设计的理论与实践 2 信息处理信件 2 计算机与系统科学杂志 2 逻辑程序设计杂志 1 人工智能 1 计算机与数学及其应用 1 信息科学 1 计算机与人工智能 1 数学与人工智能年鉴 1 函数与逻辑程序设计杂志 1 ACM计算逻辑事务 领域 30 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用75中的次64文件 引用人▼ 年份▼ 演绎数据库和逻辑程序的三值语义。 Zbl 0821.68080号 你，嘉慧；袁丽燕 19 1994 关于普通逻辑程序语义的等价性。 Zbl 0830.68030号 你，嘉慧；袁丽燕 9 1995 自认知范围和逻辑编程。 兹比尔0782.68076 袁丽燕；你，嘉慧 7 1993 修订后的Gärdenfors假设并更新了语义。 Zbl 0774.68092号 利·威拉德；袁、李艳 5 1990 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东；你，嘉慧；袁丽燕；沈，Samuel S.P。；杨强 5 2003 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东；袁丽燕；你，嘉慧；周能发 三 2001 线性表机制的实现。 Zbl 1037.68035号 周能发；沈义东；袁丽燕；你，嘉慧 三 2001 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松；你，嘉慧；袁丽燕；沈义东 三 2010 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 在确定的DATALOG程序中保持完整性约束。 Zbl 0774.68036号 王，柯；袁丽燕 2 1992 循环检查带函数的逻辑程序。 Zbl 0989.68016号 沈永德（音）。；袁，L.-Y。；你，J.-H。 2 2001 一阶自认知逻辑及其表达能力。 兹伯利0817.03013 袁丽燕 2 1994 具有抽象约束的逻辑程序：表示、析取和复杂性。 Zbl 1149.68339号 你，嘉慧；袁丽燕；刘国华；沈毅东 2 2007 将不可行继承网络编译为通用逻辑程序。 Zbl 0939.68573号 你，J.-H。；王显昌；袁丽英。 2 1999 SLT解析，用于基础良好的语义。 Zbl 1003.68066号 沈义东；袁丽燕；你，嘉慧 2 2002 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松；你，嘉慧；袁丽燕；沈义东；张明义 2 2012 具有功能的重量约束程序。 Zbl 1258.68041号 王一松；你，嘉慧；袁丽燕；张明义 2 2009 逻辑程序语义和自认知理论的范围。 Zbl 0807.68017号 袁丽燕 1 1994 歧视性界限。 Zbl 0732.03027号 袁丽燕；你，嘉慧 1 1990 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈义东；你，嘉慧；袁丽燕 1 2004 具有可评估功能的重量约束程序。 Zbl 1230.68186号 王一松；你，嘉慧；林方珍；袁丽燕；张明义 1 2010 析取逻辑编程的一种溯源方法。 兹比尔0957.68016 你，嘉慧；袁、李艳；兰迪·戈贝尔 1 2000 Smodels中的前瞻性与CSP中的局部一致性进行了比较。 Zbl 1152.68420号 你，嘉慧；刘国华；袁、李艳；柯蒂斯·奥努茨科 1 2005 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松；你，嘉慧；袁丽燕；沈义东；张明义 2 2012 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松；你，嘉慧；袁丽燕；沈义东 三 2010 具有可评估功能的重量约束程序。 Zbl 1230.68186号 王一松；你，嘉慧；林方珍；袁丽燕；张明义 1 2010 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 具有功能的重量约束程序。 Zbl 1258.68041号 王一松；你，嘉慧；袁丽燕；张明义 2 2009 具有抽象约束的逻辑程序：表示、析取和复杂性。 Zbl 1149.68339号 你，嘉慧；袁丽燕；刘国华；沈义东 2 2007 Smodels中的前瞻性与CSP中的局部一致性进行了比较。 Zbl 1152.68420号 你，嘉慧；刘国华；袁丽燕；柯蒂斯·奥努茨科 1 2005 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈毅东；你，嘉慧；袁丽燕 1 2004 描述通用逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东；你，嘉慧；袁、李艳；沈，Samuel S.P。；杨强 5 2003 SLT解析，用于基础良好的语义。 Zbl 1003.68066号 沈义东；袁丽燕；你，嘉慧 2 2002 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东；袁丽燕；你，嘉慧；周能发 三 2001 线性表机制的实现。 Zbl 1037.68035号 周能发；沈义东；袁丽燕；你，嘉慧 三 2001 循环检查带函数的逻辑程序。 Zbl 0989.68016号 沈永德（音）。；袁，L.-Y。；你，J.-H。 2 2001 析取逻辑编程的一种溯源方法。 Zbl 0957.68016号 你，嘉慧；袁丽燕；兰迪·戈贝尔 1 2000 将不可行继承网络编译为通用逻辑程序。 Zbl 0939.68573号 你，J.-H。；王显昌；袁丽英。 2 1999 关于普通逻辑程序语义的等价性。 Zbl 0830.68030号 你，嘉慧；袁丽燕 9 1995 演绎数据库和逻辑程序的三值语义。 Zbl 0821.68080号 你，嘉慧；袁、李艳 19 1994 一阶自认知逻辑及其表达能力。 兹伯利0817.03013 袁丽燕 2 1994 逻辑程序语义和自认知理论的范围。 兹伯利0807.68017 袁丽燕 1 1994 自认知范围和逻辑编程。 Zbl 0782.68076号 袁丽燕；你，嘉慧 7 1993 在确定的DATALOG程序中保持完整性约束。 Zbl 0774.68036号 王，柯；袁丽燕 2 1992 修订后的Gärdefors假设并更新了语义。 Zbl 0774.68092号 利·威拉德；袁丽燕 5 1990 歧视性界限。 Zbl 0732.03027号 袁丽燕；你，嘉慧 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名101位作者引用 11 你，嘉慧 8 袁丽燕 6 托马斯·艾特 5 乔瓦尼·阿蒙多拉 5 尼古拉·利昂 5 沈一东 4 迈克尔·芬克 三 沃尔夫冈·费伯 三 Przymusinski，Teodor C。 三 弗朗西斯科·里卡 三 恰基萨卡马 三 斯特凡·沃尔特兰 2 斯特凡·布拉斯 2 丹尼·德·施雷耶 2 尤尔根·迪克斯 2 卡明·多达罗 2 迈克尔·盖尔芬德 2 井上，胜美 2 林方珍 2 多梅尼科·萨卡 2 克劳迪娅·舒尔茨 2 汉斯·托姆皮茨 2 Voets，院长 2 王克文 2 王一松 2 张明义 1 阿尔坎塔拉，若昂 1 马里奥·阿尔维亚诺 1 马塞洛·巴尔杜奇尼 1 斯特凡诺·巴斯塔 1 尼维斯·R·布里萨博阿。 1 安东尼奥·布罗吉 1 马丁·卡米纳达。 1 大卫·卡拉尔 1 罗伯特·卡特赖特 1 陈火旺 1 沃尔夫冈·德沃亚克 1 豪尔赫·范丁诺 1 塞尔吉奥·弗莱斯卡 1 Foob，Norman Y。 1 戈帕尔·古普塔 1 恩里科·金西格里亚 1 圭多州长 1 塞尔吉奥·格雷科 1 郭海峰 1 郭海峰 1 哈立德·哈杜奇 1 乔瓦姆巴蒂斯塔·伊安尼 1 巴拉特·贾亚拉曼 1 努尔·埃丁·乔达尔 1 马蒂亚斯·克诺尔 1 叶卡捷琳娜·科门丹茨卡亚 1 托马斯·克伦瓦尔纳 1 马库斯·科洛奇 1 吉诺里·库洛泽 1 伊芙琳娜·拉姆 1 法国莱维 1 李孟军 1 李明 1 李伟 1 李，岳 1 李周军 1 刘芳芳 1 刘国华 1 刘冷宁 1 迈克尔·马赫（Michael J.Maher）。 1 保罗·曼卡雷拉 1 马可·马拉提亚 1 马克西米利安·马克思 1 保罗·梅洛 1 约翰·朱尔斯·查尔斯·梅耶 1 伊夫·莫纳德 1 乔昂·莫拉 1 Niemelä，Ilkka N.F。 1 Johannes Oetsch 1 安娜·奥扎基 1 何塞·拉蒙（JoséRamón Paramá） 1 大卫·皮尔斯 1 米盖尔·佩纳巴德。 1 地点，天使S。 1 恩里科·蓬泰利 1 约格·普勒 1 萨菲·鲁比侯 1 克里斯托弗·雷德尔 1 塞巴斯蒂安·鲁道夫 1 萨米·Sá 1 佐藤，肯 1 彼得·舒勒 1 沈宁川 1 索姆贝，莱雅 1 儿子Tran Cao 1 保罗·斯普鲁特 1 Daria A.Stepanova。 1 弗朗西丝卡·托尼 1 特鲁什琴斯基，米洛斯奥 1 罗尔·韦林加（Roel J.Wieringa）。 1 铃木山崎 1 张元林 1 严章加 1 周丽珠 …还有1位作者 全部的 前5名15篇连载文章中引用 12 逻辑程序设计的理论与实践 10 人工智能 10 理论计算机科学 5 数学与人工智能年鉴 三 国际智能系统杂志 2 计算机与系统科学杂志 2 计算机科学与技术杂志 1 信息学报 1 信息处理信件 1 新一代计算 1 自动推理杂志 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在3个字段中引用 63 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文