THEMA — PROGRAM
Days: Friday, 24 July 2026
Friday, 24 July 2026
09:05-09:55
Invited Talk 1
THEMA
Session Chair:
Location:
C4.05
| 09:05-09:55 |
Language as a signal-symbol nexus for human-compatible sequential decision making (abstract) 50 min
1 University of Toronto, Canada
|
09:55-10:15
Session 1A
THEMA
Session Chair:
Location:
C4.05
| 09:55-10:15 |
Abstraction via Skolemization for Generalized Planning (and Beyond) (abstract) 20 min
1 RWTH Aachen University, Germany
2 LAAS-CNRS, University of Toulouse, France
3 University of Toronto, Canada
|
10:15-10:45
Coffee Break
THEMA
Location:
C4.05
10:45-12:05
Session 1
THEMA
Session Chair:
Location:
C4.05
| 10:45-11:05 |
An Incremental Method for Synthesizing Action Theory Abstractions (abstract) 20 min
1 IGDORE
2 York University
3 University of Rome La Sapienza
|
| 11:05-11:25 |
An Abstraction Approach for Formal Argumentation (abstract) 20 min
1 TU Graz
|
| 11:25-11:45 |
Using association and containment relationships to express dependency parse trees for knowledge representation and reasoning (abstract) 20 min
1 City St George's
2 Independent
|
| 11:45-12:05 |
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics (Extended Abstract) (abstract) 20 min
1 Johannes Kepler University Linz
2 Free University of Bozen-Bolzano
|
12:05-14:00
Lunch
THEMA
Location:
C4.05
14:00-14:50
Invited Talk 2
THEMA
Session Chair:
Location:
C4.05
| 14:00-14:50 |
The Abstract, the Explanatory, and the Logical (abstract) 50 min
1 Free University of Bozen-Bolzano, Italy
|
14:50-15:30
Session 2
THEMA
Session Chair:
Location:
C4.05
| 14:50-15:10 |
From Generic Reasoning to Arbitrary Abstract Objects (abstract) 20 min
1 University of Vienna
2 University of Konstanz
|
| 15:10-15:30 |
Concepts as variable embodiments (abstract) 20 min
1 University of Oslo
|
15:30-16:00
Coffee Break
THEMA
Location:
C4.05