ACM SIGLOG
E14502
ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
All labels observed (2)
| Label | Occurrences |
|---|---|
| ACM SIGLOG canonical | 2 |
| ACM Special Interest Group on Logic | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T122435 — 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: ACM SIGLOG Context triple: [SIG, associatedWith, ACM SIGLOG]
-
A.
ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
-
B.
SIGPLAN
SIGPLAN is the ACM Special Interest Group on Programming Languages, focusing on research, development, and education in programming language design and implementation.
-
C.
ACM Transactions series
The ACM Transactions series is a collection of peer-reviewed scholarly journals published by the Association for Computing Machinery, each focusing on a specific area of computer science and information technology research.
-
D.
SIGMOD
SIGMOD is a leading ACM special interest group focused on the research and development of data management and database systems.
-
E.
Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
- 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: ACM SIGLOG Target entity description: ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
-
A.
ACM Computing Surveys
ACM Computing Surveys is a leading peer-reviewed journal that publishes comprehensive, in-depth survey articles covering major areas of computer science and computing research.
-
B.
SIGPLAN
SIGPLAN is the ACM Special Interest Group on Programming Languages, focusing on research, development, and education in programming language design and implementation.
-
C.
ACM Transactions series
The ACM Transactions series is a collection of peer-reviewed scholarly journals published by the Association for Computing Machinery, each focusing on a specific area of computer science and information technology research.
-
D.
SIGMOD
SIGMOD is a leading ACM special interest group focused on the research and development of data management and database systems.
-
E.
Journal of the ACM
Journal of the ACM is a leading peer-reviewed scientific journal in computer science that publishes foundational research across the breadth of computing theory and practice.
- F. None of above. chosen
Statements (32)
| Predicate | Object |
|---|---|
| instanceOf |
ACM special interest group
ⓘ
professional association subgroup ⓘ |
| abbreviation |
SIGLOG
ⓘ
linked to:
SIG
|
| aim |
to promote the development of logic in computer science
ⓘ
to support the logic in computer science community ⓘ |
| collaboratesWith | researchers in logic in computer science ⓘ |
| country |
United States
ⓘ
linked to:
United States of America
|
| field |
logic in computer science
ⓘ
mathematical logic ⓘ theoretical computer science ⓘ |
| focusesOn |
activities in logic in computer science
ⓘ
research in logic in computer science ⓘ |
| fullName |
ACM Special Interest Group on Logic
ⓘ
linked to:
ACM SIGLOG
|
| hasParentAcronym |
ACM
ⓘ
linked to:
Association for Computing Machinery
|
| language | English ⓘ |
| membershipType |
individual members
ⓘ
professional members ⓘ student members ⓘ |
| organizationType | learned society subgroup ⓘ |
| parentOrganization | Association for Computing Machinery ⓘ |
| publishes | newsletters on logic in computer science ⓘ |
| scope | international ⓘ |
| sponsor |
conferences in logic in computer science
ⓘ
schools and tutorials in logic in computer science ⓘ workshops in logic in computer science ⓘ |
| topic |
automated reasoning
ⓘ
computational logic ⓘ formal methods ⓘ model checking ⓘ program verification ⓘ proof theory in computer science ⓘ |
| website | https://siglog.org/ ⓘ |
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: ACM SIGLOG Description of subject: ACM SIGLOG is the Association for Computing Machinery’s Special Interest Group on Logic, focusing on research and activities in logic in computer science.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: ACM SIGLOG