×
作者ID: 哈尔珀·约瑟夫·伊最近由“Halpern,Joseph Yehuda”撰写的zbMATH文章
发布方式: 约瑟夫·霍尔珀(Joseph Y.Halpern)。;J.Y.Halpern。;约瑟夫·哈尔珀
主页: http://www.cs.cornell.edu/home/halpern/
外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考
已编制索引的文档: 215出版物自1981年以来,包括4本书1个附加arXiv预打印
12作为编辑的贡献
合著者: 122合著者具有184联合出版物
3510名合作作者
全部的 前5名

合著者

42 单作者的
21 罗纳德·费金
16 莫西·亚亚科夫·瓦尔迪
14 摩西,约拉姆
14 通过,拉斐尔
13 里纳,德切特
13 赫克托·杰夫纳
9 丹尼·多列夫
8 里卡多·普切拉
7 亚当·格罗夫。
6 达芙妮·科勒
6 雷戈·莱安德罗·查维斯
5 亚当·比约恩达尔
5 哈娜·乔克勒
5 尼尔·弗里德曼
4 伊泰·亚伯拉罕
4 Chu,Francis C。
4 Samantha Leung
4 萨宾娜·彼得里德
克拉克(Edmund Melson jun Clarke)。
德国人,Steven M。
哈齐拉科斯、瓦索斯
伊恩·卡什(Ian A.Kash)。
李,李二然
艾伯特·罗纳德·梅耶
Dov萨梅特
Seeman,Lior先生
罗恩·范德梅登
奥尔利·瓦阿特斯
2 法希姆·巴克斯
2 莫德凯·本·阿里
2 马克·比克福德
2 劳伦斯·布鲁姆。
2 罗伯特·李,警察
2 辛西娅·德沃克
2 大卫·A·伊斯利。
2 埃默森,欧内斯特·艾伦
2 埃里克·弗里德曼。
2 伊凡·杰夫纳
2 彼得·格伦瓦尔德(Peter D.Grünwald)。
2 马格努斯·马尔·哈尔森
2 克里斯托弗·里德·希区柯克
2 威廉·凯茨
2 奥尔纳·库普弗曼
2 格哈德·莱克梅耶
2 尼姆罗德·梅吉多
2 瓦哈布·S·米罗尼。
2 朱迪亚·珀尔
2 阿米尔·普努利
2 埃拉·塞格夫
2 约夫·肖姆
2 芭芭拉·西蒙斯。
2 斯特朗,H.雷蒙德
2 爱德华·L·威默斯。
1 马丁·阿巴迪
1 娜塔莎·亚历奇纳
1 阿列克桑德罗维奇(Aleksandrowicz,Gadi)
1 Kaya Alpturer公司
1 达拉·阿拉杰
1 Awerbuch,巴鲁克
1 巴拉姆维尔·巴尔
1 迈克尔·本·奥尔
1 彼得·伯曼
1 罗恩·布拉夫曼(Ronen I。Brafman)。
1 瓦莱里奥·卡普拉罗
1 Ashok K·钱德拉。
1 查韦斯·雷戈,莱安德罗斯
1 克里斯托弗·德萨
1 阿尔弗雷多·迪蒂利奥
1 琼·费根鲍姆
1 Dror G.费特尔森。
1 梅尔·弗里登贝格
1 John D.Geanakoplos。
1 埃里希·格拉德尔
1 列奥尼达斯·约翰·吉巴斯
1 罗伯特·哈珀
1 尼尔·伊梅尔曼
1 亚历山大·伊夫里
1 拉德哈·贾加迪桑
1 布鲁斯·卡普伦。
1 Phokion G.科莱蒂斯。
1 巴特尔·皮特·库伊
1 拉兹·库普弗曼
1 Hector J.列夫斯克。
1 内森·利尼尔
1 布赖恩·洛根
1 迈克尔·C·路易。
1 佐哈尔·曼纳
1 本·C·莫斯科夫斯基。
1 Ashfaq A.Munshi。
1 安德烈斯·佩雷亚
1 阿道夫·皮佩尔诺
1 莱昂纳德·皮特
1 拉宾,迈克尔·O。
1 丹尼尔·赖奇曼
1 约翰·赖夫(John H.Reif)。
1 阿列塔·里奇亚迪(Aleta M.Ricciardi)。
1 奥利弗·理查德森(Oliver E.Richardson)。
1 迈克尔·萨克斯(Michael E.Saks)。
1 大卫·B·斯莫伊斯。
1 理查德·阿诺德·肖尔
……还有22位合著者

