Autonomous Systems (Module 1) 2020/2021
| 13:00–16:00 | Room 2.13, Cesena Campus | Why Autonomous Systems? The Roots of Autonomy: Autonomy in Biological Systems |
C0 C1 | ||
| 13:00–16:00 | Teams (Online) | On Autonomy: Definitions and Acceptations | C2 | ||
| 13:00–16:00 | Teams (Online) | Logic and Computation | P1 | ||
| 13:00–16:00 | Teams (Online) | Artefacts for Agents: Function and Use in MAS I | C3 | ||
| 13:00–16:00 | Teams (Online) | Artefacts for Agents: Function and Use in MAS II Automated Reasoning I |
C3 C4 | ||
| 13:00–16:00 | Teams (Online) | Automated Reasoning II Reasoning Agents I |
C4 C5 | ||
| 13:00–16:00 | Teams (Online) | Reasoning Agents II Automatic Planning for Autonomous Agents I |
C5 C6 | ||
| 13:00–16:00 | Teams (Online) | Automatic Planning for Autonomous Agents II | C6 | ||
| 13:00–16:00 | Room 2.13, Cesena Campus | Automatic Planning for Autonomous Agents III Self-Organisation and Autonomy: An Introduction |
C6 C7 | ||
| 13:00–16:00 | Room 2.13, Cesena Campus | Projects: presentation & discussion Sources of Scientific Literature for Autonomous and Intelligent Systems Systematic Literature Review: A Methodology for Surveys I |
S1 S2 | ||
| 13:00–16:00 | Room 2.13, Cesena Campus | Systematic Literature Review: A Methodology for Surveys II Nature-Inspired Coordination and Self-Organisation I |
S2 C8 | ||
| 11:00–13:00 | Teams (Online) | 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI I | Giovanni Ciatto, Roberta Calegari | S3 | |
| 13:00–16:00 | Room 2.13, Cesena Campus | Nature-Inspired Coordination and Self-Organisation II Interacting with Autonomous Systems: Conversational Informatics I |
C8 C9 | ||
| 11:00–13:00 | Teams (Online) | 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI II | Giovanni Ciatto, Roberta Calegari | S3 | |
| 13:00–16:00 | Room 2.13, Cesena Campus | Interacting with Autonomous Systems: Conversational Informatics II 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI III |
Giovanni Ciatto | C9 S3 | |
| 13:00–16:00 | Room 2.13, Cesena Campus | Defeasible Reasoning and Argumentation Arg-tuProlog: An Introduction |
Roberta Calegari, Giuseppe Pisano | S4 |
lectures / course pages