编辑配置文件（在新选项卡中打开） 你，嘉慧 合著者距离 作者ID： 你.贾-怀 发布日期： 你，嘉慧；你，贾怀 已编制索引的文档： 64出版物自1986年起 合著者： 40位合著者具有57联合出版物 1193合著作者 全部的 前5名合著者 4 单作者的 23 袁丽燕 11 沈一东 7 刘国华 6 王一松 5 刘芳芳 5 张明义 4 兰迪·戈贝尔（Randy G.Goebel）。 4 阿拉什·卡里米 三 林方珍 三 张恒 2 毕、易 2 马里兰州索利穆·乔杜里 2 汤米·詹胡宁 2 贾秀梅 2 林国辉 2 刘志勇 2 Niemelä，Ilkka N.F。 2 间谍，大卫 2 Subrahmanyam，宾夕法尼亚州。 2 吴刚 2 周能发 1 安德烈亚斯·布伦德尔 1 罗伯特·卡特赖特 1 陈、吴 1 冯志勇 1 H.Gerger。 1 Höschen，C。 1 侯贵文 1 黄冠申 1 季建民 1 斯宾塞·基伦 1 李丽武 1 李明 1 邱恩·荣·廖 1 约翰·莫里斯。 1 柯蒂斯·奥努茨科 1 齐格弗里德·施茂德 1 迪特马尔·塞佩尔（Dietmar A.Seipel）。 1 沈，Samuel Shan-Pu 1 帕特里克·西蒙斯 1 王崇海 1 王克文 1 王显昌 1 杨强 1 张燕 全部的 前5名系列 9 逻辑程序设计理论与实践 4 理论计算机科学 三 人工智能 三 自动推理杂志 三 ACM计算逻辑汇刊 2 信息处理信件 2 计算机与系统科学杂志 2 逻辑程序设计杂志 2 计算机基础理论 1 计算机与数学及其应用 1 国际固体与结构杂志 1 计算机与人工智能 1 并行计算 1 符号计算杂志 1 数学与人工智能年鉴 1 函数与逻辑程序设计杂志 领域 62 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用140中的次118文件 引用人▼ 年份▼ 在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号 汤米·詹胡宁；伊尔卡·尼梅尔；迪特马尔·塞佩尔；帕特里克·西蒙斯；你，嘉慧 27 2006 演绎数据库和逻辑程序的三值语义。 Zbl 0821.68080号 你，嘉慧；袁丽燕 19 1994 逻辑编程中的诱拐：基于重写的新定义和诱拐过程。 Zbl 0999.68092号 林方珍；你，嘉慧 9 2002 关于普通逻辑程序语义的等价性。 Zbl 0830.68030号 你，嘉慧；袁丽燕 9 1995 自认知范围和逻辑编程。 兹比尔0782.68076 袁丽燕；你，嘉慧 7 1993 具有（O（n）个四元数误差的最小四元数不一致问题的多项式时间算法。 Zbl 1185.68837号 吴刚；你，嘉慧；林国辉 5 2006 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东；你，嘉慧；袁丽燕；沈，Samuel S.P。；杨强 5 2003 一类合流项重写系统和统一。 Zbl 0642.68032号 你，嘉慧；Subrahmanyam，宾夕法尼亚州。 4 1986 枚举基于构造函数的术语重写系统的外部窄化派生。 Zbl 0678.68099号 你，嘉慧 4 1989 线性表机制的实现。 Zbl 1037.68035号 周能发；沈义东；袁丽燕；你，嘉慧 三 2001 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东；袁丽燕；你，嘉慧；周能发 三 2001 两字面逻辑程序和稳定模型的可满足性表示：比较。 Zbl 1048.68599号 黄冠申；贾秀梅；邱恩·荣·廖；你，嘉慧 三 2002 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 重温了混合MKNF知识库的三值语义。 Zbl 1420.68204号 刘芳芳；你，嘉慧 三 2017 描述逻辑程序的循环公式。 兹比尔1209.68102 王一松；你，嘉慧；袁丽燕；沈义东 三 2010 将不可行继承网络编译为通用逻辑程序。 Zbl 0939.68573号 你，J.-H。；王显昌；袁丽英。 2 1999 循环检查带函数的逻辑程序。 Zbl 0989.68016号 沈永德（音）。；袁，L.-Y。；你，J.-H。 2 2001 SLT解析，用于基础良好的语义。 Zbl 1003.68066号 沈义东；袁丽燕；你，嘉慧 2 2002 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松；你，嘉慧；袁丽燕；沈义东；张明义 2 2012 用于权重约束和聚合逻辑程序的级别映射诱导循环公式。 Zbl 1284.68116号 刘国华；你，嘉慧 2 2010 在规则头中具有存在量化的析取逻辑程序。 Zbl 1314.68100号 你，嘉慧；张恒；张燕 2 2013 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东；你，嘉慧 2 2009 具有函数的权重约束程序。 Zbl 1258.68041号 王一松；你，嘉慧；袁丽燕；张明义 2 2009 Lparse程序重温：聚合的语义和表示。 Zbl 1185.68167号 刘国华；你，嘉慧 2 2008 ASP中的领域相关成本优化规划。 Zbl 1434.68548号 间谍，大卫；你，嘉慧；瑞安·海沃德 2 2019 具有抽象约束的逻辑程序：表示、析取和复杂性。 Zbl 1149.68339号 你，嘉慧；袁丽燕；刘国华；沈义东 2 2007 正规混合MKNF知识库的有充分依据的运算符。 Zbl 1422.68220号 季建民；刘芳芳；你，嘉慧 2 2017 限制追捕终止：分级方法和实验。 Zbl 1518.68363号 阿拉什·卡里米；张恒；你，嘉慧 1 2018 混合MKNF知识库的交替不动点算子作为AFT的近似值。 Zbl 1530.68253号 刘芳芳；你，嘉慧 1 2022 Smodels中的前瞻性与CSP中的局部一致性进行了比较。 Zbl 1152.68420号 你，嘉慧；刘国华；袁丽燕；柯蒂斯·奥努茨科 1 2005 基于构造器的等式理论的外部狭义化。 Zbl 0649.68027号 你，嘉慧 1 1988 析取逻辑编程的一种溯源方法。 Zbl 0957.68016号 你，嘉慧；袁丽燕；兰迪·戈贝尔 1 2000 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈义东；你，嘉慧；袁丽燕 1 2004 具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号 刘国华；兰迪·戈贝尔；汤米·詹胡宁；伊尔卡·尼梅尔；你，嘉慧 1 2011 关联权重约束和聚合程序：语义和表示。 Zbl 1272.68077号 刘国华；你，嘉慧 1 2013 用方程式语言求解方程。 Zbl 0708.68031号 你，嘉慧 1 1989 具有工程界面的铜基复合材料的纤维推出研究：实验和内聚元素模拟。 Zbl 1176.74010号 你，J.-H。；卢茨，W。；H.Gerger。；西迪克，A。；A.布伦德尔。；Höschen，C。；施茂德，S。 1 2009 扩展逻辑编程中的迭代置信度修正。 Zbl 0874.68044号 你，嘉慧；罗伯特·卡特赖特；李明 1 1996 用于逼近不动点理论的灵活逼近器。 Zbl 1355.68244号 刘芳芳；毕、易；马里兰州索利穆·乔杜里；你，嘉慧；冯志勇 1 2016 统一模是等式逻辑程序设计的一种等式理论。 Zbl 0718.68021号 你，嘉慧 1 1991 歧视性界限。 兹比尔0732.03027 袁丽燕；你，嘉慧 1 1990 混合MKNF知识库的交替不动点算子作为AFT的近似值。 Zbl 1530.68253号 刘芳芳；你，嘉慧 1 2022 ASP中的领域相关成本优化规划。 兹比尔1434.68548 间谍，大卫；你，嘉慧；瑞安·海沃德 2 2019 限制追捕终止：分级方法和实验。 Zbl 1518.68363号 阿拉什·卡里米；张恒；你，嘉慧 1 2018 重新审视了混合MKNF知识库的三值语义。 Zbl 1420.68204号 刘芳芳；你，嘉慧 三 2017 资金雄厚的操作员，用于普通混合MKNF知识库。 Zbl 1422.68220号 季建民；刘芳芳；你，嘉慧 2 2017 用于逼近不动点理论的灵活逼近器。 Zbl 1355.68244号 刘芳芳；毕、易；马里兰州索利穆·乔杜里；你，嘉慧；冯志勇 1 2016 在规则头中具有存在量化的析取逻辑程序。 Zbl 1314.68100号 你，嘉慧；张恒；张燕 2 2013 关联权重约束和聚合程序：语义和表示。 Zbl 1272.68077号 刘国华；你，嘉慧 1 2013 描述逻辑程序基于循环公式的语义。 Zbl 1255.68149号 王一松；你，嘉慧；袁丽燕；沈义东；张明义 2 2012 具有抽象约束原子的逻辑程序的强等价性。 Zbl 1327.68067号 刘国华；兰迪·戈贝尔；汤米·詹胡宁；伊尔卡·尼梅尔；你，嘉慧 1 2011 描述逻辑程序的循环公式。 Zbl 1209.68102号 王一松；你，嘉慧；袁丽燕；沈义东 三 2010 用于权重约束和聚合逻辑程序的级别映射诱导循环公式。 兹比尔1284.68116 刘国华；你，嘉慧 2 2010 具有任意约束原子的逻辑程序的稳定模型语义特征。 Zbl 1177.68042号 沈义东；你，嘉慧；袁丽燕 三 2009 具有约束原子的逻辑程序语义的默认方法。 Zbl 1258.68040号 沈义东；你，嘉慧 2 2009 具有功能的重量约束程序。 Zbl 1258.68041号 王一松；你，嘉慧；袁丽燕；张明义 2 2009 具有工程界面的铜基复合材料的纤维推出研究：实验和内聚元素模拟。 Zbl 1176.74010号 你，J.-H。；卢茨，W。；H.Gerger。；西迪克，A。；A.布伦德尔。；Höschen，C。；施茂德，S。 1 2009 Lparse程序重温：聚合的语义和表示。 Zbl 1185.68167号 刘国华；你，嘉慧 2 2008 具有抽象约束的逻辑程序：表示、析取和复杂性。 兹比尔1149.68339 你，嘉慧；袁丽燕；刘国华；沈义东 2 2007 在稳定模型语义中展开偏爱和析取。 Zbl 1367.68035号 汤米·詹胡宁；伊尔卡·尼梅尔；迪特马尔·塞佩尔；帕特里克·西蒙斯；你，嘉慧 27 2006 具有（O（n）个四元数误差的最小四元数不一致问题的多项式时间算法。 Zbl 1185.68837号 吴刚；你，嘉慧；林国辉 5 2006 Smodels中的前瞻性与CSP中的局部一致性进行了比较。 Zbl 1152.68420号 你，嘉慧；刘国华；袁丽燕；柯蒂斯·奥努茨科 1 2005 使用环路切割和制表机制提高全球SLS分辨率。 Zbl 1071.68019号 沈义东；你，嘉慧；袁丽燕 1 2004 描述一般逻辑程序终止的一种动态方法。 Zbl 1365.68152号 沈义东；你，嘉慧；袁丽燕；沈，Samuel S.P。；杨强 5 2003 逻辑编程中的诱拐：基于重写的新定义和诱拐过程。 Zbl 0999.68092号 林方珍；你，嘉慧 9 2002 两字面逻辑程序和稳定模型的可满足性表示：比较。 Zbl 1048.68599号 黄冠申；贾秀梅；邱恩·荣·廖；你，嘉慧 三 2002 SLT解析，用于基础良好的语义。 Zbl 1003.68066号 沈义东；袁丽燕；你，嘉慧 2 2002 线性表机制的实现。 Zbl 1037.68035号 周能发；沈义东；袁丽燕；你，嘉慧 三 2001 基于Prolog控制策略的线性列表分辨率。 Zbl 1090.68533号 沈义东；袁丽燕；你，嘉慧；周能发 三 2001 循环检查带函数的逻辑程序。 兹伯利0989.68016 沈永德（音）。；袁，L.-Y。；你，J.-H。 2 2001 析取逻辑编程的一种溯源方法。 Zbl 0957.68016号 你，嘉慧；袁丽燕；兰迪·戈贝尔 1 2000 将不可行继承网络编译为通用逻辑程序。 Zbl 0939.68573号 你，J.-H。；王显昌；袁，L.Y。 2 1999 扩展逻辑编程中的迭代信念修正。 Zbl 0874.68044号 你，嘉慧；罗伯特·卡特赖特；李明 1 1996 关于普通逻辑程序语义的等价性。 Zbl 0830.68030号 你，嘉慧；袁丽燕 9 1995 演绎数据库和逻辑程序的三值语义。 Zbl 0821.68080号 你，嘉慧；袁丽燕 19 1994 自认知范围和逻辑编程。 Zbl 0782.68076号 袁丽燕；你，嘉慧 7 1993 统一模是等式逻辑程序设计的一种等式理论。 兹比尔0718.68021 你，嘉慧 1 1991 歧视性界限。 Zbl 0732.03027号 袁丽燕；你，嘉慧 1 1990 枚举基于构造函数的术语重写系统的外部窄化派生。 Zbl 0678.68099号 你，嘉慧 4 1989 用方程式语言求解方程。 Zbl 0708.68031号 你，嘉慧 1 1989 基于构造器的方程理论的外部收缩。 Zbl 0649.68027号 你，嘉慧 1 1988 一类合流项重写系统和统一。 Zbl 0642.68032号 你，嘉慧；Subrahmanyam，宾夕法尼亚州。 4 1986 所有引用出版物 前5名被引用出版物 全部的 前5名162位作者引用 19 你，嘉慧 9 托马斯·艾特 8 尼古拉·利昂 8 袁丽燕 7 沃尔夫冈·费伯 7 沈一东 6 弗朗西斯科·里卡 5 马里奥·阿尔维亚诺 5 乔瓦尼·阿蒙多拉 5 迈克尔·芬克 5 马丁·格布瑟 5 王克文 4 林方珍 4 马可·马拉提亚 4 斯特凡·沃尔特兰 三 巴特·博加特 三 Chang、Maw-Shang 三 约翰·克劳斯·费希特 三 Lin，Chuang-Chieh（林庄建） 三 阿尔特·米德尔多普 三 西蒙娜·佩里 三 Przymusinski，Teodor C。 三 彼得·罗斯马尼思 三 恰基萨卡马 2 斯特凡·布拉斯 2 弗朗西斯科·卡利默里 2 丹尼·德·施雷耶 2 尤尔根·迪克斯 2 多达罗，胭脂红 2 迈克尔·盖尔芬德 2 吉安路易吉·格雷科 2 塞尔吉奥·格雷科 2 艾达、铁雄 2 井上，胜美 2 汤米·詹胡宁 2 托马斯·克伦瓦尔纳 2 伊芙琳娜·拉姆 2 尤利亚·利勒 2 刘芳芳 2 保罗·曼卡雷拉 2 约翰内斯·奥奇 2 佐藤奥奎 2 拉斐尔·佩尼亚洛萨 2 克里斯托弗·雷德尔 2 多梅尼科·萨卡 2 泽尼普·戈岑·萨里巴特 2 彼得·舒勒 2 克劳迪娅·舒尔茨 2 间谍，大卫 2 斯泽德，斯特凡 2 汉斯·托姆皮茨 2 弗朗西丝卡·托尼 2 特鲁什琴斯基，米洛斯奥 2 阿古斯汀·瓦尔弗德 2 Voets，院长 2 王一松 2 文，廉 2 张恒 2 张明义 1 马尔科·阿尔贝蒂 1 佐奥州阿尔坎塔拉 1 Gianvincenzo阿尔法诺 1 玛丽亚·阿尔普特 1 法布里西奥·安吉乌利 1 马塞洛·巴尔杜奇尼 1 奇塔·R·巴拉尔。 1 斯特凡诺·巴斯塔 1 雷切尔·本·埃利亚胡·佐哈里 1 曼纽尔·比什勒 1 亚历山大·博克迈尔 1 弗莱德里克·博朗格 1 雷米·布罗赫宁 1 安东尼奥·布罗吉 1 马丁·卡米纳达。 1 罗伯特·卡特赖特 1 陈火旺 1 弗朗西索·科雷亚 1 斯特凡妮娅·科斯坦蒂尼 1 沃尔夫·德·沃尔夫 1 马克·德纳克 1 邓军 1 伊戈尔·杜文 1 沃尔夫冈·德沃亚克 1 乌尔·恩德里斯 1 莫雷诺，法拉斯基 1 豪尔赫·范丁诺 1 克里斯蒂娜·费尔 1 塞尔吉奥·弗莱斯卡 1 Foob，Norman Y。 1 安德烈亚·福米萨诺 1 戈帕尔·古普塔 1 恩里科·金西格里亚 1 圭多州长 1 西尔万·吉列莫特 1 郭海峰 1 郭海峰 1 埃里克·哈蒙 1 斯迪恩·海曼斯 1 乔瓦姆巴蒂斯塔·伊安尼 1 都铎·B·伊奥内斯库。 …还有62位作者 全部的 前5名20篇连载文章中引用 30 逻辑程序设计理论与实践 22 人工智能 11 理论计算机科学 5 数学与人工智能年鉴 4 计算机与系统科学杂志 三 自动推理杂志 三 ACM计算逻辑汇刊 2 信息处理信件 2 符号计算杂志 2 应用逻辑杂志 1 Studia Logica公司 1 分类杂志 1 计算机科学与技术杂志 1 新一代计算 1 国际近似推理杂志 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 计算系统理论 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 全部的 前5名在6个字段中引用 117 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 4 生物学和其他自然科学（92-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文