按年份列出的出版物

zbMATH Open中包含的引文

175出版物有被引用4309中的次2596份文件 引用人 年份
关于知识的推理。 Zbl 0839.68095号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。
718
1995
重温“有时”和“从不”:关于分支与线性时间时序逻辑。 Zbl 0629.68020号
艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。
205
1986
分布式环境中的知识和常识。 Zbl 0699.68115号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆
194
1990
信仰、意识和有限的推理。 Zbl 0634.03013号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。
188
1988
知识和信念模态逻辑的完整性和复杂性指南。 Zbl 0762.68029号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆
164
1992
关于不确定性的推理。 Zbl 1090.68105号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
158
2003
推理概率的逻辑。 兹伯利0811.03014
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;尼姆罗德·梅吉多
154
1990
关于知识和概率的推理。 Zbl 0806.68098号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。
101
1994
分支时间的时序逻辑中的决策过程和表达能力。 Zbl 0559.68051号
艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。
101
1985
时间间隔的命题模态逻辑。 Zbl 0799.68175号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;约夫·肖姆
99
1991
概率的一阶逻辑分析。 Zbl 0723.03007号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
96
1990
原因和解释:结构模型方法。一: 原因。 Zbl 1092.03003号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;朱迪亚·珀尔
67
2005
更新信念的新方法。 Zbl 0742.68067号
费金,R。;J.Y.Halpern。
63
1991
认知逻辑手册。 Zbl 1392.03009号
62
2015
关于知识和时间的推理的复杂性。一: 下限。 Zbl 0672.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
58
1989
不知情的替代语义。 Zbl 1001.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
54
2001
信念有两种观点:信念是广义概率,信念是证据。 Zbl 0762.68055号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗纳德·费金
50
1992
关于知识和时间的推理的完全公理化。 Zbl 1059.68127号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗恩·范德梅登;莫舍·瓦尔迪。
48
2004
可能没有意识到玩家的广泛游戏。 Zbl 1294.91023号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱安德罗·C·雷戈。
47
2014
重新审视了交互的无知。 Zbl 1138.03312号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;雷戈·莱安德罗·查维斯
44
2008
词汇概率、条件概率和非标准概率。 Zbl 1208.60005号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
40
2010
合理性度量和默认推理。 Zbl 1127.68438号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
38
2001
合理的秘密共享和多方计算。 Zbl 1192.94119号
约瑟夫·哈尔珀;瓦妮莎·提格
37
2004
关于无意识知识的推理。 Zbl 1189.03023号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;瑞戈,莱安德罗·C。
36
2009
限定原始命题的数量和嵌套深度对模态逻辑复杂性的影响。 Zbl 1014.03508号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
36
1995
机器能知道什么?关于分布式系统中知识的性质。 Zbl 0799.68179号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
33
1992
不确定性、信念和概率。 Zbl 0718.68066号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。
33
1989
情境演算中关于噪声传感器和效应器的推理。 Zbl 0996.68192号
法希姆·巴克斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;Hector J.列夫斯克。
31
1999
知识、概率和对手。 Zbl 0783.68120号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;马克·塔特尔(Mark R.Tuttle)。
28
1993
可能不知道玩家的游戏中的广义解概念。 Zbl 1247.91031号
莱安德罗·C·雷戈。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
28
2012
责任与责备:一种结构模型方法。 Zbl 1080.68680号
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。
28
2004
从统计知识库到信念程度。 兹比尔1506.68146
法希姆·巴克斯;亚当·格罗夫。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;达芙妮·科勒
28
1996
建模知识和公共知识的层次方法。 兹比尔1061.68556
罗纳德·费金;约翰·吉安纳科普洛斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
27
1999
公理化因果推理。 Zbl 0943.68016号
J.Y.Halpern。
27
2000
原因和解释:结构模型方法。二: 解释。 邮编1096.03005
约瑟夫·霍尔珀(Joseph Y.Halpern)。;朱迪亚·珀尔
27
2005
对分布式系统中的知识和行为进行建模。 Zbl 0685.68076号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗纳德·费金
27
1989
重温常识。 Zbl 1060.03008号
费金,R。;J.Y.Halpern。;Y.摩西。;M.Y.瓦尔迪。
26
2003
定义部分排序优先结构中的相对似然。 Zbl 0895.03010号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
25
1997
知识的模型理论分析。 Zbl 0799.68177号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
24
1991
带有一元谓词的Presburger算术是\(\Pi{}^1_1\)完备的。 Zbl 0738.03017号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
24
1991
信念修正:批判。 Zbl 0949.03017号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
23
1999
概率一阶逻辑的判定性和表达性。 Zbl 0799.03017号
马丁·阿巴迪;约瑟夫·霍尔珀(Joseph Y.Halpern)。
22
1994
走向知识与无知理论:初步报告。 Zbl 0581.68067号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆
21
1985
实际因果关系。 Zbl 1370.03004号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
21
2016
随机世界和最大熵。 Zbl 0900.68398号
A.J.格罗夫。;J.Y.Halpern。;科勒,D。
20
1994
在出现故障时高效执行工作。 Zbl 0907.68099号
辛西娅·德沃克;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥利·沃茨
20
1998
一点知识可以起到很大的作用:基于知识的派生和一系列协议的正确性证明。 Zbl 0799.68024号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Lenore D.扎克。
19
1992
确定性、结构良好的程序的命题动态逻辑。 Zbl 0552.68035号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;约翰·赖夫(John H.Reif)。
19
1983
逻辑全知问题的非标准方法。 兹比尔1014.03513
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
19
1995
关于实现时钟同步的可能性和不可能性。 Zbl 0595.68029号
丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。;斯特朗,H.雷蒙德
19
1986
处理逻辑全知:表达和语用。 Zbl 1216.68267号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;里卡多·普切拉
18
2011
推理可能性的逻辑。 Zbl 0621.03011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;迈克尔·奥·拉宾。
18
1987
更新概率。 Zbl 1076.68579号
P.D.格伦沃尔德。;J.Y.Halpern。
17
2003
重复后悔最小化:一个新的解决方案概念。 Zbl 1278.91039号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
17
2012
基于时间间隔的硬件语义。 Zbl 0534.68025号
约瑟夫·哈尔珀;佐哈尔·曼纳;本·莫斯科夫斯基
17
1983
根据信念定义知识:模态逻辑视角。 Zbl 1186.03030号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;多夫·萨米特;埃拉·塞格夫
17
2009
关于不确定性的推理。第二版。 Zbl 1368.68001号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
17
2017
多智能体只知道。 Zbl 0984.03016号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;格哈德·莱克梅耶
16
2001
推理证据的逻辑。 Zbl 1182.68244号
J.Y.Halpern。;R·普切拉。
16
2006
确定性命题动态逻辑:有限模型、复杂性和完整性。 Zbl 0512.03013号
莫德凯·本·阿里;约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿米尔·普努利
16
1982
实质理性与落后归纳。 Zbl 1027.91011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
15
2001
基于知识的计划。 Zbl 1448.68406号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。
15
1997
模型检验与定理证明:宣言。 Zbl 0755.68121号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
14
1991
知识是否应该包含信念? Zbl 0866.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
14
1996
容错网络路由的新视角。 Zbl 0638.68010号
丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。;西蒙,芭芭拉;斯特朗,H.雷蒙德
14
1987
对最终拜占庭协议的描述。 Zbl 1017.68007号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;奥利·沃茨
14
2001
认知逻辑中的命名和同一性。一: 命题案例。 Zbl 0808.03009号
亚当·格罗夫。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
14
1993
重新审视了关于无意识知识的推理。 Zbl 1278.03039号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱安德罗·C·雷戈。
14
2013
在动态系统中建模信念。一: 基金会。 Zbl 0894.68146号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
13
1997
Cox和Fine定理的反例。 Zbl 0922.60009号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
13
1999
一种具有最佳弹性的异步拜占庭协议的几乎完全终止多项式协议。 Zbl 1301.68047号
伊泰·亚伯拉罕;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
12
2008
描述常见的先验假设。 Zbl 1042.91062号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
12
2002
欺骗丈夫和其他故事:知识、行为和沟通的案例研究。 Zbl 0609.68072号
摩西,约拉姆;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
12
1986
知识、信念和确定性之间的关系。 Zbl 0865.03016号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1991
游戏树解释中的歧义。 Zbl 0885.90146号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1997
用无限多的代理对公共知识进行推理。 Zbl 1078.03014号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;理查德·肖尔(Richard A.Shore)。
11
2004
实现健壮和弹性中介的下限。 Zbl 1162.94332号
伊泰·亚伯拉罕;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
2008
在动态系统中建模信念。二: 修订和更新。 Zbl 0915.68136号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1999
关于知识和概率的推理:初步报告。 Zbl 0699.03010号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1988
算法合理性:具有昂贵计算的博弈论。 Zbl 1311.91090号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
11
2015
基于知识的程序。 Zbl 1374.68102号
罗纳德·费金;摩西,约拉姆;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
11
1995
霍尔逻辑的有效公理化。 Zbl 0627.68010号
Edmund M.jun Clarke。;德国人,Steven M。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1983
优化纸币系统:崩溃、利他主义者、囤积者、西比尔和共谋。 Zbl 1256.68017号
伊恩·卡什(Ian A.Kash)。;埃里克·弗里德曼。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
2012
是什么导致系统满足规范? Zbl 1367.68185号
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥尔纳·库普弗曼
11
2008
什么是推理规则? Zbl 0761.03010号
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
10
1992
动态容错时钟同步。 Zbl 0886.68008号
丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。;芭芭拉·西蒙斯;坚强,雷
10
1995
编程语言的公理化定义:理论评估。 Zbl 0478.68009号
阿尔伯特·R·迈耶。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
10
1982
无线多跳网络中基于锥的分布式拓扑控制算法分析。 Zbl 1333.68147号
李,李;约瑟夫·霍尔珀(Joseph Y.Halpern)。;巴拉姆维尔·巴尔;王义民;罗杰特·瓦滕霍夫
10
2001
假设知识和反事实推理。 Zbl 0952.91011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
9
1999
关于缺席比赛的预期价值。 Zbl 0885.90145号
亚当·格罗夫。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
9
1997
类ALGOL语言从指称语义到操作语义和公理语义:概述。 Zbl 0558.68011号
Trakhtenbrot,学士。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿尔伯特·R·迈耶。
9
1984
拜占庭协议的消息优化协议。 Zbl 0766.68007号
哈齐拉科斯、瓦索斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。
9
1993
没有正当理由抱怨:公平分享多种资源。 Zbl 1348.91197号
丹尼·多列夫;Dror G.费特尔森。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;拉兹·库普弗曼;内森·利尼尔
9
2012
实际因果关系和建模艺术。 Zbl 1269.03009号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;克里斯托弗·希区柯克
9
2010
存在不确定性时的最佳精度。 兹比尔0598.68033
约瑟夫·霍尔珀(Joseph Y.Halpern)。;尼姆罗德·梅吉多;Ashfaq A.Munshi。
9
1985
模型检验与定理证明:宣言。 Zbl 0765.68189号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
8
1991
渐近条件概率:一元情形。 Zbl 0848.03004号
亚当·格罗夫。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;达芙妮·科勒
8
1996
一位计算机科学家研究博弈论。 Zbl 1124.91315号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
8
2003
重温考克斯定理。 Zbl 0940.60010号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
8
1999
分级因果关系和违约。 Zbl 1432.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;克里斯托弗·希区柯克
8
2015
建设性决策理论。 Zbl 1471.91092号
劳伦斯·布鲁姆;大卫·伊斯利;约瑟夫·霍尔珀(Joseph Y.Halpern)。
2
2021
结合专家的因果判断。 Zbl 1504.68186号
达拉·阿拉杰;哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2020
用异步廉价对话实现中介。 Zbl 07298715号
伊泰·亚伯拉罕;丹尼·多列夫;伊凡·杰夫纳;约瑟夫·霍尔珀(Joseph Y.Halpern)。
2
2019
民间定理神话背后的真相。 Zbl 1425.91055号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔;Seeman,Lior先生
1
2019
使用“我所知道的”操作符对迭代可容许性进行了概念上很有根据的描述。 Zbl 07450031号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
1
2019
半透明玩家的博弈论。 Zbl 1417.91020号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
2
2018
关于不确定性的推理。第二版。 Zbl 1368.68001号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
17
2017
基于知识的区块链协议分析。 Zbl 1483.68024号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
4
2017
基于结构的因果关系的计算复杂性。 Zbl 1408.68133号
阿列克桑德罗维奇(Aleksandrowicz,Gadi);哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;亚历山大·伊夫里
2017
通过语言从类型空间到概率框架再到概率框架。 兹比尔1483.68370
亚当·比约恩达尔;约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2017
更新概率:以跟踪统计数据为标准。 Zbl 1400.62022号
van Fraassen,下加利福尼亚州。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2017
理性推理。 Zbl 1393.91015号
A.比约恩达尔。;J.Y.Halpern。;通过,R。
1
2017
实际因果关系。 Zbl 1370.03004号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
21
2016
适当的因果模型和因果关系的稳定性。 Zbl 1383.03026号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
2016
理性共识(扩展抽象)。 Zbl 1373.68100号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;泽维尔·维拉萨
2
2016
实质理性与落后归纳。 Zbl 1386.03031号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2016
在动态决策问题中最小化遗憾。 Zbl 1378.91065号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Samantha Leung
1
2016
最大加权期望效用:一种更简单的表征。 Zbl 1378.91088号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Samantha Leung
1
2016
有意图的贝叶斯游戏。 Zbl 1484.91068号
亚当·比约恩达尔;约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
1
2016
半透明玩家:解释社会困境中的合作行为。 Zbl 1484.91019号
瓦莱里奥·卡普拉罗;约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2016
认知逻辑手册。 Zbl 1392.03009号
62
2015
算法合理性:具有昂贵计算的博弈论。 Zbl 1311.91090号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
11
2015
分级因果关系和违约。 Zbl 1432.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;克里斯托弗·希区柯克
8
2015
含糊不清的语言和常见的先兆。 Zbl 1318.91137号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;威廉·凯茨
2
2015
加权概率集和最小最大加权预期后悔:一种表示不确定性和做出决策的新方法。 Zbl 1378.91064号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Samantha Leung
1
2015
可能没有意识到玩家的广泛游戏。 兹比尔1294.91023
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱安德罗·C·雷戈。
47
2014
条件信念类型。 Zbl 1302.91030号
阿尔弗雷多·迪蒂利奥;约瑟夫·霍尔珀(Joseph Y.Halpern)。;Dov萨梅特
5
2014
一种推理模糊性的逻辑。 Zbl 1334.68207号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;威廉·凯茨
4
2014
不仅仅是一个空洞的威胁:由计算有限的玩家重复游戏中的亚游戏完美平衡。 Zbl 1404.91024号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔;Seeman,Lior先生
1
2014
重新审视了关于无意识知识的推理。 Zbl 1278.03039号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱安德罗·C·雷戈。
14
2013
领导人选举的分布式协议:游戏理论视角。 Zbl 1321.68055号
伊泰·亚伯拉罕;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
6
2013
从因果模型到反事实结构。 兹比尔1272.03021
约瑟夫·霍尔珀(Joseph Y.Halpern)。
5
2013
保守的信念和理性。 Zbl 1281.91032号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
2
2013
可能不知道玩家的游戏中的广义解概念。 Zbl 1247.91031号
莱安德罗·C·雷戈。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
28
2012
重复后悔最小化:一个新的解决方案概念。 Zbl 1278.91039号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;通过,拉斐尔
17
2012
优化纸币系统:崩溃、利他主义者、囤积者、西比尔和共谋。 Zbl 1256.68017号
伊恩·卡什(Ian A.Kash)。;埃里克·弗里德曼。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
2012
没有正当理由抱怨:公平分享多种资源。 Zbl 1348.91197号
丹尼·多列夫;Dror G.费特尔森。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;拉兹·库普弗曼;内森·利尼尔
9
2012
在用于安全协议分析的逻辑中建模对手。 Zbl 1238.94029号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;里卡多·普切拉
4
2012
处理逻辑全知:表达和语用。 兹比尔1216.68267
约瑟夫·霍尔珀(Joseph Y.Halpern)。;里卡多·普切拉
18
2011
使用概率集进行决策:更新、时间一致性和校准。 Zbl 1234.68386号
彼得·格伦沃尔德。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
5
2011
大型匿名游戏中的多代理学习。 Zbl 1216.68304号
I.A.卡什。;E.J.弗里德曼。;J.Y.Halpern。
5
2011
超越纳什均衡:21世纪的解决方案概念。 Zbl 1229.91073号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2011
超越纳什均衡:21世纪的解决方案概念。 Zbl 1349.91078号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
1
2011
词汇概率、条件概率和非标准概率。 Zbl 1208.60005号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
40
2010
实际因果关系和建模艺术。 Zbl 1269.03009号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;克里斯托弗·希区柯克
9
2010
关于频谱共享游戏。 Zbl 1267.91007号
Halldórsson,Magnüs M。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;李,李二然;瓦哈布·S·米罗尼。
2
2010
“什么导致系统满足规范?”的勘误表。 兹比尔1370.68197
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥尔纳·库普弗曼
2
2010
启发式、概率和因果关系。向朱迪娅·珀尔致敬。 Zbl 1202.00091号
2
2010
关于无意识知识的推理。 Zbl 1189.03023号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱安德罗·C·雷戈。
36
2009
根据信念定义知识:模态逻辑视角。 Zbl 1186.03030号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;Dov萨梅特;埃拉·塞格夫
17
2009
顺序平衡、完全平衡和适当平衡的非标准特征。 Zbl 1211.91017号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
4
2009
重做决策理论的基础。 Zbl 1419.03016号
劳伦斯·布鲁姆。;大卫·A·伊斯利。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
2009
关于多模态逻辑中的可定义性。 Zbl 1190.03020号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;多夫·萨米特;埃拉·塞格夫
1
2009
重新审视了交互的无知。 Zbl 1138.03312号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;雷戈·莱安德罗·查维斯
44
2008
一个几乎可以肯定的终止多项式协议,用于具有最佳弹性的异步拜占庭协议。 Zbl 1301.68047号
伊泰·亚伯拉罕;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
12
2008
实现健壮和弹性中介的下限。 Zbl 1162.94332号
伊泰·亚伯拉罕;丹尼·多列夫;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
2008
是什么导致系统满足规范? Zbl 1367.68185号
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥尔纳·库普弗曼
11
2008
超越纳什均衡:21世纪的解决方案概念。 Zbl 1301.91008号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
8
2008
不及物性和模糊性。 Zbl 1198.03011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
6
2008
期望值很高。一: 关于广义期望效用的可定制性。 Zbl 1133.91359号
Chu,Francis C。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
2
2008
描述模态逻辑可满足性问题中的NP-PSPACE间隙。 Zbl 1126.03024号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;查韦斯·雷戈,莱安德罗斯
6
2007
描述和推理概率和非概率期望。 Zbl 1292.68140号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;里卡多·普切拉
1
2007
对证据进行推理的逻辑。 Zbl 1182.68244号
J.Y.Halpern。;R·普切拉。
16
2006
原因和解释:结构模型方法。一: 原因。 Zbl 1092.03003号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;朱迪亚·珀尔
67
2005
原因和解释:结构模型方法。二: 解释。 邮编1096.03005
约瑟夫·霍尔珀(Joseph Y.Halpern)。;朱迪亚·珀尔
27
2005
概率算法知识。 Zbl 1125.68116号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;里卡多·普切拉
2
2005
使用事件结构的分布式系统的基于知识的综合。 Zbl 1108.68491号
马克·比克福德;罗伯特·康斯特布尔。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;萨宾娜·彼得里德
2
2005
均匀分布协调和故障检测器的知识理论分析。 Zbl 1264.68028号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;阿列塔·里恰尔迪
2
2005
关于知识和时间的推理的完整公理化。 Zbl 1059.68127号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗恩·范德梅登;莫舍·瓦尔迪。
48
2004
合理的秘密共享和多方计算。 兹比尔1192.94119
约瑟夫·哈尔珀;瓦妮莎·提格
37
2004
责任与责备:一种结构模型方法。 Zbl 1080.68680号
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。
28
2004
与无限多的代理人就常识进行推理。 Zbl 1078.03014号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;理查德·肖尔(Richard A.Shore)。
11
2004
概率推理中的表示依赖。 Zbl 1080.68686号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;达芙妮·科勒
8
2004
期望值很高。二: 作为通用决策规则的广义期望效用。 Zbl 1086.91016号
Chu,Francis C。;约瑟夫·霍尔珀(Joseph Y.Halpern)。
4
2004
关于频谱共享游戏。 Zbl 1322.91014号
Halldórsson,Magnüs M。;约瑟夫·霍尔珀(Joseph Y.Halpern)。;李,李(二郎);瓦哈布·S·米罗尼。
2
2004
关于不确定性的推理。 Zbl 1090.68105号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
158
2003
重温常识。 Zbl 1060.03008号
费金,R。;J.Y.Halpern。;摩西,Y。;M.Y.瓦尔迪。
26
2003
更新概率。 Zbl 1076.68579号
P.D.格伦沃尔德。;J.Y.Halpern。
17
2003
一位计算机科学家研究博弈论。 Zbl 1124.91315号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
8
2003
LICS 2001特别版。 Zbl 1365.00062号
2
2003
以共同的先验假设为特征。 Zbl 1042.91062号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
12
2002
关于较高概率的推理逻辑。 Zbl 1029.68134号
J.Y.Halpern。;R·普切拉。
7
2002
无意识的替代语义。 Zbl 1001.03015号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
54
2001
合理性度量和默认推理。 兹比尔1127.68438
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
38
2001
多智能体只知道。 Zbl 0984.03016号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莱克迈耶,格哈德
16
2001
实质理性与落后归纳。 Zbl 1027.91011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
15
2001
对最终拜占庭协议的描述。 Zbl 1017.68007号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;奥利·沃茨
14
2001
无线多跳网络中基于锥的分布式拓扑控制算法分析。 Zbl 1333.68147号
李,李;约瑟夫·霍尔珀(Joseph Y.Halpern)。;巴拉姆维尔·巴尔;王义民;罗杰特·瓦滕霍夫
10
2001
关于逻辑在计算机科学中的不同寻常的有效性。 Zbl 0979.03033号
约瑟夫·霍尔珀(Joseph Y.Halpern)。;罗伯特·哈珀;尼尔·伊梅尔曼;Phokion G.科莱蒂斯。;莫舍·瓦尔迪。;维克多·维亚努
7
2001
关于在具有共同收益的博弈中寻找最优策略的NP完全性。 Zbl 1052.91004号
楚·弗朗西斯;约瑟夫·哈尔珀
5
2001
条件似然性度量和贝叶斯网络。 Zbl 0976.60003号
J.Y.Halpern。
2
2001
公理化因果推理。 Zbl 0943.68016号
J.Y.Halpern。
27
2000
重新审视了默认推理的一阶条件逻辑。 Zbl 1365.68404号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。;达芙妮·科勒
2000
情境演算中关于噪声传感器和效应器的推理。 Zbl 0996.68192号
法希姆·巴克斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;Hector J.列夫斯克。
31
1999
建模知识和公共知识的层次方法。 Zbl 1061.68556号
罗纳德·费金;约翰·吉安纳科普洛斯;约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。
27
1999
信念修正:批判。 Zbl 0949.03017号
尼尔·弗里德曼;约瑟夫·霍尔珀(Joseph Y.Halpern)。
23
1999
Cox和Fine定理的反例。 Zbl 0922.60009号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
13
1999
在动态系统中建模信念。二: 修订和更新。 Zbl 0915.68136号
弗里德曼,尼尔;约瑟夫·霍尔珀(Joseph Y.Halpern)。
11
1999
假设知识和反事实推理。 Zbl 0952.91011号
约瑟夫·霍尔珀(Joseph Y.Halpern)。
9
1999
重温考克斯定理。 兹比尔0940.60010
约瑟夫·霍尔珀(Joseph Y.Halpern)。
8
1999
…还有75个文档
全部的 前5名

