All Talks in the APICe Space

Arg-tuProlog: a modular logic argumentation tool for PIL (10/12/2020), Talk — Giuseppe Pisano | A Model for the Burden of Persuasion in Argumentation (10/12/2020), Talk — Roberta Calegari | Not just for humans: Explanation for agent-to-agent communication (27/11/2020), Talk — Andrea Omicini | Argumentation and Logic Programming for Explainable and Ethical AI (25/11/2020), Talk — Roberta Calegari | Arg-tuProlog: a tuProlog-based argumentation framework (13/10/2020), Talk — Giuseppe Pisano | Burden of Persuasion in Argumentation (20/09/2020), Talk — Roberta Calegari | 2P-Kt: logic programming with objects & functions in Kotlin (16/09/2020), Talk — Giovanni Ciatto | Neuro-symbolic Computation for XAI: Towards a Unified Model (15/09/2020), Talk — Giuseppe Pisano | Computable Law as Argumentation-based MAS (14/09/2020), Talk — Roberta Calegari | An Abstract Framework for Agent-Based Explanations in AI (09/05/2020), Talk — Giovanni Ciatto | Agent-Based Explanations in AI: Towards an Abstract Framework (09/05/2020), Talk — Davide Calvaresi | Defeasible Systems in Legal Reasoning: A Comparative Assessment (12/12/2019), Talk — Giovanni Sartor | THE QUEST TOWARDS COORDINATION FROM DISTRIBUTED TO SOCIO-TECHNICAL SYSTEMS (06/12/2019), Seminar — Stefano Mariani | Towards XMAS: eXplainability through Multi-Agent Systems (22/11/2019), Talk — Giovanni Ciatto | Real-Time Multi-Agent Systems: challenges, model, and performance analysis (06/11/2019), Talk — Davide Calvaresi | Docker for Devs (30/10/2019), Internal Talk — Stefano Mariani | Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (11/10/2019), Talk — Roberta Calegari | TuSoW: Tuple Spaces for Edge Computing (01/08/2019), Talk — Giovanni Ciatto | Empirical Model Learning: Merging knowledge-based and data-driven decision models through machine learning (12/07/2019), Seminar — Michela Milano | Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (28/06/2019), Talk — Roberta Calegari | Towards Agent-oriented Blockchains: Autonomous Smart Contracts (27/06/2019), Talk — Giovanni Ciatto | Smart Contracts are More than Objects: Pro-activeness on the Blockchain (27/06/2019), Talk — Giovanni Ciatto | Comparative Analysis of Blockchain Technologies under a Coordination Perspective (26/06/2019), Talk — Giovanni Ciatto | Compulaw: Law-by-Design & Machine Law (14/05/2019), Seminar — Giuseppe Contissa | Blockchain for Intelligent Systems: Research Perspectives (03/12/2018), Invited Talk — Andrea Omicini | Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (03/12/2018), Talk — Giovanni Ciatto | Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (28/11/2018), Talk — Giovanni Ciatto | Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (14/07/2018), Invited Talk — Andrea Omicini | From the Blockchain to Logic Programming and back: Research perspectives (29/06/2018), Talk — Giovanni Ciatto | Logic Programming in Space-Time: The Case of Situatedness in LPaaS (29/06/2018), Talk — Giovanni Ciatto | Blockchain & Smart Contracts Basics and Perspectives for MAS (27/06/2018), Tutorial — Giovanni Ciatto | Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (18/06/2018), Talk — Stefano Mariani | Artificial Intelligence and Beyond: History, Perspectives, Challenges (08/06/2018), Invited Talk — Andrea Omicini | Conversational Informatics: From Conversational Systems to Communication Intelligence (20/03/2018), Talk — Andrea Omicini | Complexity in Computational Systems: The Coordination Perspective (15/02/2018), Seminar — Andrea Omicini | Introduzione alla Blockchain - Bitcoin, criptovalute e altre applicazioni (15/11/2017), Talk — Giovanni Ciatto | Democratic process and electronic platforms: concerns of an engineer (03/11/2017), Talk — Danilo Pianini | Programming the Interaction Space Effectively with ReSpecTX (12/10/2017), Talk — Stefano Mariani | Nature-inspired Coordination: Current Status and Research Trends (23/08/2017), Tutorial — Andrea Omicini, Stefano Mariani | A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (03/07/2017), PhD Presentation — Francesco Luca De Angelis | Context Reasoning and Prediction in Smart Environments: the Home Manager case (23/06/2017), Talk — Enrico Denti | Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (16/06/2017), Talk — Andrea Omicini | Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tricks (16/06/2017), Invited Talk — Andrea Omicini | Logic Programming as a Service (LPaaS): Intelligence for the IoT (16/05/2017), Talk — Andrea Omicini | Frontiers of Autonomous Systems (14/03/2017), Lecture — Andrea Omicini | Aggregate Computing (17/02/2017), Lecture — Mirko Viroli | Spatial Multi-Agent Systems (15/02/2017), Lecture — Andrea Omicini | Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (11/10/2016), Talk — Alessandro Ricci | Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (14/09/2016), Talk — Enrico Denti | Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (30/07/2016), Talk — Andrea Omicini | Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (30/07/2016), Talk — Andrea Omicini | Game Engines to Model MAS: A Research Roadmap (30/07/2016), Talk — Andrea Omicini | Towards Logic Programming as a Service: Experiments in tuProlog (29/07/2016), Talk — Andrea Omicini | Spatial Multi-Agent Systems (28/07/2016), Tutorial — Andrea Omicini | Foundations of Multi-Agent Systems (25/07/2016), Tutorial — Andrea Omicini | Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (25/07/2016), Project Presentation — Andrea Omicini | Labelled Variables in Logic Programming: Foundations (20/06/2016), Talk — Roberta Calegari | WP8: Legal, Ethical and Societal Issues (31/05/2016), Project Presentation — Claudia Cevenini | Partner presentation (30/05/2016), Project Presentation — Claudia Cevenini | WP8: Legal, Ethical and Societal Issues (30/05/2016), Project Presentation — Claudia Cevenini | Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (12/05/2016), PhD Presentation — Stefano Mariani | Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well, Maybe) (10/05/2016), Other Talk — Andrea Omicini | Frontiers of Autonomous Systems (03/05/2016), Lecture — Andrea Omicini | Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecT (28/04/2016), Seminar — Stefano Mariani | Software development made serious (18/03/2016), Seminar — Danilo Pianini | Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (24/02/2016), PhD Presentation — Stefano Mariani | BISON – Big speech data analytics for contact centers (10/12/2015), Seminar — Claudia Cevenini | Self-organisation of Knowledge in Socio-technical Systems: A Coordination Perspective (06/11/2015), Seminar — Stefano Mariani | D8.3 Legal, ethical and societal issues of BISON - II (19/10/2015), Project Presentation — Claudia Cevenini | Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (24/09/2015), Talk — Stefano Mariani | Labelled Variables in Logic Programming: A First Prototype in tuProlog (23/09/2015), Talk — Roberta Calegari | Agent Environments in the Ambient Event Calculus (18/06/2015), Invited Talk — Kostas Stathis | Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (18/06/2015), Talk — Franco Zambonelli | Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (03/06/2015), Talk — Stefano Mariani | D8.2 Legal, ethical and societal issues of BISON. General framework (28/05/2015), Project Presentation — Claudia Cevenini | Frontiers of Autonomous Systems (12/05/2015), Lecture — Andrea Omicini | Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (06/05/2015), Invited Talk — Andrea Omicini | Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (05/05/2015), Talk — Danilo Pianini | Protelis: Practical Aggregate Programming (16/04/2015), Talk — Danilo Pianini | Engineering Complex Computational Ecosystems (14/04/2015), Talk — Danilo Pianini | The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (13/04/2015), Invited Talk — Andrea Omicini | UniBO Partner introduction (15/01/2015), Project Presentation — Enrico Denti | Ethical and legal support – UniBO role and activities in BISON (15/01/2015), Project Presentation — Enrico Denti | Big speech data privacy issues (15/01/2015), Project Presentation — Claudia Cevenini | Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (10/01/2015), Talk — Roberta Calegari | Stochastic Coordination in CAS: Expressiveness & Predictability (15/12/2014), Talk — Stefano Mariani | Extending a Smart Home multi-agent system with Role-Based Access Control (11/12/2014), Talk — Marco Prandini | Coordination-aware Elasticity (11/12/2014), Talk — Hong-Linh Truong | Design (21/11/2014), Lecture — Paul Pangaro | Conversation (21/11/2014), Lecture — Paul Pangaro | Coordination Games in Multi-Agent Environments (21/11/2014), Lecture — Visara Urovi | Research Trends in Nature-inspired Coordination Models (21/11/2014), Lecture — Andrea Omicini | Coordination: The what, the when and the how (21/11/2014), Lecture — René Schumann | Laws and Models in Physics vs Biology and the Continuum vs Discrete Interplay (20/11/2014), Lecture — Giuseppe Longo | Introduction to Cybernetics – 1st and 2nd order (20/11/2014), Lecture — Paul Pangaro | Human centred Cyber Physical Systems (20/11/2014), Lecture — Benjamin Hadorn | Interaction, Complexity, Coordination (20/11/2014), Lecture — Andrea Omicini | Nature-inspired Models of Coordination (20/11/2014), Lecture — Andrea Omicini | Randomness and diversity in biology: comparing complexity and functional organization (19/11/2014), Seminar — Giuseppe Longo | Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (13/11/2014), Talk — Stefano Mariani | Oscillations Based Multi-Agent System (OSIMAS) Development (12/11/2014), Seminar — Darius Plikynas, Andrej Cholscevnikov | TuCSoN Coordination for MAS Situatedness: Towards a Methodology (26/09/2014), Talk — Andrea Omicini | Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework. Preliminary Notes (25/09/2014), Lecture — Andrea Omicini | Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (23/09/2014), Talk — Andrea Omicini | On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (08/09/2014), Talk — Stefano Mariani | Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (03/09/2014), Talk — Stefano Mariani | Agent-based and Chemical-inspired Approaches for Multicellular Models (11/07/2014), Talk — Sara Montagna | Frontiers of Autonomous Systems (08/05/2014), Lecture — Andrea Omicini | Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (29/04/2014), Seminar — Stefano Mariani | The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy (24/04/2014), Invited Talk — Andrea Omicini | The Autonomy of Automated Systems (24/04/2014), Invited Talk — Giovanni Sartor | Research Trends in Nature-Inspired Coordination (19/02/2014), Lecture — Andrea Omicini | Nature-inspired Models of Coordination (12/02/2014), Lecture — Andrea Omicini | Engineering Adaptive Service Ecosystems (12/02/2014), Lecture — Mirko Viroli | Tuple-based Coordination of Distributed Systems (05/02/2014), Lecture — Andrea Omicini | Interaction & Coordination in Distributed Systems (05/02/2014), Lecture — Andrea Omicini | Thou Shalt is not You Will (08/01/2014), Seminar — Guido Governatori | TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (20/12/2013), Talk — Andrea Omicini | Liability and Automation in ATM (13/12/2013), Seminar — Giuseppe Contissa | Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (02/12/2013), Talk — Stefano Mariani | Tuple-based Coordination of Stochastic Systems with Uniform Primitives (02/12/2013), Talk — Andrea Omicini | Space-aware Coordination in ReSpecT (02/12/2013), Talk — Andrea Omicini | WP6 - Dissemination, Collaboration & Exploitation - 3rd Year & Final Report (20/11/2013), Project Presentation — Andrea Omicini | Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (17/09/2013), Talk — Stefano Mariani | Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (17/09/2013), Other Talk — Stefano Mariani | Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (11/09/2013), Invited Talk — Andrea Omicini | A core calculus of computational fields (11/09/2013), Talk — Mirko Viroli | Coordination for Situated MAS: Towards an Event-driven Architecture (25/06/2013), Invited Talk — Andrea Omicini | SAPERE Analysis tools (18/06/2013), Talk — Danilo Pianini | SAPERE Methodology: Towards the Final Version (18/06/2013), Project Presentation — Andrea Omicini | WP1 at M32: State and Plans (18/06/2013), Project Presentation — Mirko Viroli | Engineering Computational Ecosystems (2nd year PhD seminar) (07/06/2013), Talk — Danilo Pianini | Probabilistic Modular Embedding for Stochastic Coordinated Systems (04/06/2013), Talk — Stefano Mariani | Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (03/06/2013), Talk — Andrea Omicini | Engineering Self-organising Coordination: A Computational Field Approach (03/06/2013), Talk — Mirko Viroli | From Engineer to Alchemist, There and Back Again: An Alchemist Tale (24/05/2013), Talk — Danilo Pianini | Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (17/05/2013), Talk — Stefano Mariani | Molecules of Knowledge: a Novel Approach over Knowledge Management (11/05/2013), Poster Presentation — Stefano Mariani | Engineering Pervasive Multiagent Systems in SAPERE (07/05/2013), Talk — Mirko Viroli | Engineering Confluent Computational Fields: from Functions to Rewrite Rules (06/05/2013), Talk — Mirko Viroli | Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (06/05/2013), Talk — Stefano Mariani | Composing gradients for a context-aware navigation of users in a smart-city (06/05/2013), Talk — Mirko Viroli | MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (03/04/2013), Talk — Stefano Mariani | Spatial Computing with Chemistry (26/03/2013), Internal Talk — Mirko Viroli | Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (21/03/2013), Poster Presentation — Stefano Mariani | Autonomy, Interaction & Complexity in Computational Systems. Preliminary Notes (06/03/2013), Invited Talk — Andrea Omicini | WP1 tools: current status and ongoing work (20/02/2013), Talk — Danilo Pianini | SAPERE Methodology: Status & Next Steps (20/02/2013), Project Presentation — Andrea Omicini | SAPERE Methodology - The Complete Process (20/02/2013), Project Presentation — Ambra Molesini | SAPERE project (and relevance for CINA) (06/02/2013), Project Presentation — Mirko Viroli | Glocality: emergent behaviours (06/02/2013), Talk — Mirko Viroli | Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (30/01/2013), PhD Presentation — Andrea Santi | Agent Models with Interaction: The Thermodynamics and Statistical Mechanics Perspectives (15/01/2013), Informal Talk — Pierluigi Contucci | The TuCSoN Coordination Model & Technology. A Guide (09/01/2013), Other Talk — Andrea Omicini, Stefano Mariani | Nature-inspired Coordination for Complex Multi-Agent Systems (18/12/2012), Invited Talk — Andrea Omicini | Engineering Computational Ecosystems (05/11/2012), Seminar — Danilo Pianini | Recipes for Sabayon: cook your own Linux distro within two hours (27/10/2012), Tutorial — Danilo Pianini | Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (21/10/2012), Talk — | Nature-inspired Coordination for Complex Distributed Systems (26/09/2012), Invited Talk — Andrea Omicini | Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (25/09/2012), Talk — Stefano Mariani | An Eclipse-based IDE for Agent-Oriented Programming in simpAL (21/09/2012), Talk — Andrea Santi | Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (19/09/2012), Talk — Danilo Pianini | A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (19/09/2012), Talk — Danilo Pianini | Programming Distributed Multi-Agent Systems in simpAL (18/09/2012), Talk — Andrea Santi | SAPERE WP6 in Y2 – Preview (12/09/2012), Project Presentation — Andrea Omicini | Gradient-based Self-organisation Patterns of Anticipative Adaptation (11/09/2012), Talk — Danilo Pianini | SAPERE Methodology Alpha Version (10/09/2012), Talk — Andrea Omicini | Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (10/09/2012), Talk — Mirko Viroli | Self-Organising News Management: The Molecules of Knowledge Approach (10/09/2012), Talk — Stefano Mariani | Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (10/09/2012), Talk — Andrea Omicini | WP1 @ M24 Progresses and Review (10/09/2012), Project Presentation — Mirko Viroli | Alchemist simulator: ready for M20 release (11/06/2012), Project Presentation — Danilo Pianini | SAPERE WP6 Issues (11/06/2012), Project Presentation — Sara Montagna | WP1 @ M21. Progresses and Plan (11/06/2012), Talk — Mirko Viroli | Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (06/06/2012), Informal Talk — Stefano Mariani | Conceptual approaches to Semantic IR System (06/06/2012), Informal Talk — Antonella Carbonaro | Typing Multi-Agent Programs in simpAL (05/06/2012), Talk — | Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (05/06/2012), Talk — Olivier Boissier | The simulation alchemy (08/05/2012), Seminar — Danilo Pianini | Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (29/03/2012), Poster Presentation — Mirko Viroli | Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (28/03/2012), Talk — Mirko Viroli | A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (28/03/2012), Talk — Sara Montagna | Agent-Oriented Computing (15/03/2012), Seminar — Alessandro Ricci | Self-adaptive Service Ecosystems for Pervasive Computing (15/03/2012), Seminar — Mirko Viroli | SAPERE WP6 Towards M24 (28/02/2012), Project Presentation — Andrea Omicini | SAPERE Methodology: A first sketch (27/02/2012), Project Presentation — Andrea Omicini | WP1 @ M17. Progresses and Plan (27/02/2012), Project Presentation — Mirko Viroli | Alchemist simulator (27/02/2012), Project Presentation — Danilo Pianini | FuturICT: An Introduction (14/02/2012), Project Presentation — Andrea Omicini | UniBo middleware prototype and eco-laws language (29/11/2011), Project Presentation — Danilo Pianini | WP6 – Dissemination, Collaboration & Exploitation (15/11/2011), Project Presentation — Andrea Omicini | From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach (11/11/2011), Lecture — Franco Zambonelli | Coordination Models and Technologies toward Self-Organising Systems (04/11/2011), Lecture — Andrea Omicini | JaCa-Android: an agent-based platform for building smart mobile applications (24/10/2011), Talk — Andrea Santi | Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (24/10/2011), Talk — | Exploiting the JaCaMo framework for realising an adaptive room governance application (24/10/2011), Talk — Andrea Santi | Agent-Oriented Programming for Developing Modern Software Systems (21/10/2011), PhD Presentation — Andrea Santi | Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (26/09/2011), Talk — Andrea Santi | Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (23/09/2011), Talk — Andrea Santi | A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (19/09/2011), Talk — Danilo Pianini | Coordination Models and Technologies toward Self-Organising Systems (31/08/2011), Invited Talk — Andrea Omicini | Towards Adaptive Service Ecosystems with Agreement Technologies (24/08/2011), Internal Talk — José Santiago Pérez-Sotelo | A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (06/07/2011), Talk — Danilo Pianini | A Simulation Framework for Pervasive Service Ecosystems (06/07/2011), Talk — Danilo Pianini | BaSi: Multi-Agent Based Simulation for Medieval Battles (05/07/2011), Talk — Andrea Omicini | Coordination Models and Languages: From Parallel Computing to Self-Organisation (04/07/2011), Lecture — Andrea Omicini | Tesi on line (30/06/2011), Other Talk — Andrea Omicini | SAPERE WP6 @ M9 (24/06/2011), Project Presentation — Andrea Omicini | A Prototype of LSA-space (24/06/2011), Project Presentation — Elena Nardini | WP1 Activities: General state, details on the model, future plans (24/06/2011), Project Presentation — Mirko Viroli | Alchemist is a SAPERE-oriented simulator (23/06/2011), Project Presentation — Danilo Pianini | An application of the WP1 computational model to a real scenario (23/06/2011), Talk — Sara Montagna | Alchemist is a SAPERE-oriented simulator (14/06/2011), Project Presentation — Danilo Pianini | Dynamic Social Networks: Modeling Trust, Shocks and Hype (07/06/2011), Lecture — Marco Cremonini, Luca Allodi | Semantic and Fuzzy Coordination Through Programmable Tuple Spaces (31/05/2011), Seminar — Elena Nardini | Bio-ICT Convergence: Filling the Gap Between Computer Science and Biology (24/05/2011), Seminar — Sara Montagna | Semantic Coordination Through Programmable Tuple Spaces (28/04/2011), PhD Presentation — Elena Nardini | Multi-level models and infrastructures for simulating biological system development (28/04/2011), PhD Presentation — Sara Montagna | SAPERE WP6 Short Overall Report — M1-M4 (20/01/2011), Project Presentation — Andrea Omicini | WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (20/01/2011), Project Presentation — Mirko Viroli | WP1 Activities. General state, details on the model, future plans (19/01/2011), Project Presentation — Mirko Viroli | Semantic Coordination Through Programmable Tuple Spaces (17/01/2011), PhD Presentation — Elena Nardini | Multi-Level Models and Infrastructures for Simulating Biological System Development (17/01/2011), PhD Presentation — Sara Montagna | Description Logics (17/12/2010), Seminar — Elena Nardini | SAPERE: Self-aware Pervasive Service Ecosystems (14/12/2010), Project Presentation — Franco Zambonelli | Simulation & Multi-Agent Systems: An Introduction (14/12/2010), Seminar — Sara Montagna | Tutorial on Semantic Web (25/11/2010), Tutorial — Ivan Herman | Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (08/11/2010), Talk — Sara Montagna | SAPERE: WP6 - Dissemination (05/10/2010), Project Presentation — Andrea Omicini | SAPERE: WP1 - Model & Methodology (05/10/2010), Project Presentation — Mirko Viroli | Self Organization in Coordination Systems using a WordNet-based Ontology (30/09/2010), Talk — Sascia Virruso, Danilo Pianini | Documenting SODA: An Evaluation of the Process Documentation Template (07/09/2010), Talk — Ambra Molesini | A Self-Organising Infrastructure for Chemical-Semantic Coordination (07/09/2010), Talk — Elena Nardini | A Multiscale Agent-based Model of Morphogenesis in Biological Systems (06/09/2010), Talk — Alessandro Ricci | Exploiting Agent-Oriented Programming for Developing Android Applications (06/09/2010), Talk — Andrea Santi | From Coordination to Semantic Self-Organisation: A Perspective on the Engineering of Complex Systems (05/09/2010), Lecture — Andrea Omicini | JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (01/09/2010), Talk — Andrea Santi | Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (01/09/2010), Talk — | Developing Web Client Applications with JaCa-Web (01/09/2010), Talk — | From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (25/08/2010), Talk — Andrea Santi | Multi-Agent Programming (23/08/2010), Lecture — Alessandro Ricci, Rafael Bordini, Jomi Hubner, Olivier Boissier, Mehdi Dastani | Agents & MAS: An Introduction (23/08/2010), Lecture — Andrea Omicini | Agent Oriented Software Engineering (28/06/2010), Seminar — Ambra Molesini | A Framework for Modelling and Simulating Networks of Cells (10/06/2010), Talk — Sara Montagna | Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (25/05/2010), Seminar — Elena Nardini | Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (11/05/2010), Talk — Andrea Santi | Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments - European PhD (30/04/2010), PhD Presentation — Michele Piunti | Towards model-driven communications (29/04/2010), Talk — Ambra Molesini | Computational Agents & Artefacts (13/04/2010), Lecture — Andrea Omicini | Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (26/03/2010), Talk — Elena Nardini | Chemical-Inspired Self-Composition of Competing Services (26/03/2010), Talk — Matteo Casadei | Building an Agent Methodology from Fragments: the MEnSA experience (25/03/2010), Talk — Ambra Molesini | Risk Analysis and Deployment Security Issues in a Multi-Agent System (22/01/2010), Talk — Ambra Molesini | Designing and Programming Organisational Infrastructures for Agents situated in Artifact-based Environments (14/01/2010), PhD Presentation — Michele Piunti | Agent-based Models, Technologies and Methodologies for the Engineering of Software Systems in the Context of Open Scenarios (14/01/2010), PhD Presentation — Elena Nardini | Generic Programming Constructs and Applications in Object-Oriented Languages (13/01/2010), Seminar — Maurizio Cimadamore | Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (02/12/2009), Invited Talk — Andrea Omicini | Coordination in Open and Dynamic Environments via TuCSoN Semantic Tuple Centres (18/11/2009), Seminar — Elena Nardini | Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (14/10/2009), Talk — Andrea Santi | Towards a framework for multi-level modelling in Computational Biology (14/10/2009), Talk — Sara Montagna | An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (22/09/2009), Talk — Onder Gurcan | Embodying Organisations in Multi-Agent Work Environments (17/09/2009), Talk — Michele Piunti | Embodied Organisations in MAS Environments (11/09/2009), Talk — Michele Piunti | Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (09/09/2009), Talk — Andrea Santi | Exploiting Agent Observability in Multi-Agent System Programming (09/09/2009), Talk — Michele Piunti | Agents & MAS: An Introduction (31/08/2009), Lecture — Andrea Omicini | Agent Oriented Software Engineering (31/08/2009), Lecture — Ambra Molesini, Massimo Cossentino | SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (10/07/2009), Talk — Andrea Santi | A Computational Framework for Multilevel Morphologies (19/06/2009), Talk — Sara Montagna | Design of SOA/WS applications using an Agent-based approach (12/06/2009), Seminar — Andrea Santi, Michele Piunti | Organisation-Oriented Programming of MAS (10/06/2009), Seminar — Olivier Boissier | Programming Agents with Jason (10/06/2009), Seminar — Jomi Hübner | Environment Programming in MAS with CArtAgO (10/06/2009), Talk — Alessandro Ricci | A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (21/05/2009), Talk — Mirko Viroli | An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (20/05/2009), Talk — Mirko Viroli | Agent Oriented Software Engineering Methodologies (13/05/2009), Invited Talk — Andrea Omicini | Introducing Relevance Awareness in BDI Agents (12/05/2009), Talk — Michele Piunti | Un approccio multi-agente / sistemi blackboard per l'esplorazione di problemi complessi in biologia strutturale (22/04/2009), Seminar — Pedro Pablo González Pérez | Embodying Organisations - an Introduction (10/04/2009), Seminar — Michele Piunti | Self-Organising Coordination Systems (08/04/2009), Talk — Matteo Casadei | A Framework for Modelling and Implementing Self-Organising Coordination (10/03/2009), Talk — Matteo Casadei | Situated Tuple Centres in ReSpecT (10/03/2009), Talk — Andrea Omicini | Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (09/03/2009), Talk — Andrea Omicini | An Agent-based Application for Home Intelligence (20/01/2009), Talk — Andrea Omicini | From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (09/01/2009), Talk — Michele Piunti | From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS (18/12/2008), Talk — Michele Piunti | SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (17/12/2008), Talk — Ambra Molesini | Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (11/12/2008), Talk — Michele Piunti | Programming BDI agents in Jadex (25/11/2008), Lecture — Michele Piunti | Coordination in Multi-agent Systems (20/11/2008), Seminar — Elena Nardini | MEnSA: Résumé of Activities (19/11/2008), Project Presentation — Andrea Omicini | SODA+TuCSoN: Methodologies' and Infrastructures' Processes (19/11/2008), Project Presentation — Ambra Molesini | Model-driven Generation of Graphical Maps for e-Contents (18/11/2008), Talk — Enrico Oliva | From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (18/11/2008), Talk — Andrea Omicini | Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (17/11/2008), Talk — Ambra Molesini | Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (17/11/2008), Talk — Fabiano Dalpiaz | Arguments and Artifacts for Dispute Resolution (17/11/2008), Talk — Andrea Omicini | DA A AD A : Towards a Cognitive Use of Artifacts in MAS (13/11/2008), Talk — Michele Piunti | Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (23/10/2008), Talk — Matteo Casadei | A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (26/09/2008), Talk — Elena Nardini | RBAC-MAS & SODA: Experimenting RBAC in AOSE (25/09/2008), Talk — Ambra Molesini | Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (17/09/2008), Talk — Emiliano Lorini | Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (11/09/2008), Talk — Andrea Roli | Adaptive Coordination Models for Pervasive Environments (07/09/2008), Invited Talk — Andrea Omicini | Goal Directed Agents using Artifacts (04/09/2008), Seminar — Michele Piunti | A Framework for Collaborative-Learning Systems Based on Agent Technologies (01/09/2008), Talk — Elena Nardini | ReSpecT: Teaching The Old Dog New Tricks (04/08/2008), Seminar — Andrea Omicini | Environment Programming in MAS: CARTAGO and Friends (04/08/2008), Talk — Alessandro Ricci | Experiment with Stochastic Prolog as Simulation Language (10/07/2008), Talk — Enrico Oliva | Scenari di sviluppo delle strategie web (03/07/2008), Informal Talk — Luca Garlaschelli | MEnSA: Résumé of Activities (30/06/2008), Other Talk — Andrea Omicini | WP4: Case Study — Virtual Laboratory for Protein Structure Prediction (30/06/2008), Project Presentation — Sara Montagna | Case Study in SODA (30/06/2008), Project Presentation — Ambra Molesini | Situating A&A ReSpecT for Pervasive Environment Applications (24/06/2008), Talk — Matteo Casadei | Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (24/06/2008), Talk — Matteo Casadei | A Conceptual Framework for Collaborative Learning Systems (26/05/2008), Project Presentation — Elena Nardini | ReSpecT in the A&A Perspective (23/05/2008), Internal Talk — Matteo Casadei | Argumentation and Artifact for Dialogue Support (12/05/2008), Talk — Enrico Oliva | Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (07/04/2008), PhD Presentation — Ambra Molesini | Argumentation and Artifacts for Intelligent Multi-agent Systems (07/04/2008), PhD Presentation — Enrico Oliva | Capabilities for Coordination: From Rights to Responsibilities (27/03/2008), Internal Talk — Alan Wood | SPEM on Test: The SODA Case Study (19/03/2008), Talk — Andrea Omicini | The Architecture and Design of a Malleable Object-Oriented Prolog Engine (18/03/2008), Talk — Andrea Omicini | Self-Organising Approaches to Coordination (06/03/2008), Seminar — Matteo Casadei | Toward a Framework for Collaborative Learning Based on Agent-based Technologies (03/03/2008), Talk — Elena Nardini | On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (19/02/2008), Talk — Alessandro Garcia | Web Logic Programming (31/01/2008), Internal Talk — Giulio Piancastelli | MEnSA: What UNIBO has to do (22/01/2008), Project Presentation — Ambra Molesini | MEnSA: what UNIBO has done (21/01/2008), Project Presentation — Ambra Molesini | MEnSA: Outlook of the 2nd year of Activity (21/01/2008), Project Presentation — Andrea Omicini | MEnSA: Résumé of the first year of Activities (21/01/2008), Project Presentation — Andrea Omicini | SPEM on test: the SODA case study (07/12/2007), Talk — Elena Nardini | Maude: A Language for Concurrent Rewriting (29/11/2007), Seminar — Matteo Casadei | The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (06/11/2007), PhD Presentation — Matteo Casadei | From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (24/10/2007), Talk — Andrea Omicini | Report on Technological tools/Platform usage (22/10/2007), Project Presentation — Elena Nardini | Using Eclipse in Building Model-driven e-Learning Supports (05/10/2007), Talk — Enrico Oliva | Software Architecture (03/10/2007), Internal Talk — Ambra Molesini | On the Interplay of Crosscutting and MAS-Specific Styles (25/09/2007), Talk — Alessandro Garcia | SPEM on test: the SODA case study (21/09/2007), Internal Talk — Elena Nardini | A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (12/09/2007), Talk — Matteo Casadei | About my 6 months in Lancaster (27/07/2007), Internal Talk — Ambra Molesini | Agents & Artifacts: A Meta-Model for Agent-Oriented Computing (23/07/2007), Lecture — Andrea Omicini | On the Problem of Over-clustering in Tuple-based Coordination Systems (11/07/2007), Talk — Matteo Casadei | Attività svolte da Elena Nardini (15/06/2007), Internal Talk — Elena Nardini | Matteo Casadei's Research Activity (15/06/2007), Internal Talk — Matteo Casadei | UNIBO: Multi-Agent System Infrastructure (04/06/2007), Project Presentation — Ambra Molesini | MEnSA - Methodologies for the Engineering of complex Software system: Agent-based approach (04/06/2007), Project Presentation — Andrea Omicini | Designing Self-Organizing Multiagent Systems (23/02/2007), Seminar — Matteo Casadei | Conference Management Case Study (13/02/2007), Seminar — Ambra Molesini | The SODA Methodology (12/02/2007), Seminar — Ambra Molesini | A Case of Self-Organising Environment for MAS: the Collective Sort Problem (15/12/2006), Talk — Matteo Casadei | OWL-S for Describing Artifacts (14/12/2006), Talk — Ambra Molesini | Introduction to Maude rewriting language (23/11/2006), Seminar — Matteo Casadei | Agents & Artifacts: The A&A Meta-model for MAS Modelling & Engineering. Ideas & Examples (17/11/2006), Invited Talk — Andrea Omicini | Collective Sorting Tuple Spaces (27/09/2006), Talk — Matteo Casadei | Software Engineering Methodologies: The Agent Approach (22/09/2006), Talk — Ambra Molesini | Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (22/09/2006), Talk — Matteo Casadei | Formal ReSpecT in the A&A Perspective (31/08/2006), Talk — Andrea Omicini | Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (31/08/2006), Talk — Matteo Casadei | La coordinazione di agenti software (23/04/2006), Seminar — Andrea Omicini | Artefacts and Workspaces for the Engineering of Multiagent Systems (11/11/2005), Lecture — Andrea Omicini | SODA: A Roadmap to Artefacts (28/10/2005), Talk — Ambra Molesini | MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (17/09/2005), Talk — Ambra Molesini | Artefacts in Agent-Oriented Software Engineering (16/09/2005), Talk — Ambra Molesini | Spaces for Programming Languages in MASs: A Perspective on Coordination, Organisation & Security (15/09/2005), Invited Talk — Andrea Omicini | Web Services Choreography and Choreography Description Language WS-CDL (01/09/2005), Seminar — Enrico Oliva | A Framework for Engineering Interactions in Java-based Component Systems (28/08/2005), Talk — Enrico Oliva | Zooming Multi-Agent Systems (26/07/2005), Talk — Ambra Molesini | Field-based Coordination (29/04/2005), Lecture — Franco Zambonelli, Marco Mamei | Agens Faber: Toward A Theory of Artifacts for MAS (23/04/2005), Invited Talk — Andrea Omicini | Trends & Experiences in MAS Infrastructures (22/04/2005), Seminar — Andrea Omicini | A Conceptual Framework for Self-Organising MAS (16/12/2004), Talk — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini | Creatività tecnica come obbiettivo didattico (18/11/2004), Invited Talk — Andrea Omicini | Trends & Experiences in MAS Infrastructures (15/07/2004), Seminar — Andrea Omicini | Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (07/07/2004), Lecture — Andrea Omicini | Trends in MAS Infrastructures (30/06/2004), Invited Talk — Andrea Omicini | Sistemi ad agenti intelligenti (11/05/2004), Seminar — Andrea Omicini | Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (19/12/2003), Talk — Andrea Omicini | Towards Seamless Agent Middleware (19/12/2003), Talk — Andrea Omicini | Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (19/12/2003), Talk — Andrea Omicini | Rethinking MAS Infrastructure based on Activity Theory (18/12/2003), Talk — Andrea Omicini | Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (14/07/2003), Tutorial — Alessandro Ricci, Andrea Omicini | Framing Coordination: Early Notes (03/02/2003), Invited Talk — Alessandro Ricci, Andrea Omicini | Declarative Technologies for Internet and Agent Systems (25/10/2002), Talk — Andrea Omicini | Agents and Automatic Web Services (26/09/2002), Invited Talk — Andrea Omicini | Social Issues in the Construction of Agent Systems (14/07/2002), Tutorial — Andrea Omicini | Imprese e ICT: problematiche e opportunità (03/07/2002), Invited Talk — Andrea Omicini | On the Notion of Agent Coordination Context (14/12/2001), Invited Talk — Alessandro Ricci, Andrea Omicini | Context and C3 (Communication, Coordination and Cooperation) (05/12/2001), Invited Talk — Andrea Omicini | On the Notion of Agent Coordination Context: Preliminary Notes (05/09/2001), Talk — Andrea Omicini | Objective versus Subjective Coordination in the Engineering of Agent Systems (09/07/2001), Invited Talk — Andrea Omicini, Sascha Ossowski | Engineering Internet Agents Applications via Coordination (28/05/2001), Tutorial — Andrea Omicini, Franco Zambonelli | Coordination Services for Agent Infrastructures (22/02/2001), Invited Talk — Andrea Omicini | Coordination Technologies for Internet Agents (08/01/2001), Tutorial — Andrea Omicini, Franco Zambonelli | Coordination Technologies for Internet Agents (13/09/2000), Tutorial — Andrea Omicini, Franco Zambonelli | Towards Robust Distributed Systems (19/07/2000), Invited Talk — Eric A. Brewer | Coordination Technologies for Internet Agents (03/06/2000), Tutorial — Andrea Omicini, Franco Zambonelli | Coordination Technologies for Internet Agents (03/10/1999), Tutorial — Andrea Omicini, Paolo Ciancarini, Franco Zambonelli | Coordinazione: Ingegneria dell'interazione (19/05/1999), Informal Talk — Andrea Omicini | Coordinazione: Ingegneria dell'interazione (19/05/1998), Seminar — Andrea Omicini | Embedding Intelligence into Coordination: The ACLT Model (15/01/1998), Seminar — Andrea Omicini | Beyond Computation: Coordination — Managing the Complexity of Interaction (15/01/1998), Seminar — Andrea Omicini | Coordination: Constraining the Space of Interaction (08/12/1996), Seminar — Andrea Omicini | Programmazione logica a vincoli (24/01/1996), Seminar — Andrea Omicini | Models and Paradigms of Interaction (15/10/1995), Tutorial — Peter Wegner | Object-Oriented Computations in Logic Programming (07/06/1994), Talk — Andrea Omicini | Il prototipo APPEAL (13/06/1993), Project Presentation — Andrea Omicini, Antonio Natali | Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (18/06/1992), Talk — Andrea Omicini | Implementing Contexts in Logic Programming (26/02/1992), Talk — Andrea Omicini | Machine Learning: Classification and Regression (From the Software Engineer Perspective) (), Talk — Giovanni Ciatto | Towards Argumentation-based Recommendations for Personalised Patient Empowerment (), Talk — Stefano Mariani | Towards a Foundational API for Resilient Distributed Systems Design (), Talk — Danilo Pianini | Simulating Large-scale Aggregate MASs with Alchemist and Scala (), Talk — Danilo Pianini | Democracy by Design: Basic Democracy and the Self-Organisation of Collective Governance (), Seminar — Jeremy Pitt | Towards Argumentation-based Recommendations for Personalised Patient Empowerment (), Poster Presentation —