Concepedia

Joseph Y. Halpern

JY

Statistics

Publications

253

Citations

24.1K

H-Index

73

Active since

1980

Affiliations

Cornell University(Current)

IBM Research - Almaden

IBM (United States)

Stanford University

Hebrew University of Jerusalem

Joseph Y. Halpern is an author at Cornell University specializing in computer science, computing, and knowledge representation.

Publications per year

1980–2024

253

Publications

253

Proceedings of the 20th conference on Uncertainty in artificial intelligence

Christopher Meek, Max Chickering, Joseph Y. Halpern · 2004 · 1.5K citations

Computing, Computer Science, Artificial Intelligence +9

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

Computing, Computer Science, Formal Methods +14

Knowledge and common knowledge in a distributed environment

Joseph Y. Halpern, Yoram Moses · Journal of the ACM · 1990 · 963 citations · Full text

Computing, Communication, Computer Science +17

Belief, awareness, and limited reasoning

Ronald Fagin, Joseph Y. Halpern · Artificial Intelligence · 1987 · 892 citations

Social Sciences, Behavioral Sciences, Psychology +10

A guide to completeness and complexity for modal logics of knowledge and belief

Joseph Y. Halpern, Yoram Moses · Artificial Intelligence · 1992 · 845 citations

Humanities, Computer Science, Mathematics +12

1–5 of 253