Tutti i lucidi dei corsi

A0 – About the Course — Andrea Omicini •  C0 – Why Autonomous Systems? — Andrea Omicini •  C1 – The Roots of Autonomy: Autonomy in Biological Systems — Andrea Omicini •  C2 – On Autonomy: Definitions and Acceptations — Andrea Omicini •  C3 – Artefacts for Agents: Function and Use in MAS — Andrea Omicini •  C4 – Automated Reasoning — Andrea Omicini •  C5 – Reasoning Agents — Andrea Omicini •  C6 – Automatic Planning for Autonomous Agents — Andrea Omicini •  C7 – Self-Organisation and Autonomy: An Introduction — Andrea Omicini •  C8 – Nature-Inspired Coordination and Self-Organisation — Andrea Omicini •  C9 – Interacting with Autonomous Systems: Conversational Informatics — Andrea Omicini •  P1 – Logic and Computation — Andrea Omicini •  S1 – Sources of Scientific Literature for Autonomous and Intelligent Systems — Andrea Omicini •  S2 – Systematic Literature Review: A Methodology for Surveys — Andrea Omicini •  S3 – 2P-Kt: A Kotlin Multi-Platform Ecosystem for Symbolic AI — Giovanni Ciatto, Lorenzo Rizzato •  S4 – Defeasible Reasoning and Argumentation — Roberta Calegari

L0 – About the Lab — Roberta Calegari, Andrea Omicini •  L1 – Agents in tuProlog — Roberta Calegari, Giovanni Ciatto, Andrea Omicini •  L2 – Jason in Practice — Roberta Calegari, Giovanni Ciatto, Andrea Omicini •  L3 – Environment Oriented Programming in CArtAgO — Roberta Calegari, Andrea Omicini •  L4 – Planning in STRIPS with Prolog — Roberta Calegari, Giovanni Ciatto, Andrea Omicini •  T1 – Prolog — Roberta Calegari, Andrea Omicini •  T2 – Programming Intentional Agents in AgentSpeak(L) and Jason — Roberta Calegari, Andrea Omicini •  T3 – Organisation and Environment Oriented Programming in JaCaMo and CArtAgO — Roberta Calegari, Andrea Omicini •  T4 – Programming Interaction with ReSpecT — Roberta Calegari, Andrea Omicini •  T5 – Arg-tuProlog: An Introduction — Giuseppe Pisano

C0 – Introduction to the Course — Andrea Omicini •  C1 – Premises — Andrea Omicini •  C2 – Origin of Autonomy: Autonomy in Biological Systems — Andrea Omicini •  C3 – On Autonomy: Definitions and Acceptations — Andrea Omicini •  C4 – Autonomous Agents as Intentional Systems — Andrea Omicini •  C5 – Programming Intentional Agents in AgentSpeak(L) and Jason — Andrea Omicini, Michele Piunti •  C6 – Self-Organisation and Autonomy: An Introduction — Andrea Omicini, Luca Gardelli •  C7 – Nature-Inspired Coordination and Self-Organisation — Andrea Omicini •  C8 – Simulation and Multi-Agent Systems: An Introduction — Sara Montagna, Andrea Omicini •  C9 – Interaction and Autonomy — Andrea Omicini •  S0 – Logic and Computation — Andrea Omicini •  S1 – Sources of Scientific Literature for Autonomous Systems — Andrea Omicini •  S2 – Science of Computers: Epistemological Premises — Andrea Omicini •  S3 – Self-organisation of Knowledge in Molecules of Knowledge — Stefano Mariani •  S4 – Integrated Care for Complex Chronic Patients — Stefano Mariani •  T0 – Logic Programming in Prolog with tuProlog — Andrea Omicini •  T1 – Programming Intentional Agents: Exercises in Jason — Stefano Mariani, Andrea Omicini •  T2 – Programming Coordination in Stochastic Systems: Exercises in TuCSoN — Stefano Mariani, Andrea Omicini •  T3 – Autonomy vs. Coordination: Exercises in TuCSoN4{Jason/JADE} — Stefano Mariani, Andrea Omicini

