CADE Inc.
E46381
CADE Inc. is the organizing body behind the Conference on Automated Deduction, responsible for promoting research in automated reasoning and related fields.
All labels observed (1)
| Label | Occurrences |
|---|---|
| CADE Inc. canonical | 2 |
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
conference organizing body
ⓘ
non-profit organization ⓘ |
| abbreviation | CADE ⓘ |
| activity |
organization of scientific conferences
ⓘ
promotion of research in automated reasoning ⓘ support of an international research community ⓘ |
| communityServed |
researchers in automated deduction
ⓘ
researchers in automated reasoning ⓘ researchers in theorem proving ⓘ |
| field |
automated deduction
ⓘ
automated reasoning ⓘ logic in computer science ⓘ theorem proving ⓘ |
| focus |
formal methods in computer science
ⓘ
logical foundations of artificial intelligence ⓘ |
| fullName | CADE Inc. self-link ⓘ |
| organizes | Conference on Automated Deduction ⓘ |
| purpose |
to promote research in automated deduction
ⓘ
to promote research in automated reasoning ⓘ to support the automated deduction community ⓘ |
| relatedConferenceSeries |
CADE
ⓘ
IJCAR ⓘ |
| role | organizing body of the Conference on Automated Deduction ⓘ |
| supports |
dissemination of research results in automated reasoning
ⓘ
international collaboration in automated deduction ⓘ |
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.