| 09:00 - 09:05 |
Welcome |
| 09:05 - 09:55 |
Invited Talk: Sheila McIlraith
-
Language as a signal-symbol nexus for human-compatible sequential decision making
(Invited talk by Blai Bonet had to be cancelled due to the earthquake in Venezuela)
|
| 09:55 - 10:15 |
Session 1A
-
Abstraction via Skolemization for Generalized Planning (and Beyond)
(T. Hofmann, D. Chen, T. Klassen, S. McIlraith)
|
| 10:15 - 10:45 |
Morning Coffee Break |
| 10:45 - 12:05 |
Session 1B
-
An Incremental Method for Synthesizing Action Theory Abstractions
(B. Banihashemi, Y. Lespérance, M. Mancanelli)
-
An Abstraction Approach for Formal Argumentation
(I. Apostolakis, J. Wallner)
-
Using association and containment relationships to express dependency parse trees for knowledge representation and reasoning
(F. Nagle, R. Shah)
-
Trustworthy Knowledge Base Embeddings: A Foundational Study of Box Semantics
(M. Leemhuis, O. Kutz)
|
| 12:05 - 14:00 |
Lunch Break |
| 14:00 - 14:50 |
Invited Talk: Elena Romanenko
-
The Abstract, the Explanatory, and the Logical
|
| 14:50 - 15:30 |
Session 2
-
From Generic Reasoning to Arbitrary Abstract Objects
(L. Conti, L. Horsten)
-
Concepts as Variable Embodiments
(G. Righetti)
|
| 15:30 - 16:00 |
Afternoon Coffee Break |
| 16:00 - 16:40 |
Interactive Session: Mixed-discipline tables working on "abstracting" a real-world concept. |
| 16:40 - 17:00 |
Plenary Synthesis & Close |