IJCAR

E260877

academic conference computer science conference international conference

IJCAR (International Joint Conference on Automated Reasoning) is a major international conference that brings together several leading events in automated reasoning into a single unified forum.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (2)

Label	Occurrences
IJCAR canonical	2
International Joint Conference on Automated Reasoning	2

How this entity was disambiguated

This entity first appeared as the object of triple T2384293 — 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: IJCAR
Context triple: [CADE Inc., relatedConferenceSeries, IJCAR]

A. Journal of Automated Reasoning
The Journal of Automated Reasoning is a peer-reviewed academic journal focusing on research in automated reasoning, formal methods, and related areas of computer science and logic.
B. 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.
C. 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.
D. IJCAI Award for Research Excellence
The IJCAI Award for Research Excellence is a prestigious international honor in artificial intelligence recognizing individuals for outstanding, sustained contributions to the field.
E. Herbrand Award
The Herbrand Award is a prestigious honor in automated reasoning and logic in computer science, recognizing outstanding contributions to the field.
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: IJCAR
Target entity description: IJCAR (International Joint Conference on Automated Reasoning) is a major international conference that brings together several leading events in automated reasoning into a single unified forum.

A. Journal of Automated Reasoning
The Journal of Automated Reasoning is a peer-reviewed academic journal focusing on research in automated reasoning, formal methods, and related areas of computer science and logic.
B. 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.
C. 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.
D. IJCAI Award for Research Excellence
The IJCAI Award for Research Excellence is a prestigious international honor in artificial intelligence recognizing individuals for outstanding, sustained contributions to the field.
E. Herbrand Award
The Herbrand Award is a prestigious honor in automated reasoning and logic in computer science, recognizing outstanding contributions to the field.
F. None of above. chosen

Statements (34)

Predicate	Object
instanceOf	academic conference ⓘ computer science conference ⓘ international conference ⓘ
abbreviation	IJCAR self-link ⓘ
audience	practitioners in automated reasoning ⓘ researchers in automated reasoning ⓘ
bringsTogether	leading conferences in automated reasoning ⓘ
field	artificial intelligence ⓘ automated reasoning ⓘ computer science ⓘ
focusesOn	applications of automated reasoning ⓘ practice of automated reasoning ⓘ theory of automated reasoning ⓘ
fullName	IJCAR self-linksurface differs ⓘ surface form: International Joint Conference on Automated Reasoning
hasAbbreviationExpansion	IJCAR self-linksurface differs ⓘ surface form: International Joint Conference on Automated Reasoning
hasContributionType	invited talks ⓘ research papers ⓘ system descriptions ⓘ tutorials ⓘ workshops ⓘ
hasFormat	peer-reviewed conference ⓘ
hasScope	unified forum for automated reasoning events ⓘ
isConsidered	major conference in automated reasoning ⓘ
isJointEventOf	multiple automated reasoning communities ⓘ
topic	formal verification ⓘ logic in computer science ⓘ model checking ⓘ proof assistants ⓘ satisfiability ⓘ theorem proving ⓘ
typicalEventsUnified	CADE ⓘ FroCoS ⓘ TABLEAUX ⓘ TPTP ⓘ

How these facts were elicited

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

CADE Inc. → relatedConferenceSeries → IJCAR ⓘ

IJCAR → fullName → IJCAR self-linksurface differs ⓘ

this entity surface form: International Joint Conference on Automated Reasoning

IJCAR → abbreviation → IJCAR self-link ⓘ

IJCAR → hasAbbreviationExpansion → IJCAR self-linksurface differs ⓘ