Accepted Papers

Markus Hecher, Michael Morak and Stefan Woltran: Structural Decompositions of Epistemic Logic Programs (Extended Abstract).
Munyque Mittelmann and Laurent Perrussel: An Epistemic Logic for Reasoning about Strategies in General Auctions.
Wolfgang Faber and Michael Morak: Determining Action Reversibility in STRIPS Using Epistemic Logic Programs
Pedro Cabalar, Jorge Fandinno and Luis Farinas Del Cerro: Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

Workshop Program (September 19th, 2020, times in CEST [=UTC+2])

September 19th, 2020

13:50-14:00 Opening

14:00-15:00 Invited Talk

14:00 Pedro Cabalar: Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning

15:00-15:40 Presentations

15:00 Markus Hecher, Michael Morak and Stefan Woltran: Structural Decompositions of Epistemic Logic Programs (Extended Abstract)

15:20 Munyque Mittelmann and Laurent Perrussel: An Epistemic Logic for Reasoning about Strategies in General Auctions.

15:40-15:55 Break

15:55-17:15 Presentation and Discussion

15:55 Wolfgang Faber and Michael Morak: Determining Action Reversibility in STRIPS Using Epistemic Logic Programs

16:15-17:15 Discussion

17:15-17:20 Closing