编辑配置文件(在新选项卡中打开) Hector J.列夫斯克。 合著者距离 作者ID: levesque.公顷-j 发布方式: Hector J.列夫斯克。;H.J.列夫斯克。;赫克托·列夫斯克;列夫斯克,H。 更多。。。较少的 已编制索引的文档: 46出版物自1983年以来,包括3本书 3作为编辑的贡献·1进一步贡献 传记参考: 1出版物 合著者: 22合著者具有43联合出版物 451位联合作者 全部的 前5名合著者 7 单作者的 10 伊夫莱斯佩伦斯 7 格哈德·莱克梅耶 5 朱塞佩·德·贾科莫 4 瓦夏克·贝勒 4 罗纳德·布拉赫曼。 4 巴特·塞尔曼 三 林方珍 三 雷蒙德·雷特 三 理查德·谢尔(Richard B.Scherl)。 三 史蒂文·夏皮罗 2 菲利普·科恩。 2 大卫·G·M·米切尔(David G.M.Mitchell)。 2 约翰·米洛波洛斯 2 塞巴斯蒂安·萨迪纳 1 法希姆·巴克斯 1 杰米·卡博内尔(Jaime G.Carbonell)。 1 尼克·塞尔科内。 1 科雷拉,A。 1 詹姆斯·德尔格兰德。 1 芬德勒,尼古拉斯五世。 1 霍贾特·加德利 1 兰迪·戈贝尔(Randy G.Goebel)。 1 Joseph Yehuda Halpern 1 亨德里克斯,G.G。 1 杰根·贾纳斯(Jürgen M.Janas)。 1 刘永梅 1 詹姆斯·麦克斯基明(James R.McSkimin)。 1 杰克·明克尔 1 莫里斯·帕格努科 1 菲奥拉·皮里 1 查尔斯·里格尔(Charles J.III Rieger) 1 克里斯托弗·K·里斯贝克。 1 尚克,罗杰·C。 1 舒伯特,Lenhart K。 1 卡米拉·施温德。 1 斯图亚特·查尔斯·夏皮罗 1 罗伯特·西蒙斯。 1 斯塔夫罗斯·瓦索斯 1 尤里克·威尔克斯(Yorick A.Wilks)。 全部的 前5名系列 18 人工智能 三 Studia Logica公司 1 逻辑程序设计杂志 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 应用逻辑杂志 1 逻辑研究(伦敦) 领域 50 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 2 一般性和全局性主题;集合(00-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物有被引用618中的次410文件 引用人▼ 年份▼ 我所知道的是:关于自认知逻辑的研究。 Zbl 0724.03019号 Hector J.列夫斯克。 74 1990 意图是选择和承诺。 兹比尔0721.03017 菲利普·科恩。;Hector J.列夫斯克。 70 1990 GOLOG:一种用于动态域的逻辑编程语言。 Zbl 0880.68008号 Hector J.列夫斯克。;雷蒙德·雷特;伊夫莱斯佩伦斯;林方珍;理查德·谢尔(Richard B.Scherl)。 68 1997 知识表示阅读。 Zbl 0609.68007号 46 1985 知识、行动和框架问题。 Zbl 1079.68625号 理查德·谢尔(Richard B.Scherl)。;Hector J.列夫斯克。 41 2003 知识表达功能方法的基础。 Zbl 0548.68090号 Hector J.列夫斯克。 38 1984 产生难以满足的问题。 Zbl 1508.68347号 巴特·塞尔曼;大卫·G·米切尔。;Hector J.列夫斯克。 38 1996 情境演算中关于噪声传感器和效应器的推理。 Zbl 0996.68192号 法希姆·巴克斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;Hector J.列夫斯克。 31 1999 关联网络。用计算机表示和使用知识。 Zbl 0473.68088号 31 1979 绑架的知识水平说明(初步版本)。 Zbl 0713.68059号 Hector J.列夫斯克。 22 1989 知识表示和推理的表达能力和可驾驭性。 Zbl 1341.68228号 Hector J.列夫斯克。;罗纳德·布拉赫曼。 20 2011 ConGolog,一种基于情境演算的并发编程语言。 兹伯利0948.68175 德贾科莫,G。;Lespérance,Y。;H.J.列夫斯克。 17 2000 能力和了解如何进行情境演算。 Zbl 0968.68151号 伊夫莱斯佩伦斯;Hector J.列夫斯克。;林方珍;理查德·谢尔(Richard B.Scherl)。 14 2000 知识库的逻辑。 Zbl 0998.68044号 Hector J.列夫斯克。;格哈德·莱克梅耶 13 2001 基于路径的继承的易处理性。 Zbl 0714.68094号 巴特·塞尔曼;Hector J.列夫斯克。 13 1989 情境演算中的反复信念改变。 Zbl 1216.68275号 史蒂文·夏皮罗;莫里斯·帕格努科;伊夫莱斯佩伦斯;Hector J.列夫斯克。 12 2011 关于IndiGolog中审议的语义——从理论到实施。 Zbl 1048.68100号 塞巴斯蒂安·萨迪纳;朱塞佩·德·贾科莫;伊夫莱斯佩伦斯;Hector J.列夫斯克。 11 2004 情境演算中有用片段的语义特征和知识。 Zbl 1216.68269号 格哈德·莱克梅耶;Hector J.列夫斯克。 8 2011 高级程序的增量解释器,具有感知功能。 Zbl 0944.68170号 朱塞佩·德·贾科莫;Hector J.列夫斯克。 7 1999 默认情况下进程的语义描述。 Zbl 1248.68477号 格哈德·莱克梅耶;Hector J.列夫斯克。 7 2009 支持外展推理和默认推理的集合选择。 Zbl 1506.68144号 巴特·塞尔曼;Hector J.列夫斯克。 7 1996 一种易于驾驭的知识表示服务,具有充分的自省能力。 Zbl 0725.68101号 格哈德·莱克梅耶;Hector J.列夫斯克。 6 1988 情境演算中的机器人位置估计。 Zbl 1388.68274号 贝儿,瓦伊沙克;Hector J.列夫斯克。 6 2015 基于路径的可终止继承的复杂性。 Zbl 0779.68080号 巴特·塞尔曼;Hector J.列夫斯克。 5 1993 认知代理规范语言和验证环境。 Zbl 1201.68127号 夏皮罗,S。;Lespérance,Y。;H.J.列夫斯克。 5 2010 动力系统中离散和连续噪声传感器和效应器的推理。 Zbl 1451.68254号 瓦夏克·贝勒;Hector J.列夫斯克。 5 2018 随机SAT实验者的一些陷阱。 Zbl 1508.68340号 大卫·G·米切尔。;Hector J.列夫斯克。 5 1996 机器人能做什么:机器人程序和有效的可实现性。 Zbl 0909.68176号 林方珍;Hector J.列夫斯克。 4 1998 情境演算中的目标改变。 Zbl 1132.68054号 史蒂文·夏皮罗;伊夫莱斯佩伦斯;Hector J.列夫斯克。 三 2007 如何处理数据库。三、。 Zbl 1270.68291号 斯塔夫罗斯·瓦索斯;Hector J.列夫斯克。 三 2013 协调和联合能力的逻辑理论。 Zbl 1341.68283号 霍贾特·加德利;Hector J.列夫斯克。;伊夫莱斯佩伦斯 三 2011 建模和编程代理的情境演算方法。 Zbl 0968.68152号 Lespérance,Y。;H.J.列夫斯克。;R·赖特。 2 1999 查询AOL知识库。初步报告。 Zbl 1008.68127号 格哈德·莱克梅耶;Hector J.列夫斯克。 2 2000 本地化的逻辑理论。 Zbl 1371.03040号 瓦夏克·贝勒;Hector J.列夫斯克。 2 2016 随机域中的回归和级数。 Zbl 1435.68311号 瓦夏克·贝勒;Hector J.列夫斯克。 2 2020 无厘头的知识和机器人的动作——一个合乎逻辑的解释。 Zbl 1507.68308号 伊夫莱斯佩伦斯;Hector J.列夫斯克。 2 1995 两种有效的开放世界推理方法。 Zbl 0979.68097号 朱塞佩·德·贾科莫;赫克托·列夫斯克 1 2000 1989年5月15日至18日在加拿大安大略省多伦多市举行的第一届知识表示和推理原则国际会议(KR’89)会议记录。 Zbl 0699.00013号 1 1989 我们的最佳行为。 Zbl 1405.68274号 Hector J.列夫斯克。 1 2014 知识表示概述。 Zbl 0551.68077号 约翰·米洛波洛斯;赫克托·列夫斯克 1 1983 常识、图灵测试和对真正人工智能的探索。 兹比尔1364.68002 Hector J.列夫斯克。 1 2017 将行动模型纳入情境演算。 Zbl 1344.03018号 刘永梅;Hector J.列夫斯克。 1 2014 随机域中的回归和级数。 Zbl 1435.68311号 瓦夏克·贝勒;Hector J.列夫斯克。 2 2020 动力系统中离散和连续噪声传感器和效应器的推理。 Zbl 1451.68254号 瓦夏克·贝勒;Hector J.列夫斯克。 5 2018 常识、图灵测试和对真正人工智能的探索。 兹比尔1364.68002 Hector J.列夫斯克。 1 2017 本地化的逻辑理论。 Zbl 1371.03040号 瓦夏克·贝勒;Hector J.列夫斯克。 2 2016 情境演算中的机器人位置估计。 Zbl 1388.68274号 瓦夏克·贝勒;Hector J.列夫斯克。 6 2015 我们的最佳行为。 Zbl 1405.68274号 Hector J.列夫斯克。 1 2014 将行动模型纳入情境演算。 Zbl 1344.03018号 刘永梅;Hector J.列夫斯克。 1 2014 如何处理数据库。三、。 Zbl 1270.68291号 斯塔夫罗斯·瓦索斯;Hector J.列夫斯克。 三 2013 知识表示和推理的表达能力和可驾驭性。 Zbl 1341.68228号 Hector J.列夫斯克。;罗纳德·布拉赫曼。 20 2011 情境演算中的反复信念改变。 兹比尔1216.68275 史蒂文·夏皮罗;莫里斯·帕格努科;伊夫莱斯佩伦斯;Hector J.列夫斯克。 12 2011 情境演算中有用片段的语义特征和知识。 Zbl 1216.68269号 格哈德·莱克梅耶;Hector J.列夫斯克。 8 2011 协调和联合能力的逻辑理论。 Zbl 1341.68283号 霍贾特·加德利;Hector J.列夫斯克。;伊夫莱斯佩伦斯 三 2011 认知代理规范语言和验证环境。 Zbl 1201.68127号 夏皮罗,S。;Lespérance,Y。;H.J.列夫斯克。 5 2010 默认情况下进程的语义描述。 Zbl 1248.68477号 格哈德·莱克梅耶;Hector J.列夫斯克。 7 2009 情境演算中的目标改变。 Zbl 1132.68054号 史蒂文·夏皮罗;伊夫莱斯佩伦斯;Hector J.列夫斯克。 三 2007 关于IndiGolog中审议的语义——从理论到实施。 Zbl 1048.68100号 塞巴斯蒂安·萨迪纳;朱塞佩·德·贾科莫;伊夫莱斯佩伦斯;Hector J.列夫斯克。 11 2004 知识、行动和框架问题。 Zbl 1079.68625号 理查德·谢尔(Richard B.Scherl)。;Hector J.列夫斯克。 41 2003 知识库的逻辑。 兹比尔0998.68044 Hector J.列夫斯克。;格哈德·莱克梅耶 13 2001 ConGolog,一种基于情境演算的并发编程语言。 Zbl 0948.68175号 德贾科莫,G。;Lespérance,Y。;H.J.列夫斯克。 17 2000 能力和了解如何进行情境演算。 Zbl 0968.68151号 伊夫莱斯佩伦斯;Hector J.列夫斯克。;林方珍;理查德·谢尔(Richard B.Scherl)。 14 2000 查询AOL知识库。初步报告。 Zbl 1008.68127号 格哈德·莱克梅耶;Hector J.列夫斯克。 2 2000 有效的开放世界推理的两种方法。 Zbl 0979.68097号 朱塞佩·德·贾科莫;赫克托·列夫斯克 1 2000 情境演算中关于噪声传感器和效应器的推理。 Zbl 0996.68192号 法希姆·巴克斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;Hector J.列夫斯克。 31 1999 高级程序的增量解释器,具有感知功能。 兹比尔0944.68170 朱塞佩·德·贾科莫;Hector J.列夫斯克。 7 1999 建模和编程代理的情境演算方法。 Zbl 0968.68152号 Lespérance,Y。;H.J.列夫斯克。;R·赖特。 2 1999 机器人能做什么:机器人程序和有效的可实现性。 Zbl 0909.68176号 林方珍;Hector J.列夫斯克。 4 1998 GOLOG:一种用于动态域的逻辑编程语言。 Zbl 0880.68008号 Hector J.列夫斯克。;雷蒙德·雷特;伊夫莱斯佩伦斯;林芳珍;理查德·谢尔(Richard B.Scherl)。 68 1997 产生难以满足的问题。 Zbl 1508.68347号 巴特·塞尔曼;大卫·G·米切尔。;Hector J.列夫斯克。 38 1996 支持外展推理和默认推理的集合选择。 Zbl 1506.68144号 巴特·塞尔曼;Hector J.列夫斯克。 7 1996 随机SAT的实验者面临的一些陷阱。 Zbl 1508.68340号 大卫·G·米切尔。;Hector J.列夫斯克。 5 1996 无厘头的知识和机器人的动作——一个合乎逻辑的解释。 Zbl 1507.68308号 伊夫莱斯佩伦斯;Hector J.列夫斯克。 2 1995 基于路径的可终止继承的复杂性。 Zbl 0779.68080号 巴特·塞尔曼;Hector J.列夫斯克。 5 1993 我所知道的:一项关于自我认识逻辑的研究。 Zbl 0724.03019号 Hector J.列夫斯克。 74 1990 意图是选择和承诺。 兹比尔0721.03017 菲利普·科恩。;Hector J.列夫斯克。 70 1990 绑架的知识水平说明(初步版本)。 Zbl 0713.68059号 Hector J.列夫斯克。 22 1989 基于路径的继承的易处理性。 Zbl 0714.68094号 巴特·塞尔曼;Hector J.列夫斯克。 13 1989 1989年5月15日至18日在加拿大安大略省多伦多市举行的第一届知识表示和推理原则国际会议(KR’89)会议记录。 Zbl 0699.00013号 1 1989 一种易于驾驭的知识表示服务,具有充分的自省能力。 Zbl 0725.68101号 格哈德·莱克梅耶;Hector J.列夫斯克。 6 1988 知识表示阅读。 Zbl 0609.68007号 46 1985 知识表示的函数方法基础。 Zbl 0548.68090号 Hector J.列夫斯克。 38 1984 知识表示概述。 Zbl 0551.68077号 约翰·米洛波洛斯;赫克托·列夫斯克 1 1983 关联网络。计算机对知识的表示和使用。 Zbl 0473.68088号 31 1979 所有引用出版物 前5名被引用出版物 全部的 前5名590位作者引用 18 Hector J.列夫斯克。 12 格哈德·莱克梅耶 10 安德烈亚斯·赫齐格 9 瓦夏克·贝勒 8 朱塞佩·德·贾科莫 8 詹姆斯·德尔格兰德。 8 埃米利亚诺·洛里尼 8 约翰·朱尔斯·查尔斯·梅耶 8 范德霍克,威比 7 梅迪·达斯坦尼(Mehdi M.Dastani)。 5 克雷格·布特利耶 5 马可·卡多利 5 Joseph Yehuda Halpern 5 萨里特·克劳斯 5 伊夫莱斯佩伦斯 5 希拉·麦克拉伊思。 5 法比奥·帕特里齐 5 巴特·塞尔曼 5 迈克尔·J·伍尔德里奇。 4 弗兰兹·巴德 4 皮耶罗·安德里亚·博纳蒂 4 马克·德内克 4 弗朗切斯科·多尼尼。 4 马诺利斯库巴拉基斯 4 杰罗姆·朗 4 毛里齐奥·伦泽里尼 4 林方珍 4 马尔科·谢尔夫 4 史蒂文·肖卡特 4 特鲁什琴斯基,米洛斯奥 三 埃亚尔·埃米尔 三 奇塔·R·巴拉尔。 三 巴特·博加特 三 贾科莫·博纳诺 三 德波尔,弗兰克·S。 三 马丁·德·科克 三 阿戈斯蒂诺·多维尔 三 托马斯·艾特 三 范晓聪 三 路易斯·法利尼亚斯·德尔·塞罗 三 阿尔弗雷多·加巴登 三 科恩·辛德里克斯。 三 布赖恩·洛根 三 托马斯·卢卡西维奇 三 莱奥拉·摩根斯坦 三 唐纳德·佩利斯。 三 恩里科·蓬泰利 三 约夫·肖姆 三 苏·埃兹吉·伊拉兹 三 克里希纳普拉萨德·瑟伦纳亚扬 三 卡洛斯·恩里克·乌兹卡特奎 三 范德托雷,Leendert W.N。 三 汉斯·皮特·范·迪特马什 三 Joost Vennekens 三 Yen,John(约翰·严) 2 阿奇利奥普塔斯,迪米特里斯 2 托马斯·奥戈特内斯 2 娜塔莎·亚历奇纳 2 亚历山大·阿提基斯 2 纪尧姆拍卖行 2 豪尔赫·贝尔。 2 梅胡尔·巴特 2 马戎·布隆德尔 2 罗恩·布拉夫曼(Ronen I。Brafman)。 2 Broersen,Jan M。 2 马塞洛·R·坎波。 2 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 2 陈建华 2 欧内斯特·戴维斯 2 蒂亚戈,德利马 2 阿尔瓦罗·德尔瓦尔 2 罗伯特·德莫洛姆 2 尤尔根·迪克斯 2 迪迪埃·杜布瓦 2 保罗·E·邓恩。 2 曼弗雷德·埃普 2 迈克尔·费希尔 2 诺亚·弗莱明 2 安德烈亚·福米萨诺 2 Markus P.J.Fromherz。 2 路易斯·戈多 2 约翰·格兰特。 2 安东尼·亨特 2 井上,胜美 2 沃伊切赫·贾姆罗加 2 亨利·考茨。 2 莱恩·凯利(Ryan F.Kelly)。 2 巴特尔·皮特·库伊 2 汉内斯·莱特盖布 2 李彦军 2 林克,塞巴斯蒂安 2 刘,刘 2 刘,田 2 皮埃尔·侯爵 2 亚历山德拉·马拉 2 阿尔贝托·马泰利 2 法比奥·马萨奇 2 蒂姆·米勒 2 大卫·G·M·米切尔(David G.M.Mitchell)。 2 摩西,约拉姆 …还有490多名作者 全部的 前5名56篇连载文章被引用 147 人工智能 25 数学与人工智能年鉴 17 应用逻辑杂志 15 应用非经典逻辑杂志 14 合成 12 国际近似推理杂志 10 Studia Logica公司 10 理论计算机科学 8 哲学逻辑杂志 7 计算机与数学及其应用 7 逻辑程序设计理论与实践 5 离散应用数学 4 吉泰。实验与理论人工智能杂志 三 欧洲运筹学杂志 三 逻辑、语言与信息杂志 三 人工智能研究杂志 2 模糊集与系统 2 计算机与系统科学杂志 2 新一代计算 2 信息与计算 2 国际智能系统杂志 2 工程、通信和计算中的应用代数 2 控制论与系统分析 2 托波伊 2 组合优化期刊 2 国际不确定性、模糊性和基于知识的系统杂志 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 2 ACM计算逻辑事务 2 泛逻辑 2 计算机科学前沿 1 国际通用系统杂志 1 信息处理信件 1 数学分析与应用杂志 1 信息科学 1 理论与决策 1 符号计算杂志 1 计算机科学与技术杂志 1 计算机与运筹学 1 神经网络 1 机器学习 1 人工智能综述 1 游戏与经济行为 1 运筹学国际交易 1 约束条件 1 美国医学会杂志 1 武汉大学自然科学学报 1 计算机基础理论 1 逻辑与逻辑哲学 1 计算智能 1 代数杂志及其应用 1 ACM实验算法杂志 1 离散算法杂志 1 符号逻辑述评 1 科学中国。信息科学 1 西伯利亚联邦大学学报。数学与物理 全部的 前5名在15个字段中引用 364 计算机科学(68至XX) 142 数学逻辑和基础(03-XX) 19 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 11 运筹学、数学规划(90-XX) 4 系统论;控制(93至XX) 三 组合数学(05-XX) 2 一般性和全局性主题;集合(00-XX) 2 历史与传记(01-XX) 2 统计学(62-XX) 1 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 几何形状(51至XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文