See https://easychair.org/smart-program/JELIA2023/ for the detailed program.
| Wednesday, September 20th | Thursday, September 21st | Friday, September 22nd | |
|---|---|---|---|
| 8:30 | (8:30-8:45) Session 1: Welcome & Opening | ||
| 8:45 | (8:45-9:35) Session 2: Keynote: Franz Baader | (08:40-10:10) Session 10: Reasoning about Causes and Dependencies | |
| 9:00 | (09:00-09:50) Session 16: Keynote: Mario Alviano | ||
| 9:15 | |||
| 9:30 | (09:35-10:11) Session 3: Description Logics I | ||
| 9:45 | (09:50-10:21) Session 17: Answer Set Programming I | ||
| 10:00 | |||
| 10:15 | (10:11-10:40) Coffee Break | (10:10-10:40) Coffee Break | (10:21-10:50) Coffee Break |
| 10:30 | |||
| 10:45 | (10:40-12:00) Session 4: Planning and Temporal Reasoning | (10:40-11:16) Session 11: Weighted Automata and Data Graphs | (10:50-11:40) Session 18: Answer Set Programming II |
| 11:00 | |||
| 11:15 | (11:16-12:41) Session 12: Reasoning About Knowledge and Beliefs | ||
| 11:30 | |||
| 11:45 | (11:40-12:35) Session 19: Non-Monotonic Reasoning | ||
| 12:00 | (12:00-12:31) Session 5: Temporal Reasoning | ||
| 12:15 | |||
| 12:30 | (12:30-14:00) Lunch Break | (12:35-14:00) Lunch Break | |
| 12:45 | (12:41-14:10) Lunch Break | ||
| 13:00 | |||
| 13:15 | |||
| 13:30 | |||
| 13:45 | |||
| 14:00 | (14:00-14:55) Session 6: Description Logics II | 14:00-14:50 Session 20: Defeasible Reasoning | |
| 14:15 | (14:10-15:00) Session 13: Keynote: Vaishak Belle | ||
| 14:30 | |||
| 14:45 | (14:50-15:21) Session 21: Partial Functions and Inconsistency Measures | ||
| 15:00 | (14:55-15:15) Session 7: Spatial Reasoning | (15:00-15:31) Session 14: Logics for Explainable and Trustworthy AI I | |
| 15:15 | (15:15-15:40) Coffee Break | (15:21-15:30) Short Break | |
| 15:30 | (15:31-16:00) Coffee Break | (15:30-16:10) Session 22: Best Paper and Best Student Paper Award & Closing | |
| 15:45 | (15:40-17:10) Session 8: Argumentation | ||
| 16:00 | (16:00-17:20) Session 15: Logics for Explainable and Trustworthy AI II | ||
| 16:15 | (16:10-16:40) Coffee Break | ||
| 16:30 | |||
| 16:45 | |||
| 17:00 | |||
| 17:15 | (17:10-17:30) Short Break | ||
| 17:30 | (17:30-18:20) Session 9: Keynote: Katie Atkinson | ||
| 17:45 | |||
| 18:00 | (18:00-23:00) Transport Museum & Banquet | ||
| 18:15 | |||
| 18:30 | (18:30-20:30) Reception | ||
| 18:45 | |||
| 19:00 | |||
| 19:15 | |||
| 19:30 | |||
| 19:45 | |||
| 20:00 | |||
| 20:15 |