Multiagent Systems - Lectures
| Nr. | Date | Title | Slides | Other remarks |
|---|---|---|---|---|
| 1. | Tue., 22.10.2019 | Introduction | (Screen) (Printer) (Printer; 4 on 1) | |
| 2. | Tue., 22.10.2019 Fri., 25.10.2019 |
Propositional Logic (Recap) | (Screen) (Printer) (Printer; 4 on 1) | |
| 3. | Fri., 25.10.2019 | Modal Logic for Multi-Agent Systems, Intro | (Screen) (Printer) (Printer; 4 on 1) | |
| 4. | Tue., 29.10.2019 | Modal Logic for Multi-Agent Systems, Syntax and Semantics | (Screen) (Printer) (Printer; 4 on 1) | |
| 5. | Tue., 05.11.2019 | Modal Logic for Multi-Agent Systems, Tableaux | (Screen) (Printer) (Printer; 4 on 1) | |
| 6. | Fri., 08.11.2019 Tue., 12.11.2019 |
Epistemic Logic I | (Screen) (Printer) (Printer; 4 on 1) | |
| 7. | Fri., 15.11.2019 | Epistemic Logic II: Public Announcements and The Muddy-Children Puzzle | (Screen) (Printer) (Printer; 4 on 1) | |
| 8. | Tue., 19.11.2019 | Dynamic Epistemic Logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 9. | Fr., 22.11.2019 | Epistemic Planning | (Screen) (Printer) (Printer; 4 on 1) | |
| 10. | Tue., 26.11.2019 Fr., 29.11.2019 |
(Classical) Multi-Agent Path Finding | (Screen) (Printer) (Printer; 4 on 1) | |
| 11. | Fr., 06.12.2019 Tue., 10.12.2019 Fr., 13.12.2019 |
Decentralized Multi-Agent Path Finding | (Screen) (Printer) (Printer; 4 on 1) | Changed: slide 18, Dec 17 |
| 12. | Fr, 13.12.2019 Tue. 17.12.2019 |
Speech Acts | (Screen) (Printer) (Printer; 4 on 1) | |
| 13. | Tue., 17.12.2019 Fr., 20.12.2019 |
Agent-based Modelling and Simulation | (Screen) (Printer) (Printer; 4 on 1) | |
| 14. | Tue., 07.01.2020 Fr., 10.01.2020 |
Deontic Logic | (Screen) (Printer) (Printer; 4 on 1) | |
| 15. | Fr., 10.01.2020 Tue., 14.01.2020 |
Moral Permissibility of Action Plans | (Screen) (Printer) (Printer; 4 on 1) | Changed: slides 14,19,20, Jan 14 |
| 16. | Tue., 14.01.2019 Fr., 17.01.2019 |
Distributed Constraint Satisfaction | (Screen) (Printer) (Printer; 4 on 1) | |
| 17. | Tue., 21.01.2020 Fr., 24.01.2020 |
BDI Logic (Cohen and Levesque) | (Screen) (Printer) (Printer; 4 on 1) | |
| 18. | Tue., 28.01.2020 Wed., 31.01.2020 |
Argumentation | (Screen) (Printer) (Printer; 4 on 1) | |
| 19. | Tue., 04.02.2020 Wed., 07.02.2020 |
Cooperative Game Theory | (Screen) (Printer) (Printer; 4 on 1) |