Dov Gabbay
E1252072
UNEXPLORED
Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Dov Gabbay canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T17150049 — 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: Dov Gabbay Context triple: [Arthur Prior, influenced, Dov Gabbay]
-
A.
Shmuel Safra
Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
-
B.
Nahman Avigad
Nahman Avigad was a prominent Israeli archaeologist known for his excavations in Jerusalem’s Jewish Quarter and major contributions to the study of Second Temple period remains.
-
C.
Oded Kotler
Oded Kotler is an Israeli actor and theater director known for his prominent roles in film and stage as well as his influential work in Israeli performing arts.
-
D.
Ben Rappaport
Ben Rappaport is an American actor best known for his starring role in the NBC sitcom "Outsourced" and appearances in series such as "The Good Wife" and "Mr. Robot."
-
E.
Yehoshua Bar-Hillel
Yehoshua Bar-Hillel was an Israeli mathematician, philosopher, and pioneering logician best known for his foundational work in formal linguistics and machine translation.
- 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: Dov Gabbay Target entity description: Dov Gabbay is an Israeli logician and computer scientist known for his influential work in non-classical logics, temporal logic, and the foundations of artificial intelligence.
-
A.
Shmuel Safra
Shmuel Safra is an Israeli theoretical computer scientist known for his influential work in computational complexity theory, including foundational contributions to probabilistically checkable proofs and hardness of approximation.
-
B.
Nahman Avigad
Nahman Avigad was a prominent Israeli archaeologist known for his excavations in Jerusalem’s Jewish Quarter and major contributions to the study of Second Temple period remains.
-
C.
Oded Kotler
Oded Kotler is an Israeli actor and theater director known for his prominent roles in film and stage as well as his influential work in Israeli performing arts.
-
D.
Ben Rappaport
Ben Rappaport is an American actor best known for his starring role in the NBC sitcom "Outsourced" and appearances in series such as "The Good Wife" and "Mr. Robot."
-
E.
Yehoshua Bar-Hillel
Yehoshua Bar-Hillel was an Israeli mathematician, philosopher, and pioneering logician best known for his foundational work in formal linguistics and machine translation.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.