Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:conference
|
| gptkbp:allows |
research papers
short papers system descriptions tool papers |
| gptkbp:field |
gptkb:logic
automated reasoning |
| gptkbp:firstHeld |
1992
|
| gptkbp:focus |
tableau methods
automated deduction |
| gptkbp:frequency |
annual
|
| https://www.w3.org/2000/01/rdf-schema#label |
TABLEAUX conference
|
| gptkbp:location |
varies by year
|
| gptkbp:organizedBy |
gptkb:Association_for_Automated_Reasoning
|
| gptkbp:relatedTo |
gptkb:IJCAR_conference
gptkb:CADE_conference |
| gptkbp:website |
https://tableaux2023.org/
|
| gptkbp:bfsParent |
gptkb:Association_for_Automated_Reasoning
|
| gptkbp:bfsLayer |
7
|