| 14:00-16:00 Session 1 |
| 14:00 Michael Gelfond: Epistemic Specifications 30 Years Ago (Invited Talk) |
| 14:30 Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro: On Some Desirable Properties of Epistemic Specifications |
| 15:00 Paul Tarau: Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover |
| 15:30 Ezgi Iraz Su: Revisiting Epistemic Answer Set Programming and Epistemic Splitting Property |
| |
| 16:00-16:30 Break |
| |
| 16:30-17:30 Session 2 (Sneak Previews) |
| 16:30 Jorge Fandinno: Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting |
| 16:50 Stefania Costantini: About epistemic negation and world views in Epistemic Logic Programs |
| 17:10 Michael Morak: Epistemic Logic Programs: A Different World View |
| |
| 17:30-17:45 Break |
| |
| 17:45-18:30 Panel Discussion |