October 12, 2024
Room: JSOM 2.115
09:20 - 09:30 Opening
Session Chair: TBA
09:30 - 10:20 Martin Gebser
Invited Talk: Challenges for Optimizing the Optimization in Answer Set Programming (slides)
10:30 - 11:00 - Coffee Break
Session Chair: TBA
11:00 - 11:20 Daniela Inclezan, Charles Harders and Vineel Tummala
A Framework for Defining Behavior Modes in Policy-Aware Autonomous Agents
11:20 - 11:40 Wolfgang Faber
Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report
11:40 - 12:00 Spencer Killen and Jia-Huai You
Adapting Approximation Fixpoint Theory to Nondeterministic Hybrid Reasoning
12:00 - 12:20 Ezgi Iraz Su
A Generalisation of Epistemic Splitting Property
12:20-12:30 Closing