Triple

T11035693
Position Surface form Disambiguated ID Type / Status
Subject IJCAR E260877 entity
Predicate typicalEventsUnified P7008 FINISHED
Object FroCoS
FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
 E900630 NE FINISHED

How this triple was built (4 steps)

Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.

NER Named-entity recognition gpt-5-mini
Instruction
Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).
Input
Phrase: FroCoS | Statement: [IJCAR, typicalEventsUnified, FroCoS]
NED1 Entity disambiguation (via context triple) gpt-5-mini-2025-08-07 
Target entity: FroCoS
Context triple: [IJCAR, typicalEventsUnified, FroCoS]
  • A. European Association for Theoretical Computer Science
    The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
  • B. Proceedings of the IEEE Symposium on Logic in Computer Science
    Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
  • C. Logical Methods in Computer Science
    Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
  • D. Conference on Automated Deduction
    The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
  • E. FOCS
    FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.
  • F. None of above. chosen
  • G. Unsure - the case is ambiguous/there is not enough information to decide.
NEDg Description generation gpt-5.1
Instruction
Generate a one-sentence description of the target entity. 
You are given a context triple in the form (subject, predicate, object), where the object is the target entity. 
# Instructions
Use the triple to infer relevant information about the entity. Describe the entity based on what is most defining, well-known. 
Avoid repeating the information from the triple, unless really essential.
# Response Format
Return only the sentence: "Description: [one-sentence description of the target entity]"
Input
Entity: FroCoS
Triple: [IJCAR, typicalEventsUnified, FroCoS]
Generated description
FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
NED2 Entity disambiguation (via description) gpt-5-mini-2025-08-07 
Target entity: FroCoS
Target entity description: FroCoS is an international conference focused on the integration and combination of logics and automated reasoning systems.
  • A. European Association for Theoretical Computer Science
    The European Association for Theoretical Computer Science is a professional organization that promotes research, education, and collaboration in theoretical computer science across Europe and beyond.
  • B. Proceedings of the IEEE Symposium on Logic in Computer Science
    Proceedings of the IEEE Symposium on Logic in Computer Science is a leading peer-reviewed conference publication featuring research at the intersection of logic and computer science, including areas such as formal methods, verification, and computational logic.
  • C. Logical Methods in Computer Science
    Logical Methods in Computer Science is a peer-reviewed open-access journal focusing on theoretical computer science, particularly logic and its applications to computer science.
  • D. Conference on Automated Deduction
    The Conference on Automated Deduction (CADE) is a leading international research conference focused on the theory and applications of automated reasoning and formal deduction in computer science and mathematics.
  • E. FOCS
    FOCS is a premier annual theoretical computer science conference, formally known as the IEEE Symposium on Foundations of Computer Science.
  • F. None of above. chosen

Provenance (5 batches)

The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.

Step Stage Batch ID Status When
creating Elicitation batch_69d6aa979bdc8190bf0e79104cc098c1 completed April 8, 2026, 7:20 p.m.
NER Named-entity recognition batch_69d797e839e88190957c2eabf260c203 completed April 9, 2026, 12:13 p.m.
NED1 Entity disambiguation (via context triple) batch_69e3a9b70074819084c725c5babf2fb7 completed April 18, 2026, 3:56 p.m.
NEDg Description generation batch_69e3ad00b5c08190a7bf3ecbeae76d88 completed April 18, 2026, 4:10 p.m.
NED2 Entity disambiguation (via description) batch_69e3b1fff754819092d634f46fb42387 completed April 18, 2026, 4:32 p.m.
Created at: April 8, 2026, 9:25 p.m.