A0 – About the Course — Andrea Omicini •  C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Andrea Omicini •  C2 – The Problem of Consensus in Distributed Systems — Andrea Omicini •  C3 – Distributed Ledger Technology: Blockchain as Middleware — Andrea Omicini, Giovanni Ciatto •  C4 – Representational State Transfer (ReST) — Andrea Omicini •  C5 – Logical Clocks — Andrea Omicini •  C6 – Simple Agents in Jade — Andrea Omicini •  C7 – Coordination in Linda — Andrea Omicini •  C8 – Code Mobility — Andrea Omicini •  M0 – Why Distributed Systems? — Andrea Omicini •  M1 – Replication and Consistency in Distributed Systems — Andrea Omicini •  M2 – Dependability in Distributed Systems — Andrea Omicini •  M3 – Roots of Distributed Systems: Computation in Space and Time — Andrea Omicini •  M4 – Definitions and Goals for Distributed Systems — Andrea Omicini •  M5 – Sorts of Distributed Systems — Andrea Omicini •  M6 – Modelling Distributed Systems: Software and System Architectures — Andrea Omicini •  M7 – Modelling Distributed Systems: Process Algebra — Andrea Omicini •  M8 – Computing with Time — Andrea Omicini •  M9 – Agents for Distributed Systems — Andrea Omicini •  M10 – Coordination of Distributed Systems — Andrea Omicini •  M11 – Computing with Space — Andrea Omicini

A0 – About the Course — Andrea Omicini •  C1 – The CAP Theorem: Availability, Consistency, Failure in Distributed Systems — Andrea Omicini •  C2 – Logging and Checkpointing: Towards Recovery of Distributed Systems — Andrea Omicini •  C3 – The Problem of Consensus in Distributed Systems — Andrea Omicini •  C4 – Distributed Ledger Technology: Blockchain as Middleware — Andrea Omicini, Giovanni Ciatto •  C5 – Logical Clocks — Andrea Omicini •  C6 – Code Mobility — Andrea Omicini •  CX – Addressing production-ready distributed systems through Kubernetes: A practical overview — Mattia Matteini •  M0 – Why Distributed Systems? — Andrea Omicini •  M1 – Dependability in Distributed Systems — Andrea Omicini •  M2 – Roots of Distributed Systems: Computation in Space and Time — Andrea Omicini •  M3 – Replication and Consistency in Distributed Systems — Andrea Omicini •  M4 – Definitions and Goals for Distributed Systems — Andrea Omicini •  M5 – Sorts of Distributed Systems — Andrea Omicini •  M6 – Computing with Time — Andrea Omicini •  M7 – Computing with Space — Andrea Omicini •  M8 – Modelling Distributed Systems: Software and System Architectures — Andrea Omicini •  M9 – Modelling Distributed Systems: Process Algebra — Andrea Omicini

L0 – About the course — Giovanni Ciatto •  L1 – Preliminaries about Distributed Systems Engineering — Giovanni Ciatto •  L2 – Communication Mechanisms for Distributed Systems — Giovanni Ciatto •  L3 – Presentation Mechanisms for Distributed Systems — Giovanni Ciatto •  L4 – Distributed Pong — Giovanni Ciatto

L0 – About the course — Giovanni Ciatto •  L1 – Preliminaries about Distributed Systems Engineering — Giovanni Ciatto •  L2 – Communication Mechanisms for Distributed Systems — Giovanni Ciatto •  L3 – Presentation Mechanisms for Distributed Systems — Giovanni Ciatto •  L4 – Distributed Pong — Giovanni Ciatto

