CADE conference proceedings
E260062
CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.
All labels observed (3)
| Label | Occurrences |
|---|---|
| CADE conference series | 2 |
| CADE conference proceedings canonical | 1 |
| CADE proceedings | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2373877 — 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: CADE conference proceedings Context triple: [Conference on Automated Deduction, hasProceedings, CADE conference proceedings]
-
A.
ACM conferences
ACM conferences are scholarly meetings organized by the Association for Computing Machinery that bring together researchers and practitioners to present and discuss advances across various computing disciplines.
-
B.
ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing is a leading annual international conference that brings together researchers and practitioners to present and discuss innovative applications of computing across diverse domains.
-
C.
IEEE conferences
IEEE conferences are professional gatherings organized or sponsored by the Institute of Electrical and Electronics Engineers that present and publish cutting-edge research in engineering, computing, and related fields.
-
D.
ACM Global Computing Education Conference
The ACM Global Computing Education Conference is a leading international forum for educators, researchers, and practitioners to share innovations and research in computer science and computing education.
-
E.
Communications of the ACM
Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
- 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: CADE conference proceedings Target entity description: CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.
-
A.
ACM conferences
ACM conferences are scholarly meetings organized by the Association for Computing Machinery that bring together researchers and practitioners to present and discuss advances across various computing disciplines.
-
B.
ACM Symposium on Applied Computing
The ACM Symposium on Applied Computing is a leading annual international conference that brings together researchers and practitioners to present and discuss innovative applications of computing across diverse domains.
-
C.
IEEE conferences
IEEE conferences are professional gatherings organized or sponsored by the Institute of Electrical and Electronics Engineers that present and publish cutting-edge research in engineering, computing, and related fields.
-
D.
ACM Global Computing Education Conference
The ACM Global Computing Education Conference is a leading international forum for educators, researchers, and practitioners to share innovations and research in computer science and computing education.
-
E.
Communications of the ACM
Communications of the ACM is a leading peer-reviewed magazine that publishes articles and research on computer science and information technology for the global computing community.
- F. None of above. chosen
Statements (48)
| Predicate | Object |
|---|---|
| instanceOf |
academic book series
ⓘ
conference proceedings ⓘ scholarly publication ⓘ |
| associatedWith |
CADE conference series
ⓘ
linked to:
CADE conference proceedings
|
| audience |
graduate students in computer science
ⓘ
practitioners in formal methods ⓘ researchers in automated reasoning ⓘ |
| contains |
invited talks
ⓘ
peer-reviewed papers ⓘ system descriptions ⓘ technical research articles ⓘ tutorial papers ⓘ |
| documents | research presented at the International Conference on Automated Deduction ⓘ |
| field |
artificial intelligence
ⓘ
automated deduction ⓘ automated reasoning ⓘ computer science ⓘ mathematical logic ⓘ |
| frequency | roughly biennial ⓘ |
| hasFormat |
electronic volume
ⓘ
printed volume ⓘ |
| includes | papers selected by a program committee ⓘ |
| language | English ⓘ |
| publishedFor |
International Conference on Automated Deduction
ⓘ
linked to:
Conference on Automated Deduction
|
| purpose |
to disseminate advances in automated deduction
ⓘ
to provide an archival record of CADE conference papers ⓘ |
| reviewProcess | peer review ⓘ |
| selectionCriteria |
originality
ⓘ
relevance to automated deduction ⓘ scientific quality ⓘ |
| shortName |
CADE proceedings
ⓘ
linked to:
CADE conference proceedings
|
| topic |
SAT solving
ⓘ
SMT solving ⓘ automated proof search ⓘ constraint solving ⓘ decision procedures ⓘ equational reasoning ⓘ first-order logic ⓘ formal verification ⓘ higher-order logic ⓘ knowledge representation ⓘ logic programming ⓘ model checking ⓘ non-classical logics ⓘ proof assistants ⓘ satisfiability modulo theories ⓘ term rewriting ⓘ theorem proving ⓘ |
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: CADE conference proceedings Description of subject: CADE conference proceedings are the collected scholarly papers presented at the International Conference on Automated Deduction, documenting advances in automated reasoning and related fields.
Referenced by (4)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: CADE conference proceedings
linked to: CADE conference proceedings
linked to: CADE conference proceedings