Programme (preliminary)

Time Program Item
09:00 - 09:05 Welcome
09:05 - 09:55 Invited Talk: Blai Bonet
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
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

Contact

In case of questions, please write one of the organizers listed at the organization tab.