McCarthy Award
E621717
The McCarthy Award is a prestigious honor in computer science named after AI pioneer John McCarthy, recognizing significant contributions to automated reasoning and related areas.
All labels observed (1)
| Label | Occurrences |
|---|---|
| McCarthy Award canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T6816318 — 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: McCarthy Award Context triple: [Robert S. Boyer, hasAward, McCarthy Award]
-
A.
DuPont-Columbia Award
The DuPont-Columbia Award is a prestigious American journalism prize recognizing outstanding broadcast and digital news reporting.
-
B.
Christopher Award
The Christopher Award is an American honor presented annually to writers, producers, directors, and illustrators whose work affirms the highest values of the human spirit.
-
C.
Blumenthal Award
The Blumenthal Award is a prestigious mathematics prize recognizing outstanding young researchers for significant contributions to pure mathematics.
-
D.
H. H. Bloomer Award
The H. H. Bloomer Award is a prize given by the Linnean Society of London to recognize significant contributions to natural history made by amateur naturalists.
-
E.
Lester Award
The Lester Award is a prestigious British horse racing honor presented annually to recognize outstanding jockeys for their achievements in the sport.
- 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: McCarthy Award Target entity description: The McCarthy Award is a prestigious honor in computer science named after AI pioneer John McCarthy, recognizing significant contributions to automated reasoning and related areas.
-
A.
DuPont-Columbia Award
The DuPont-Columbia Award is a prestigious American journalism prize recognizing outstanding broadcast and digital news reporting.
-
B.
Christopher Award
The Christopher Award is an American honor presented annually to writers, producers, directors, and illustrators whose work affirms the highest values of the human spirit.
-
C.
Blumenthal Award
The Blumenthal Award is a prestigious mathematics prize recognizing outstanding young researchers for significant contributions to pure mathematics.
-
D.
H. H. Bloomer Award
The H. H. Bloomer Award is a prize given by the Linnean Society of London to recognize significant contributions to natural history made by amateur naturalists.
-
E.
Lester Award
The Lester Award is a prestigious British horse racing honor presented annually to recognize outstanding jockeys for their achievements in the sport.
- F. None of above. chosen
Statements (23)
| Predicate | Object |
|---|---|
| instanceOf | academic award ⓘ |
| associatedWith |
automated theorem proving
ⓘ
formal methods ⓘ knowledge representation ⓘ reasoning under uncertainty ⓘ |
| awardCategory | research achievement ⓘ |
| countryOfOrigin |
United States of America
ⓘ
surface form:
United States
|
| discipline |
logic in computer science
ⓘ
theoretical computer science ⓘ |
| field |
artificial intelligence
ⓘ
automated reasoning ⓘ computer science ⓘ |
| honors | individual researchers ⓘ |
| namedAfter | John McCarthy NERFINISHED ⓘ |
| namedAfterKnownFor |
coinage of the term artificial intelligence
ⓘ
development of Lisp programming language ⓘ |
| namedAfterOccupation | computer scientist ⓘ |
| namedForContribution | foundational work in artificial intelligence ⓘ |
| namedForRole | AI pioneer ⓘ |
| purpose |
to honor research in related areas of artificial intelligence
ⓘ
to recognize significant contributions to automated reasoning ⓘ |
| selectionCriteria |
impact on the field of automated reasoning
ⓘ
significant scientific contributions ⓘ |
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: McCarthy Award Description of subject: The McCarthy Award is a prestigious honor in computer science named after AI pioneer John McCarthy, recognizing significant contributions to automated reasoning and related areas.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.