A0 – About the Course — Andrea Omicini •  L1 – Prolog, Axioms, Rules — Andrea Omicini •  L2 – Logic Programming and Core Prolog — Mirko Viroli, Andrea Omicini •  L3 – Programming in Prolog — Mirko Viroli, Andrea Omicini •  L4 – Constraints in Prolog — Andrea Omicini •  L5 – Metaprogramming in Prolog — Mirko Viroli, Andrea Omicini •  L6 – Simple Agents in Jade — Andrea Omicini •  L7 – Programming Intentional Agents in AgentSpeak(L) and Jason — Andrea Omicini •  L8 – STRIPS Planning in Prolog — Andrea Omicini •  L9 – Reasoning Under Uncertainty in Prolog — Andrea Omicini •  M1 – Human, Truth, Agent — Andrea Omicini •  M2 – Logic and Computation — Andrea Omicini •  M3 – Artificial Intelligence: A Bird’s Eye View — Andrea Omicini •  M4 – Constraint (Logic) Programming — Andrea Omicini •  M5 – Agents for Intelligent Systems — Andrea Omicini •  M6 – Autonomy and Intelligence in Living Systems — Andrea Omicini •  M7 – Sorts and Levels of Autonomy — Andrea Omicini •  M8 – Reasoning Agents — Andrea Omicini •  M9 – Planning for Intelligent Agents — Andrea Omicini •  M10 – Agents and Tools — Andrea Omicini

A0 – About the Course — Andrea Omicini •  C0 – ChatGPT—Beyond the Turing Test — Andrea Omicini •  C1 – Autonomy in Biology — Andrea Omicini •  C2 – Programming Intentional Agents in AgentSpeak(L) and Jason — Andrea Omicini •  M0 – Drivers for Artificial Systems — Andrea Omicini •  M1 – On Autonomy: Concepts and Definitions — Andrea Omicini •  M2 – Agents for Intelligent Systems Engineering — Andrea Omicini •  M3 – Artificial Intelligence: A Bird’s Eye View — Andrea Omicini •  M4 – Reasoning Agents — Andrea Omicini •  M5 – Logic and Computation — Andrea Omicini •  M6 – Automated Reasoning — Andrea Omicini •  M7 – Planning for Intelligent Agents — Andrea Omicini •  M8 – Self-Organising Systems — Andrea Omicini •  M9 – Nature-Inspired Coordination and Self-Organisation — Andrea Omicini •  M10 – Interacting with Autonomous Systems: Conversational Informatics — Andrea Omicini •  M11 – Simulation and Multi-Agent Systems: An Introduction — Andrea Omicini, Sara Montagna •  S1 – Sources of Scientific Literature for Intelligent and Autonomous Systems — Andrea Omicini •  S2 – Systematic Literature Review: A Methodology for Scientific Surveys — Andrea Omicini

A0 – About the Course — Andrea Omicini •  C1 – Simple Agents in Jade — Andrea Omicini •  C2 – Programming Intentional Agents in AgentSpeak(L) and Jason — Andrea Omicini •  C3 – Prolog: Fast Track — Andrea Omicini •  M0 – Agents, Agentic, Agent-Oriented: What is Going on in AI? — Andrea Omicini •  M1 – Drivers for Artificial Systems — Andrea Omicini •  M2 – Autonomy in Living Systems — Andrea Omicini •  M3 – Sorts and Levels of Autonomy — Andrea Omicini •  M4 – Agents for Intelligent Systems Engineering — Andrea Omicini •  M5 – Intelligence in Living Systems — Andrea Omicini •  M6 – Artificial Intelligence: A Bird’s Eye View — Andrea Omicini •  M7 – Reasoning Agents — Andrea Omicini •  M8 – Logic and Computation — Andrea Omicini •  M9 – Automated Reasoning — Andrea Omicini •  M10 – Planning for Intelligent Agents — Andrea Omicini •  M11 – Agents and Tools — Andrea Omicini •  S1 – What is Scientific Literature? — Andrea Omicini •  S2 – Systematic Literature Review: A Methodology for Scientific Surveys — Andrea Omicini •  S3 – Towards Agent Explainability — Víctor Giménez Ábalos

L0 – About the Lab — Giovanni Ciatto •  L1 – Programming Intentional Agents: Exercises in Jason — Giovanni Ciatto •  L2 – Knowledge Representation with Horn Clauses — Giovanni Ciatto •  L3 – Automatic Inference on Horn Clauses — Giovanni Ciatto •  L4 – Planning in STRIPS with Prolog — Giovanni Ciatto