2907位作者引用

72 Joseph Yehuda Halpern
47 汉斯·皮特·范·迪特马什
34 安吉洛·蒙塔纳里
29 佐兰·奥格尼亚诺维奇
28 范德霍克,威比
25 劳拉·博泽利
25 圭多·西亚维科
23 摩西,约拉姆
22 莫西·亚亚科夫·瓦尔迪
21 迪迪埃·杜布瓦
21 van Benthem,Johan F.A.K。
21 迈克尔·J·伍尔德里奇。
20 埃米利亚诺·洛里尼
20 王,燕京
19 皮埃特罗·萨拉
18 托马斯·奥戈特内斯
18 阿尼埃洛·穆拉诺
18 阿德里亚诺·佩隆
18 巴巴拉·万塔吉
17 菲利普·巴尔比亚尼
17 克莱尔·狄克逊
17 Smets,Sonja J.L。
16 亚历山大·巴尔塔格
16 埃里克·帕奎特
16 弗拉基米尔·弗拉迪米洛维奇·里巴科夫
15 大卫·布雷索林
15 朱利安内拉·科莱蒂
15 瓦伦丁·F·戈兰科。
15 费尔南多·雷蒙多(Fernando Raymundo)
14 Doder,德拉甘
14 路易斯·戈多
14 阿列克桑达尔·佩罗维奇
14 亨利·普拉德。
14 布克哈德·C·希珀。
13 贾科莫·博纳诺
13 安德烈亚斯·赫齐格
13 巴特尔·皮特·库伊
13 托马斯·卢卡西维奇
12 斯特凡·德姆里。
12 迈克尔·费希尔
12 Hector J.列夫斯克。
12 帕维尔·G·瑙莫夫。
12 弗朗索瓦州施瓦岑特鲁伯
12 亚历山大·施瓦兹曼(Alexander A.Schwarzmann)。
11 黛拉·莫妮卡,达里奥
11 罗纳德·费金
11 托马索·弗拉米尼奥
11 阿维亚德·海菲茨
11 马丁·兰格
11 阿莱西奥·洛穆西奥
11 阿尔贝托·莫利纳里
11 戴维·佩图里蒂
11 Rašković,Miodrag D。
11 托马斯·施图德
10 弗朗西斯科·贝拉迪内利
10 乌尔里希·赫斯塔特
10 Dariusz R.科瓦尔斯基。
10 奥尔纳·库普弗曼
10 苏菲·平奇纳特
10 Dov萨梅特
10 陶,贾
9 谢尔盖·阿特莫夫
9 瓦夏克·贝勒
9 贝内维特斯,马里奥·R·F·。
9 法语,蒂姆
9 法比奥·加利亚迪·科兹曼
9 马丁·迈尔
9 马克·亚历山大·雷诺兹
9 伊戈尔·塞德拉尔
9 Shenoy,Prakash P。
8 纪尧姆拍卖行
8 亚历山大·博洛托夫
8 托马斯·艾特
8 萨宾·弗里特拉
8 Dimitar P.Guelev。
8 内博伊沙·伊科迪诺维奇
8 加布里埃尔·克恩·伊斯伯纳
8 格哈德·莱克梅耶
8 法比奥·莫加维罗
8 罗希特·帕里克
8 通过,拉斐尔
8 朱塞佩·佩雷利
8 约翰·奎金
8 巴伦西亚,弗兰克·D。
8 罗恩·范德梅登
7 莫华·班纳吉
7 奇塔·R·巴拉尔。
7 亚当·比约恩达尔
7 法比奥·科兹曼。
7 Galanis,Spyros公司
7 福斯托·金奇利亚
7 西蒙·格兰特
7 米歇尔·古兹曼
7 丰弘Hoshi
7 海克尔·霍斯尼
7 科斯塔斯·库特拉斯。
7 萨里特·克劳斯
7 尤尔根·兰德斯
7 李彦军
7 邱恩·荣·廖
…还有2807名作者
全部的 前5名

