Autonomous Systems 2020/2021
Sistemi autonomi (modulo 1) / lezioni
 lun 22 feb 2021 |
13:00–16:00 | Room 2.13, Cesena Campus | Why Autonomous Systems? The Roots of Autonomy: Autonomy in Biological Systems |
C0 C1 | |
| mer 3 mar 2021 |
13:00–16:00 | Teams (Online) | On Autonomy: Definitions and Acceptations | C2 | |
| mer 10 mar 2021 |
13:00–16:00 | Teams (Online) | Logic and Computation | P1 | |
| mer 17 mar 2021 |
13:00–16:00 | Teams (Online) | Artefacts for Agents: Function and Use in MAS I | C3 | |
| mer 24 mar 2021 |
13:00–16:00 | Teams (Online) | Artefacts for Agents: Function and Use in MAS II Automated Reasoning I |
C3 C4 | |
| mer 31 mar 2021 |
13:00–16:00 | Teams (Online) | Automated Reasoning II Reasoning Agents I |
C4 C5 | |
| mer 7 apr 2021 |
13:00–16:00 | Teams (Online) | Reasoning Agents II Automatic Planning for Autonomous Agents I |
C5 C6 | |
| mer 14 apr 2021 |
13:00–16:00 | Teams (Online) | Automatic Planning for Autonomous Agents II | C6 | |
| mer 21 apr 2021 |
13:00–16:00 | Room 2.13, Cesena Campus | Automatic Planning for Autonomous Agents III Self-Organisation and Autonomy: An Introduction |
C6 C7 | |
| mer 28 apr 2021 |
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 | |
| mer 5 mag 2021 |
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 | |
| mar 11 mag 2021 |
11:00–13:00 | Teams (Online) | 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI I | Giovanni Ciatto, Roberta Calegari | S3 |
| mer 12 mag 2021 |
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 | |
| mar 18 mag 2021 |
11:00–13:00 | Teams (Online) | 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI II | Giovanni Ciatto, Roberta Calegari | S3 |
| mer 19 mag 2021 |
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 |
| mer 26 mag 2021 |
13:00–16:00 | Room 2.13, Cesena Campus | Defeasible Reasoning and Argumentation Arg-tuProlog: An Introduction |
Roberta Calegari, Giuseppe Pisano | S4 |
Autonomous Systems (Module 2) / lezioni
| mar 23 feb 2021 |
11:00–13:00 | Teams (Online) | About the Lab | L0 | |
| mar 2 mar 2021 |
11:00–13:00 | Teams (Online) | Prolog | T1 | |
| mar 9 mar 2021 |
11:00–13:00 | Teams (Online) | Agents in tuProlog | L1 | |
| mar 16 mar 2021 |
11:00–13:00 | Teams (Online) | Programming Intentional Agents in AgentSpeak(L) and Jason | T2 | |
| mar 23 mar 2021 |
11:00–13:00 | Teams (Online) | Jason in Practice I | L2 | |
| mar 30 mar 2021 |
11:00–13:00 | Teams (Online) | Jason in Practice II | L2 | |
| mar 13 apr 2021 |
11:00–13:00 | Teams (Online) | Organisation and Environment Oriented Programming in JaCaMo and CArtAgO | T3 | |
| mar 20 apr 2021 |
11:00–13:00 | Teams (Online) | Environment Oriented Programming in CArtAgO | L3 | |
| mar 27 apr 2021 |
11:00–13:00 | Teams (Online) | Programming Interaction with ReSpecT | T4 | |
| mar 4 mag 2021 |
11:00–13:00 | Teams (Online) | Planning in STRIPS with Prolog | L4 |
lezioni / pagine dei corsi
