Joseph Halpern
E304872
Joseph Halpern is a prominent computer scientist and logician known for his influential work in reasoning about knowledge, uncertainty, and distributed systems.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Joseph Halpern canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2790867 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Joseph Halpern Context triple: [Daphne Koller, doctoralAdvisor, Joseph Halpern]
-
A.
Douglas Shulman
Douglas Shulman is an American public official who served as the head of the U.S. Internal Revenue Service (IRS) during the late 2000s and early 2010s.
-
B.
Ronald N. Perlman
Ronald N. Perlman is an American actor best known for his distinctive deep voice and leading roles in works such as the "Hellboy" films and the television series "Beauty and the Beast."
-
C.
Norm Schachter
Norm Schachter was a prominent American football official best known for serving as the referee in the first three Super Bowls.
-
D.
Charles Resnik
Charles Resnik is the brother of the late NASA astronaut Judith Resnik, who was one of the astronauts killed in the 1986 Space Shuttle Challenger disaster.
-
E.
James Altman
James Altman is the son of American lawyer and video game executive Robert A. Altman.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Joseph Halpern Target entity description: Joseph Halpern is a prominent computer scientist and logician known for his influential work in reasoning about knowledge, uncertainty, and distributed systems.
-
A.
Douglas Shulman
Douglas Shulman is an American public official who served as the head of the U.S. Internal Revenue Service (IRS) during the late 2000s and early 2010s.
-
B.
Ronald N. Perlman
Ronald N. Perlman is an American actor best known for his distinctive deep voice and leading roles in works such as the "Hellboy" films and the television series "Beauty and the Beast."
-
C.
Norm Schachter
Norm Schachter was a prominent American football official best known for serving as the referee in the first three Super Bowls.
-
D.
Charles Resnik
Charles Resnik is the brother of the late NASA astronaut Judith Resnik, who was one of the astronauts killed in the 1986 Space Shuttle Challenger disaster.
-
E.
James Altman
James Altman is the son of American lawyer and video game executive Robert A. Altman.
- F. None of above. chosen
Statements (47)
| Predicate | Object |
|---|---|
| instanceOf |
computer scientist
ⓘ
logician ⓘ |
| affiliation | Cornell University ⓘ |
| field |
artificial intelligence
ⓘ
computer science ⓘ distributed computing ⓘ epistemic logic ⓘ logic ⓘ reasoning about knowledge ⓘ reasoning under uncertainty ⓘ |
| hasAcademicDiscipline |
mathematical logic
ⓘ
theoretical computer science ⓘ |
| hasContribution |
development of logical foundations for distributed protocols
ⓘ
formalization of knowledge-based programs in distributed systems ⓘ frameworks for qualitative and quantitative reasoning about uncertainty ⓘ |
| hasNotableConcept |
formal framework for knowledge and common knowledge in distributed systems
ⓘ
frameworks for reasoning about uncertainty ⓘ integration of probability with logic ⓘ logical systems for reasoning about knowledge and belief ⓘ use of modal logic in distributed computing ⓘ |
| hasRole |
author of scientific papers
ⓘ
graduate advisor ⓘ researcher ⓘ |
| influencedField |
AI safety and reasoning under uncertainty
ⓘ
distributed systems theory ⓘ epistemic game theory ⓘ formal epistemology ⓘ knowledge representation and reasoning ⓘ |
| knownFor |
epistemic logic in computer science
ⓘ
formal models of knowledge ⓘ formal models of uncertainty ⓘ probabilistic reasoning ⓘ reasoning about distributed systems ⓘ reasoning about knowledge ⓘ reasoning about uncertainty ⓘ work on belief revision ⓘ work on causal reasoning ⓘ work on interactive epistemology ⓘ work on knowledge and common knowledge in distributed systems ⓘ |
| nationality | American ⓘ |
| occupation | professor ⓘ |
| researchArea |
causal models
ⓘ
distributed algorithms ⓘ game theory and knowledge ⓘ knowledge representation ⓘ multi-agent systems ⓘ probability and logic ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Joseph Halpern Description of subject: Joseph Halpern is a prominent computer scientist and logician known for his influential work in reasoning about knowledge, uncertainty, and distributed systems.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.