Dynamic Epistemic Logic - Lectures
| No. | Date | Topic | Slides |
|---|---|---|---|
| 0. | Wed, Apr. 24, 2019 | Organization | (Screen) (Print) (Print; 4-on-1) |
| 1. | Wed, Apr. 24, 2019 | Introduction | (Screen) (Print) (Print; 4-on-1) |
| 2. | Wed, Apr. 24, 2019 Mon, Apr. 29, 2019 Mon, May 6, 2019 Wed, May 8, 2019 |
The Multi-Agent S5 System | (Screen) (Print) (Print; 4-on-1) |
| 3. | Mon, May 13, 2019 Wed, May 15, 2019 Mon, May 20, 2019 Wed, May 22, 2019 |
Public Announcements | (Screen) (Print) (Print; 4-on-1) |
| 4. | Mon, May 27, 2019 Wed, May 29, 2019 Mon, June 3, 2019 Wed, June 5, 2019 Mon, June 17, 2019 |
Action Models | (Screen) (Print) (Print; 4-on-1) |
| 5. | Wed, June 19, 2019 Mon, June 24, 2019 Wed, June 26, 2019 Mon, July 1, 2019 Wed, July 3, 2019 |
Epistemic Planning | (Screen) (Print) (Print; 4-on-1) |
| 6. | Mon, July 8, 2019 | Plan Execution | (Screen) (Print) (Print; 4-on-1) |
| 7. | Wed, July 10, 2019 | Multi-Agent Path Finding with Destination Uncertainty | (Screen) (Print) (Print; 4-on-1) |