L0 – About the Lab — Giovanni Ciatto •  L1 – Programming Intentional Agents: Exercises in Jason — Giovanni Ciatto •  L2 – Planning in STRIPS with Prolog — Giovanni Ciatto •  L3 – Generative AI 101 — Giovanni Ciatto •  L4 – LLM-as-a-Service — Giovanni Ciatto

C0 – Introduction to the Course — Andrea Omicini •  C1 – The Evolution of Computational Systems: Foundations of Agent-Oriented Computing — Andrea Omicini •  C2 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C3 – Agents: From Premises to Definition — Andrea Omicini •  C4 – Agents as Intentional Systems — Andrea Omicini, Michele Piunti •  C5 – Artifacts for Agents: Multi-disciplinary Foundations — Andrea Omicini •  C6 – Agents and Artifacts: The A&A Meta-model for Multiagent Systems — Andrea Omicini •  C7 – Programming Languages for Multiagent Systems — Andrea Omicini •  C8 – Agent-Oriented Software Engineering — Ambra Molesini, Andrea Omicini •  C9 – The SODA AOSE Methodology — Ambra Molesini, Andrea Omicini •  C10 – Self-Organisation & MAS: An Introduction — Andrea Omicini, Luca Gardelli •  C11a – Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering — Andrea Omicini, Alessandro Ricci •  C11b – Coordination Models: From Parallel Computing to Self-Organisation — Andrea Omicini •  C12 – Simulation & Multi-Agent Systems: An Introduction — Sara Montagna, Andrea Omicini •  S1 – SAPERE: Self-aware Pervasive Service Ecosystems — Franco Zambonelli

C0 – Introduction to the Course — Andrea Omicini •  C1 – Evolution of Computational Systems: The Paradigm Shift — Andrea Omicini •  C2 – Evolution of Programming Languages: Away from Objects — Andrea Omicini •  C3 – Evolution of Middleware: Towards Agents — Andrea Omicini •  C4 – The Many Agents Around — Andrea Omicini •  C5 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C6 – Science of Computers: Epistemological Premises — Andrea Omicini •  C7 – Agents: Definitions & Conceptual Framework — Andrea Omicini •  C8 – Agents as Intentional Systems — Andrea Omicini •  C9 – Artifacts for Agents: Multi-disciplinary Foundation — Andrea Omicini •  C10 – Agents & Artifacts: Definitions & Conceptual Framework — Andrea Omicini •  C11 – Programming Languages for Multiagent Systems — Andrea Omicini •  C12 – Agent-Oriented Software Engineering — Andrea Omicini •  C13 – The SODA AOSE Methodology — Ambra Molesini, Andrea Omicini •  C14 – Self-Organisation & MAS: An Introduction — Andrea Omicini, Luca Gardelli •  C15 – Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering — Andrea Omicini, Alessandro Ricci •  C16 – Simulation & Multi-Agent Systems: An Introduction — Sara Montagna, Andrea Omicini •  C17 – Coordination Models: From Parallel Computing to Self-Organisation — Andrea Omicini

C0 – Introduction to the Course — Andrea Omicini •  C1 – Evolution of Computational Systems: The Paradigm Shift — Andrea Omicini •  C2 – Evolution of Programming Languages: Away from Objects — Andrea Omicini •  C3 – Evolution of Middleware: Towards Agents — Andrea Omicini •  C4 – The Many Agents Around — Andrea Omicini •  C5 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C6 – Science of Computers: Epistemological Premises — Andrea Omicini •  C7 – Agents: Definitions & Conceptual Framework — Andrea Omicini •  C8 – Agents as Intentional Systems — Andrea Omicini •  C9 – Artifacts for Agents: Multi-disciplinary Foundation — Andrea Omicini •  C10 – Agents & Artifacts: Definitions & Conceptual Framework — Andrea Omicini •  C11 – Programming Languages for Multiagent Systems — Andrea Omicini •  C12 – Agent-Oriented Software Engineering — Ambra Molesini, Andrea Omicini •  C13 – The SODA AOSE Methodology — Ambra Molesini, Andrea Omicini •  C14 – Self-Organisation & MAS: An Introduction — Luca Gardelli, Andrea Omicini •  C15 – Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering — Andrea Omicini, Alessandro Ricci •  C16 – Simulation & Multi-Agent Systems: An Introduction — Sara Montagna •  C17 – Nature-inspired Coordination for Complex Distributed Systems — Andrea Omicini •  C18 – Coordination Models: From Parallel Computing to Self-Organisation — Andrea Omicini •  L1 – JADE: Java Agent DEvelopment Framework Overview — Stefano Mariani, Andrea Omicini •  L2 – JADE: Getting Started — Stefano Mariani, Andrea Omicini •  L3 – JADE: Java Agent DEvelopment Framework Basics — Stefano Mariani, Andrea Omicini •  L4 – JADE: Java Agent DEvelopment Framework Advanced — Stefano Mariani, Andrea Omicini •  L5 – Programming Intentional Agents in AgentSpeak(L) & Jason — Michele Piunti, Andrea Omicini •  S1a – From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development — Andrea Santi •  S1b – Organisation and Environment Oriented Programming — Olivier Boissier, Rafael H. Bordini, Jomi F. Hübner, Alessandro Ricci