198篇连载文章中引用

194 人工智能
118 合成
116 理论计算机科学
114 国际近似推理杂志
81 哲学逻辑杂志
75 游戏与经济行为
73 应用非经典逻辑杂志
67 信息与计算
65 Studia Logica公司
54 应用逻辑杂志
49 数学与人工智能年鉴
46 逻辑、语言与信息杂志
42 分布式计算
34 经济理论杂志
33 符号逻辑述评
32 纯逻辑与应用逻辑年鉴
29 数学社会科学
24 计算机与系统科学杂志
24 理论与决策
23 自动推理杂志
21 信息科学
21 数学经济学杂志
20 模糊集与系统
19 信息处理信件
19 ACM计算逻辑事务
18 埃尔肯特尼斯
18 程序设计中的逻辑和代数方法杂志
17 符号逻辑杂志
17 经济理论
16 国际博弈论杂志
16 计算的形式方面
16 系统设计中的形式化方法
13 信息学报
12 符号逻辑公报
12 理论经济学学士期刊
11 国际博弈论综述
11 逻辑程序设计理论与实践
11 计算机科学中的逻辑方法
9 计算系统理论
9 逻辑与代数程序设计杂志
8 圣母院形式逻辑杂志
8 西伯利亚数学杂志
8 MSCS公司。计算机科学中的数学结构
8 软计算
8 量子信息处理
7 泛逻辑
7 游戏
6 立陶宛数学杂志
6 应用数学与计算
6 密码学杂志
6 运筹学年鉴
6 机器学习
6 国际计算机科学基础杂志
6 欧洲运筹学杂志
6 逻辑与逻辑哲学
5 离散应用数学
5 统计规划与推断杂志
5 数学系统理论
5 运筹学
5 编程和计算机软件
5 吉泰。实验与理论人工智能杂志
5 离散事件动态系统
5 国际不确定性、模糊性和基于知识的系统杂志
4 国际通用系统杂志
4 国际理论物理杂志
4 代数与逻辑
4 凯贝内提卡
4 社会选择与福利
4 算法
4 国际智能系统杂志
4 数学逻辑档案
4 计算机科学前沿
4 Logicheskie Issledovaniya逻辑
应用力学与工程中的计算机方法
统计年鉴
数学心理学杂志
并行与分布式计算杂志
数学逻辑季刊(MLQ)
人工智能研究杂志
约束条件
组合优化期刊
萨达纳
离散算法杂志
西伯利亚联邦大学学报。数学与物理
2 数学分析与应用杂志
2 数学物理杂志
2 物理A
2 计算
2 计量经济学杂志
2 凯伯内特斯
2 逻辑科公报
2 保险数学与经济学
2 计算机科学与技术杂志
2 新一代计算
2 实时系统
2 经济学快报
2 应用智能
2 自动化和远程控制
2 计算统计与数据分析
2 美国医学会杂志
…还有98部连续剧

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.