×
作者ID: 李乔洪“Lee,Joohyng”最近发表的zbMATH文章
发布日期: Lee,Joohyng先生
已编制索引的文档: 37出版物自2003年起
3作为编辑的贡献
合著者: 26位合著者具有38联合出版物
301合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文