L1 – From Objects to Agents: The Java Agent Middleware (JAM) — Elena Nardini •  L2 – Prolog Agents in JAM — Elena Nardini •  L3 – Programming Intentional Agents in AgentSpeak(L) and Jason — Elena Nardini •  L4 – AgentSpeak(L) and Jason: Environment & Agent Interaction — Elena Nardini •  L5 – Jason Agents in CArtAgO Working Environments — Elena Nardini •  L6 – Java Agent DEvelopment Framework (JADE) — Elena Nardini •  L7 – Tuple Centres Spread over the Network (TuCSoN) — Elena Nardini

L0 – Introduction to the course — Danilo Pianini •  L1 – Java Agent DEvelopment Framework — Danilo Pianini •  L2 – Jason: a Java-based interpreter for an extended version of AgentSpeak — Part 1 — Danilo Pianini •  L3 – Jason: a Java-based interpreter for an extended version of AgentSpeak — Part 2 — Danilo Pianini •  L4 – Jason/JADE integration: distributing BDI Agents — Danilo Pianini •  L5 – Common ARTifact infrastructure for AGents Open environments — Danilo Pianini •  L6 – Jason + CArtAgO + Java + tuProlog: BDI agents spread over the network using artifacts and living in a Prolog world — Danilo Pianini •  L7 – Tuple Centres Spread on Network — Danilo Pianini

C0 – Introduction to the Course — Andrea Omicini •  C1 – Conceptual Foundations of Agent Oriented Computing — Andrea Omicini •  C2 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C3a – Agent-Oriented Software Engineering — Ambra Molesini •  C3b – The SODA Methodology for MAS Engineering — Ambra Molesini •  C4a – Agents and Artifacts: Multi-disciplinary Foundations — Andrea Omicini •  C4b – Agents and Artifacts: The A&A Meta-model for Multiagent Systems — Andrea Omicini •  C5 – Programming Languages for Multiagent Systems — Andrea Omicini •  C6 – Agents in tuProlog — Giulio Piancastelli •  C7 – Tuple-based Coordination: From Linda to A&A ReSpecT — Andrea Omicini •  S1 – Agents as Patterns: Agent-Oriented Computing on Object-Oriented Languages — Alessandro Ricci •  S2 – simpA and CArtAgO: Prototyping Technologies for Agent-Oriented Computing — Alessandro Ricci •  S3 – Trends & Experiences in MAS Infrastructures — Andrea Omicini •  S4 – Introduction to TuCSoN — Andrea Omicini •  S5 – Agent Coordination Contexts in TuCSoN — Andrea Omicini •  S6 – RBAC-MAS & Agent Coordination Contexts — Andrea Omicini

