编辑配置文件(在新选项卡中打开) Lee,Joohyng先生 合著者距离 作者ID: 李乔洪 发布日期: Lee,Joohyng先生 已编制索引的文档: 37出版物自2003年起 3作为编辑的贡献 合著者: 26位合著者具有38联合出版物 301合作作者 全部的 前5名合著者 2 单作者的 7 弗拉基米尔·利夫希茨 7 王毅 5 尤利亚·利勒 5 孟云松 4 约瑟夫·巴伯 4 保罗·费拉里斯 4 拉维·帕拉 三 迈克尔·巴塞洛缪 2 埃斯拉·埃尔登 2 沃尔夫冈·费伯 2 马丁·盖布瑟 2 哈德森·特纳 2 杨芳凯 2 Yang、Zhun 1 瓦罗尔·阿克曼 1 迈克尔·卡索拉里 1 塞利姆·T·埃尔多安。 1 恩里科·金西格里亚 1 内拉坎坦省卡塔 1 林方珍 1 尼基尔·罗尼 1 诺曼·麦凯恩 1 任婉婉 1 阿尔伯特·罗丹 1 萨米德塔尔萨尼亚 1 张世奇 全部的 前5名系列 10 逻辑程序设计理论与实践 5 人工智能 2 人工智能研究杂志 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 计算机科学课堂讲稿 字段 40 计算机科学(68-XX) 7 数学逻辑和基础(03-XX) 三 总体主题;集合(00-XX) 2 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用276中的次176文件 引用人▼ 年份▼ 非单调因果理论。 Zbl 1085.68161号 恩里科·金西格里亚;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 68 2004 稳定模型和范围。 Zbl 1227.68103号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 44 2011 析取逻辑程序的循环公式。 Zbl 1204.68056号 Lee,Joohyng先生;弗拉基米尔·利夫希茨 18 2003 用因果计算器的语言表示动物园世界和交通世界。 Zbl 1085.68679号 瓦罗尔·阿克曼;塞利姆·T·埃尔多安。;Lee,Joohyng先生;弗拉基米尔·利夫希茨;哈德森·特纳 18 2004 正确的推理。关于基于逻辑的人工智能的论文,以纪念Vladimir Lifschitz。 Zbl 1241.68016号 12 2012 Lin-Zhao定理的推广。 Zbl 1105.68015号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 11 2006 在稳定模型的一般理论和答案集编程中,对情况演算和事件演算进行了改革。 Zbl 1246.68210号 Lee,Joohyng先生;拉维·帕拉 10 2012 无磁头元件逻辑程序。 Zbl 1149.68333号 马丁·盖布瑟;Lee,Joohyng先生;尤利亚·利勒 8 2007 系统aspmt2米:通过SMT求解器计算ASPMT理论。 Zbl 1432.68055号 迈克尔·巴塞洛缪;Lee,Joohyng先生 7 2014 一阶稳定模型语义和一阶循环公式。 Zbl 1234.68247号 Lee,Joohyng先生;孟云松 6 2011 使用ASP和MLN解算器计算\(\mathrm{LP}^{\mathrm{MLN}}\)。 Zbl 1422.68026号 Lee,Joohyng先生;萨米德塔尔萨尼亚;王毅 6 2017 Cplus2ASP:答案集编程中的计算动作语言({\mathcal C}+\)。 Zbl 1405.68041号 约瑟夫·巴伯;Lee,Joohyng先生 6 2013 在答案集编程中表示因果计算器的语言。 Zbl 1245.68048号 迈克尔·卡索拉里;Lee,Joohyng先生 6 2011 关于答案集编程中聚合的约简语义。 Zbl 1258.68032号 Lee,Joohyng先生;孟云松 6 2009 用于限定的循环公式。 Zbl 1131.68105号 Lee,Joohyng先生;林方珍 5 2006 关于内涵函数的稳定模型语义。 Zbl 1286.68041号 迈克尔·巴塞洛缪;Lee,Joohyng先生 5 2013 关于逻辑程序的基本循环。 Zbl 1242.68050号 马丁·盖布瑟;Lee,Joohyng先生;尤利亚·利勒 4 2011 稳定模型一般理论中的安全公式。(初步报告)。 Zbl 1185.68163号 Lee,Joohyng先生;弗拉基米尔·利夫希茨;拉维·帕拉 4 2008 动作语言的概率扩展(mathcal{BC}+\)。 Zbl 1451.68263号 Lee,Joohyng先生;王毅 4 2018 通过概率动作语言(p\mathcal{BC}+\)的决策论扩展,阐述了马尔可夫决策过程的容错表示。 Zbl 1522.68116号 王毅;Lee,Joohyng先生 三 2019 在线动作语言(o\mathcal{BC}+\)。 Zbl 1467.68180号 约瑟夫·巴伯;Lee,Joohyng先生 三 2015 在一阶稳定模型语义中集成规则和本体(初步报告)。 兹比尔1327.68065 Lee,Joohyng先生;拉维·帕拉 三 2011 用逻辑程序表示一阶因果理论。 兹比尔1247.68043 保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 三 2012 稳定模型一般理论的模定理。 Zbl 1261.68037号 约瑟夫·巴伯;Lee,Joohyng先生 三 2012 不确定性与确定性因果理论。 Zbl 1122.68626号 Lee,Joohyng先生 2 2004 稳定模型语义下的马尔可夫逻辑型加权规则。 兹比尔1407.68084 Lee,Joohyng先生;孟云松;王毅 2 2015 模糊命题公式的稳定模型。 Zbl 1432.68447号 Lee,Joohyng先生;王毅 2 2014 具有内涵函数的一阶稳定模型语义。 Zbl 1478.68341号 迈克尔·巴塞洛缪;Lee,Joohyng先生 2 2019 翻译LPOD和CR-\(\mathrm{序言}_2\)进入标准答案集程序。 Zbl 1451.68065号 Lee,Joohyng先生;Yang、Zhun 1 2018 动作语言\(\mathcal{BC}+\)。 Zbl 1487.68236号 约瑟夫·巴伯;Lee,Joohyng先生 1 2020 通过概率动作语言将常识推理和概率规划联系起来。 Zbl 1434.68551号 王毅;张世奇;Lee,Joohyng先生 1 2019 用动作语言模理论表示混合自动机。 Zbl 1422.68154号 Lee,Joohyng先生;尼基尔·罗尼;孟云松 1 2017 在答案集编程中重新设置动作语言\(\mathcal{C}+\)。 Zbl 1357.68222号 Lee,Joohyng先生 1 2012 动作语言\(\mathcal{BC}+\)。 Zbl 1487.68236号 约瑟夫·巴伯;Lee,Joohyng先生 1 2020 通过概率动作语言(p\mathcal{BC}+\)的决策论扩展,阐述了马尔可夫决策过程的容错表示。 Zbl 1522.68116号 王毅;Lee,Joohyng先生 三 2019 具有内涵函数的一阶稳定模型语义。 Zbl 1478.68341号 迈克尔·巴塞洛缪;Lee,Joohyng先生 2 2019 通过概率动作语言将常识推理和概率规划联系起来。 Zbl 1434.68551号 王毅;张世奇;Lee,Joohyng先生 1 2019 动作语言的概率扩展(mathcal{BC}+\)。 Zbl 1451.68263号 Lee,Joohyng先生;王毅 4 2018 翻译LPOD和CR-\(\mathrm{序言}_2\)进入标准答案集程序。 Zbl 1451.68065号 Lee,Joohyng先生;Yang、Zhun 1 2018 使用ASP和MLN解算器计算\(\mathrm{LP}^{\mathrm{MLN}}\)。 Zbl 1422.68026号 Lee,Joohyng先生;萨米德塔尔萨尼亚;王毅 6 2017 用动作语言模理论表示混合自动机。 Zbl 1422.68154号 Lee,Joohyng先生;尼基尔·罗尼;孟云松 1 2017 在线动作语言(o\mathcal{BC}+\)。 Zbl 1467.68180号 约瑟夫·巴伯;Lee,Joohyng先生 三 2015 稳定模型语义下的马尔可夫逻辑型加权规则。 Zbl 1407.68084号 Lee,Joohyng先生;孟云松;王毅 2 2015 系统aspmt2米:通过SMT求解器计算ASPMT理论。 Zbl 1432.68055号 迈克尔·巴塞洛缪;Lee,Joohyng先生 7 2014 模糊命题公式的稳定模型。 Zbl 1432.68447号 Lee,Joohyng先生;王毅 2 2014 Cplus2ASP:答案集编程中的计算动作语言({\mathcal C}+\)。 兹比尔1405.68041 约瑟夫·巴伯;Lee,Joohyng先生 6 2013 关于内涵函数的稳定模型语义。 Zbl 1286.68041号 迈克尔·巴塞洛缪;Lee,Joohyng先生 5 2013 正确的推理。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。 Zbl 1241.68016号 12 2012 在稳定模型的一般理论和答案集编程中,对情境演算和事件演算进行了改革。 兹比尔1246.68210 Lee,Joohyng先生;拉维·帕拉 10 2012 用逻辑程序表示一阶因果理论。 Zbl 1247.68043号 保罗·费拉里斯;Lee,Joohyng先生;尤利亚·利勒;弗拉基米尔·利夫希茨;杨芳凯 三 2012 稳定模型一般理论的模定理。 Zbl 1261.68037号 约瑟夫·巴伯;Lee,Joohyng先生 三 2012 在答案集编程中重新设置动作语言\(\mathcal{C}+\)。 Zbl 1357.68222号 Lee,Joohyng先生 1 2012 稳定模型和范围。 Zbl 1227.68103号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 44 2011 一阶稳定模型语义和一阶循环公式。 Zbl 1234.68247号 Lee,Joohyng先生;孟云松 6 2011 在答案集编程中表示因果计算器的语言。 Zbl 1245.68048号 迈克尔·卡索拉里;Lee,Joohyng先生 6 2011 关于逻辑程序的基本循环。 Zbl 1242.68050号 马丁·盖布瑟;Lee,Joohyng先生;尤利亚·利勒 4 2011 在一阶稳定模型语义中集成规则和本体(初步报告)。 Zbl 1327.68065号 Lee,Joohyng先生;拉维·帕拉 三 2011 关于答案集编程中聚合的约简语义。 Zbl 1258.68032号 Lee,Joohyng先生;孟云松 6 2009 稳定模型一般理论中的安全公式。(初步报告)。 Zbl 1185.68163号 Lee,Joohyng先生;弗拉基米尔·利夫希茨;拉维·帕拉 4 2008 无磁头元件逻辑程序。 Zbl 1149.68333号 马丁·盖布瑟;Lee,Joohyng先生;尤利亚·利勒 8 2007 Lin-Zhao定理的推广。 Zbl 1105.68015号 保罗·费拉里斯;Lee,Joohyng先生;弗拉基米尔·利夫希茨 11 2006 用于限定的循环公式。 兹比尔1131.68105 Lee,Joohyng先生;林方珍 5 2006 非单调因果理论。 Zbl 1085.68161号 恩里科·金西格里亚;Lee,Joohyng先生;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 68 2004 用因果计算器的语言表示动物园世界和交通世界。 Zbl 1085.68679号 瓦罗尔·阿克曼;塞利姆·T·埃尔多安。;Lee,Joohyng先生;弗拉基米尔·利夫希茨;哈德森·特纳 18 2004 不确定性与确定性因果理论。 Zbl 1122.68626号 Lee,Joohyng先生 2 2004 析取逻辑程序的循环公式。 Zbl 1204.68056号 Lee,Joohyng先生;弗拉基米尔·利夫希茨 18 2003 所有引用出版物 前5名被引用出版物 全部的 前5名248位作者引用 18 Lee,Joohyng先生 15 弗拉基米尔·利夫希茨 11 托马斯·艾特 9 尤利亚·利勒 8 佩德罗·卡巴拉尔 8 林方珍 8 托尔斯滕·绍布(Torsten H.Schaub)。 7 埃斯拉·埃尔登 7 马丁·盖布瑟 7 张燕 6 豪尔赫·范丁诺 6 阿米莉亚·哈里森 6 弗朗西斯科·里卡 6 迈克尔·泰尔舍尔 6 杨芳凯 5 马里奥·阿尔维亚诺 5 沃尔夫冈·费伯 5 迈克尔·芬克 5 周毅 4 费利西达·阿瓜多 4 乔瓦尼·阿蒙多拉 4 亚历山大·阿提基斯 4 迈克尔·盖尔芬德 4 罗兰·卡明斯基 4 路易吉·帕洛波利 4 沃尔坎州帕托格鲁 4 吉尔伯托·佩雷斯 4 沈一东 4 康塞普西翁·维达尔 4 斯特凡·沃尔特兰 三 法布里西奥·安吉乌利 三 弗农·亚松森 三 迈克尔·巴塞洛缪 三 梅胡尔·巴特 三 陈小平 三 马丁·迪盖兹 三 卡明·多达罗 三 法比奥·法塞蒂 三 保罗·费拉里斯 三 劳拉·佐丹奴 三 恩里科·金西格里亚 三 吉安路易吉·格雷科 三 达尼埃拉·因利赞 三 托马斯·克伦瓦尔纳 三 尼古拉·利昂 三 乔治·巴利乌拉斯 三 马雷克·塞尔戈特。 三 汉斯·托姆皮茨 三 特鲁什琴斯基,米洛斯奥 三 王克文 三 王毅 三 你,嘉慧 2 Jean-Marc阿利奥特 2 华金·阿里亚斯 2 约瑟夫·巴伯 2 雷切尔·本·埃利亚胡·佐哈里 2 亚历山大·波奇曼 2 曼纽尔·卡罗 2 陈,尹 2 陈卓 2 罗伯特·P·M·克雷文。 2 马丁·德·科克 2 阿戈斯蒂诺·多维尔 2 曼弗雷德·埃普 2 路易斯·法利尼亚斯·德尔·塞罗 2 安德烈亚·福米萨诺 2 戈帕尔·古普塔 2 扎卡里·汉森 2 季建民 2 本杰明·考夫曼 2 帕特里克·吕内 2 马可·曼纳 2 马可·马拉提亚 2 阿尔贝托·马泰利 2 蘑菇、蘑菇 2 西奥多·帕特科斯 2 普列克索萨基斯,迪米特里斯 2 恩里科·蓬泰利 2 亨利·普拉德。 2 克里斯托夫·雷德尔 2 史蒂文·肖卡特 2 卡尔·R·舒尔茨。 2 詹森科 2 沈军 2 汉内斯·斯特拉斯 2 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 2 塞塞迪尔·杜普雷,丹尼尔 2 哈德森·特纳 2 Wałga,Przemys aw Andrzej 2 王斌 2 张恒 2 张明义 2 张世奇 2 张树涛 2 张志正 1 法西·艾哈迈德 1 瓦罗尔·阿克曼 1 亚西内·阿米拉特 1 安娜斯塔西娅·安娜斯塔西 1 迈克尔·安德森。 …还有148位作者 全部的 前5名18篇连载文章中引用 47 逻辑程序设计理论与实践 44 人工智能 15 数学与人工智能年鉴 4 国际近似推理杂志 4 应用逻辑杂志 三 应用非经典逻辑杂志 三 ACM计算逻辑事务 2 计算机与系统科学杂志 2 逻辑、语言与信息杂志 1 模糊集与系统 1 哲学逻辑杂志 1 逻辑研究 1 合成 1 自动推理杂志 1 吉泰。实验与理论人工智能杂志 1 人工智能研究杂志 1 中国科学。F系列 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 169 计算机科学(68-XX) 35 数学逻辑和基础(03-XX) 5 生物学和其他自然科学(92-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 1 历史和传记(01-XX) 按年份列出的引文