C0 – Introduction to the Course — Andrea Omicini •  C1 – The Evolution of Computational Systems: Foundations of Agent Oriented Computing — Andrea Omicini •  C2 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C3 – Agents and Artifacts: Multi-disciplinary Foundations — Andrea Omicini •  C4 – Agents and Artifacts: The A&A Meta-model for Multiagent Systems — Andrea Omicini •  C5 – Programming Languages for Multiagent Systems — Andrea Omicini •  C6 – Tuple-based Coordination: From Linda to A&A ReSpecT — Andrea Omicini •  C7 – Agents in tuProlog — Giulio Piancastelli •  C8 – Agent-Oriented Software Engineering — Andrea Omicini, Ambra Molesini •  C8a – The SODA AOSE Methodology — Andrea Omicini, Ambra Molesini •  C8b – Conference Management System: A Case Study in SODA — Andrea Omicini, Ambra Molesini •  C9 – Self-Organisation & MAS: An Introduction — Andrea Omicini, Luca Gardelli •  C10 – Simulation & Multi-Agent Systems: An Introduction — Andrea Omicini, Sara Montagna •  S1 – Creating Artificial Societies — Francisco Grimaldo

C0 – Introduction to the Course — Andrea Omicini •  C1 – The Evolution of Computational Systems: Foundations of Agent-Oriented Computing — Andrea Omicini •  C2 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C3 – Agents and Artifacts: Multi-disciplinary Foundations — Andrea Omicini •  C4 – Agents and Artifacts: The A&A Meta-model for Multiagent Systems — Andrea Omicini •  C5 – Programming Languages for Multiagent Systems — Andrea Omicini •  C6 – Tuple-based Coordination: From Linda to ReSpecT — Andrea Omicini •  C7 – The SODA AOSE Methodology — Andrea Omicini, Ambra Molesini •  C8a – Agents as Intentional Systems — Michele Piunti, Andrea Omicini •  C8b – Programming Intentional Agents in AgentSpeak(L) and Jason — Michele Piunti, Andrea Omicini •  C9 – Agents in tuProlog — Giulio Piancastelli, Andrea Omicini •  C10 – Simulation & Multi-Agent Systems: An Introduction — Sara Montagna, Andrea Omicini •  C11 – Self-Organisation & MAS: An Introduction — Andrea Omicini, Luca Gardelli •  C12 – Coordination in Multi-agent Systems — Elena Nardini, Andrea Omicini •  S1a – Environment Programming in MAS with CArtAgO — Alessandro Ricci •  S1b – simpA: An Agent-Oriented Approach for Prototyping Concurrent Applications on Top of Java — Alessandro Ricci •  S1c – Programming Multi-Agent Systems in AgentSpeak Using Jason — Rafael H. Bordini, Jomi F. Hübner, Michael Wooldridge •  X1 – BDI Agents and AgentSpeak(L) — Romelia Plesa

C0 – Introduction to the Course — Andrea Omicini •  C1 – The Evolution of Computational Systems: Foundations of Agent-Oriented Computing — Andrea Omicini •  C2 – Sources of Scientific Literature for Multiagent Systems — Andrea Omicini •  C3 – Agents: From Premises to Definition — Andrea Omicini •  C4 – Agents as Intentional Systems — Andrea Omicini, Michele Piunti •  C5 – Programming Intentional Agents in AgentSpeak(L) and Jason — Andrea Omicini, Michele Piunti •  C6 – Artifacts for Agents: Multi-disciplinary Foundations — Andrea Omicini •  C7 – Agents and Artifacts: The A&A Meta-model for Multiagent Systems — Andrea Omicini •  C8 – Programming Languages for Multiagent Systems — Andrea Omicini •  C9 – Agents in tuProlog — Andrea Omicini, Giulio Piancastelli •  C10 – Coordination Models & Languages — Andrea Omicini •  C11 – Tuple-based Coordination: From Linda to ReSpecT & TuCSoN — Andrea Omicini •  C12 – Agent-Oriented Software Engineering — Andrea Omicini, Ambra Molesini •  C13 – The SODA AOSE Methodology — Andrea Omicini, Ambra Molesini •  C14 – Simulation & Multi-Agent Systems: An Introduction — Sara Montagna, Andrea Omicini •  C15 – Self-Organisation & MAS: An Introduction — Andrea Omicini, Luca Gardelli •  S1 – Environment Programming in MAS with CArtAgO — Alessandro Ricci