co-authors.
| C | [top] |
|---|
| Cabano, Michele | Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres |
| Cabri, Giacomo | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Tuple-based Technologies for Coordination |
| Calegari, Roberta | tuProlog: Making Prolog Ubiquitous
Building Smart Spaces on the Home Manager platform
From the Blockchain to Logic Programming and Back: Research Perspectives
Context Reasoning and Prediction in Smart Environments: the Home Manager case
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
Extending a Smart Home Multi-Agent System with Role-Based Access Control
The Butlers Framework for Socio-Technical Smart Spaces
2P-Kt: logic programming with objects & functions in Kotlin
Labelled Variables in Logic Programming: Foundations
Labelled Variables in Logic Programming: A First Prototype in tuProlog
Extending Logic Programming with Labelled Variables: Model and Semantics
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
Logic Programming as a Service
Towards Logic Programming as a Service: Experiments in tuProlog
Preface
Logic Programming in Space-Time: The Case of Situatedness in LPaaS |
| Cerno, Italo | Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU |
| Cevenini, Claudia | Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU |
| Ciatto, Giovanni | From the Blockchain to Logic Programming and Back: Research Perspectives
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Preface
Logic Programming in Space-Time: The Case of Situatedness in LPaaS |
| Cossentino, Massimo | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces |
| D | [top] |
|---|
| Denti, Enrico | tuProlog: Making Prolog Ubiquitous
Building Smart Spaces on the Home Manager platform
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Agent Coordination and Control through Logic Theories
An Extensible Framework for the Development of Coordinated Applications
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Designing Multi-Agent Systems around an Extensible Communication Abstraction
Designing Multi-Agent Systems around a Programmable Communication Abstraction
Expressive Power of the ACLT Reaction Specification Language
Metodologie per l'ingegneria del software: approccio ad agenti
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Task-Oriented Engineering of Coordinated Software Systems
SPEM on Test: the SODA Case Study
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
Activity Theory as a Framework for MAS Coordination
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
From the Blockchain to Logic Programming and Back: Research Perspectives
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Tuple-based Technologies for Coordination
CSM User's Guide
Implementing Contexts in Logic Programming
Techniques for Implementing Contexts in Logic Programming
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
Context Reasoning and Prediction in Smart Environments: the Home Manager case
Implementing the ACLT Coordination Model
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
Relevance of Winning Coalitions in Indirect Control of Corporations
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Grafica in Turbo Pascal
Fondamenti di Informatica A (Parte I)
Fondamenti di Informatica A (Parte II)
Introduzione alla Programmazione a oggetti in Java
Introduzione alla Programmazione a oggetti in Java
Novel pervasive scenarios for home management: the Butlers architecture
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto
Introduzione alla Programmazione a oggetti in Java
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
Designing a Development Environment for Logic and Multi-Paradigm Programming
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence
Extending a Smart Home Multi-Agent System with Role-Based Access Control
The Butlers Framework for Socio-Technical Smart Spaces
An experimental environment for teaching Java Security
2P-Kt: logic programming with objects & functions in Kotlin
Labelled Variables in Logic Programming: Foundations
Labelled Variables in Logic Programming: A First Prototype in tuProlog
Extending Logic Programming with Labelled Variables: Model and Semantics
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
Logic Programming as a Service
Towards Logic Programming as a Service: Experiments in tuProlog
Merging Logic Programming into Web-based Technology: A Coordination-based Approach
A Structured Logic Programming Approach to Robot Programming
Robot Control Systems as Contextual Logic Programs
Open Logic Theory Composition in a Software Engineering Perspective
Coordination Technology for the Development of Multi-Agent Systems on the Web
The LuCe Coordination Technology for MAS Design and Development on the Internet
Engineering Multi-Agent Systems in LuCe
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
An Architecture for Tuple-based Coordination of Multi-Agent Systems
A Coordination Infrastructure for Agent-based Internet Applications
BaSi: Multi-Agent Based Simulation for Medieval Battles
MDE & MDA in a Multi-Paradigm Modeling Perspective
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
Moving Prolog Toward Objects
Engineering a BPEL Orchestration Engine as a Multi-agent System
OWL-S for Describing Artifacts
An Algorithm for Winning Coalitions in Indirect Control of Corporations
VPN - Client-server object-oriented virtual plant modeling tool
Formal ReSpecT
Programmable Coordination Media
Formal ReSpecT
On the Expressive Power of a Language for Programming Coordination Media
From Tuple Spaces to Tuple Centres
vLab: an Eclipse-based Virtual Laboratory
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Engineering Agent Societies: A Case Study in Smart Environments
Zooming Multi-Agent Systems
Zooming Multi-Agent Systems
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
SODA: A Roadmap to Artefacts
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
RBAC-MAS & SODA: Experimenting RBAC in AOSE
RBAC-MAS & SODA: Experimenting RBAC in AOSE
SODA: A Roadmap to Artefacts
From AO Methodologies to MAS Infrastructures: The SODA Case Study
An Agent-based Application for Home Intelligence
Agent-based Conference Management: A Case Study in SODA
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Coordination Tools for MAS Development and Deployment
Coordination Tools for the Development of Agent-based Systems
Enlightened Agents in TuCSoN
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Virtual Enterprises and Workflow Management as Agent Coordination Issues
The TuCSoN Coordination Infrastructure for Virtual Enterprises
Enlightened Agents in TuCSoN
Designing a Development Environment for Logic and Multi-Paradigm Programming
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Multi-paradigm Java-Prolog Integration in tuProlog
Simulate plants: a client-server graphic approach
Interacting with Virtual Plants: a Client-Server Approach
Towards a Logic Language and Framework for Web Programming
Towards a logic framework for Web programming
Towards a Logic Language and Framework for Web Programming
Risk Analysis and Deployment Security Issues in a Multi-Agent System |
| Denti, Enrico | Preface |
| Dovier, Agostino | Labelled Variables in Logic Programming: Foundations
Extending Logic Programming with Labelled Variables: Model and Semantics |
| G | [top] |
|---|
| Giorgini, Paolo | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces |
| L | [top] |
|---|
| Lamma, Evelina | Implementing Contexts in Logic Programming
Techniques for Implementing Contexts in Logic Programming |
| Laschi, Roberto | An experimental environment for teaching Java Security |
| M | [top] |
|---|
| Magnanini, E. | VPN - Client-server object-oriented virtual plant modeling tool |
| Magnanini, Eugenio | Simulate plants: a client-server graphic approach
Interacting with Virtual Plants: a Client-Server Approach |
| Mariani, Stefano | From the Blockchain to Logic Programming and Back: Research Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
Logic Programming as a Service
Towards Logic Programming as a Service: Experiments in tuProlog
Logic Programming in Space-Time: The Case of Situatedness in LPaaS |
| Mello, Paola | Implementing Contexts in Logic Programming
Techniques for Implementing Contexts in Logic Programming |
| Mennucci, Nico | VPN - Client-server object-oriented virtual plant modeling tool |
| Mennucci, Niko | Interacting with Virtual Plants: a Client-Server Approach |
| Molesini, Ambra | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces
Metodologie per l'ingegneria del software: approccio ad agenti
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
SPEM on Test: the SODA Case Study
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
BaSi: Multi-Agent Based Simulation for Medieval Battles
MDE & MDA in a Multi-Paradigm Modeling Perspective
OWL-S for Describing Artifacts
Zooming Multi-Agent Systems
Zooming Multi-Agent Systems
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
SODA: A Roadmap to Artefacts
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
RBAC-MAS & SODA: Experimenting RBAC in AOSE
RBAC-MAS & SODA: Experimenting RBAC in AOSE
SODA: A Roadmap to Artefacts
From AO Methodologies to MAS Infrastructures: The SODA Case Study
An Agent-based Application for Home Intelligence
Agent-based Conference Management: A Case Study in SODA
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
Risk Analysis and Deployment Security Issues in a Multi-Agent System |
| Mordonini, Monica | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces |
| N | [top] |
|---|
| Nardini, Elena | SPEM on Test: the SODA Case Study
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
Risk Analysis and Deployment Security Issues in a Multi-Agent System |
| Natali, Antonio | Agent Coordination and Control through Logic Theories
An Extensible Framework for the Development of Coordinated Applications
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Expressive Power of the ACLT Reaction Specification Language
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti
CSM User's Guide
Implementing Contexts in Logic Programming
Techniques for Implementing Contexts in Logic Programming
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
Merging Logic Programming into Web-based Technology: A Coordination-based Approach
A Structured Logic Programming Approach to Robot Programming
Robot Control Systems as Contextual Logic Programs
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
Moving Prolog Toward Objects
Programmable Coordination Media
On the Expressive Power of a Language for Programming Coordination Media |
| O | [top] |
|---|
| Omicini, Andrea | tuProlog: Making Prolog Ubiquitous
Agent Coordination and Control through Logic Theories
An Extensible Framework for the Development of Coordinated Applications
Logic Tuple Spaces for the Coordination of Heterogeneous Agents
Designing Multi-Agent Systems around an Extensible Communication Abstraction
Designing Multi-Agent Systems around a Programmable Communication Abstraction
Expressive Power of the ACLT Reaction Specification Language
Metodologie per l'ingegneria del software: approccio ad agenti
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence
Task-Oriented Engineering of Coordinated Software Systems
SPEM on Test: the SODA Case Study
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures
Activity Theory as a Framework for MAS Coordination
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU
From the Blockchain to Logic Programming and Back: Research Perspectives
CSM User's Guide
Implementing Contexts in Logic Programming
Techniques for Implementing Contexts in Logic Programming
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2P-Kt: logic programming with objects & functions in Kotlin
Labelled Variables in Logic Programming: Foundations
Labelled Variables in Logic Programming: A First Prototype in tuProlog
Extending Logic Programming with Labelled Variables: Model and Semantics
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS
Logic Programming as a Service (LPaaS): Intelligence for the IoT
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things
Logic Programming as a Service
Towards Logic Programming as a Service: Experiments in tuProlog
Merging Logic Programming into Web-based Technology: A Coordination-based Approach
A Structured Logic Programming Approach to Robot Programming
Robot Control Systems as Contextual Logic Programs
Open Logic Theory Composition in a Software Engineering Perspective
Coordination Technology for the Development of Multi-Agent Systems on the Web
The LuCe Coordination Technology for MAS Design and Development on the Internet
Engineering Multi-Agent Systems in LuCe
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents
An Architecture for Tuple-based Coordination of Multi-Agent Systems
A Coordination Infrastructure for Agent-based Internet Applications
BaSi: Multi-Agent Based Simulation for Medieval Battles
MDE & MDA in a Multi-Paradigm Modeling Perspective
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support
Moving Prolog Toward Objects
Preface
Formal ReSpecT
Programmable Coordination Media
Formal ReSpecT
On the Expressive Power of a Language for Programming Coordination Media
From Tuple Spaces to Tuple Centres
Engineering Agent Societies: A Case Study in Smart Environments
Zooming Multi-Agent Systems
Zooming Multi-Agent Systems
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study
SODA: A Roadmap to Artefacts
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study
RBAC-MAS & SODA: Experimenting RBAC in AOSE
RBAC-MAS & SODA: Experimenting RBAC in AOSE
SODA: A Roadmap to Artefacts
From AO Methodologies to MAS Infrastructures: The SODA Case Study
An Agent-based Application for Home Intelligence
Agent-based Conference Management: A Case Study in SODA
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA
Logic Programming in Space-Time: The Case of Situatedness in LPaaS
Coordination Tools for MAS Development and Deployment
Coordination Tools for the Development of Agent-based Systems
Enlightened Agents in TuCSoN
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Virtual Enterprises and Workflow Management as Agent Coordination Issues
The TuCSoN Coordination Infrastructure for Virtual Enterprises
Enlightened Agents in TuCSoN
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Multi-paradigm Java-Prolog Integration in tuProlog
Towards a Logic Language and Framework for Web Programming
Towards a logic framework for Web programming
Towards a Logic Language and Framework for Web Programming |
| P | [top] |
|---|
| Piancastelli, Giulio | Designing a Development Environment for Logic and Multi-Paradigm Programming
Designing a Development Environment for Logic and Multi-Paradigm Programming
Towards a Logic Language and Framework for Web Programming
Towards a logic framework for Web programming
Towards a Logic Language and Framework for Web Programming |
| Piunti, Michele | A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems |
| Prandini, Marco | Extending a Smart Home Multi-Agent System with Role-Based Access Control
Risk Analysis and Deployment Security Issues in a Multi-Agent System |
| Prati, Nando | Relevance of Winning Coalitions in Indirect Control of Corporations
An Algorithm for Winning Coalitions in Indirect Control of Corporations |
| R | [top] |
|---|
| Ricci, Alessandro | Task-Oriented Engineering of Coordinated Software Systems
Activity Theory as a Framework for MAS Coordination
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study
Engineering a BPEL Orchestration Engine as a Multi-agent System
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services
Engineering Agent Societies: A Case Study in Smart Environments
Zooming Multi-Agent Systems
Zooming Multi-Agent Systems
SODA: A Roadmap to Artefacts
SODA: A Roadmap to Artefacts
Coordination Tools for MAS Development and Deployment
Coordination Tools for the Development of Agent-based Systems
Enlightened Agents in TuCSoN
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
Virtual Enterprises and Workflow Management as Agent Coordination Issues
The TuCSoN Coordination Infrastructure for Virtual Enterprises
Enlightened Agents in TuCSoN
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures
Multi-paradigm Java-Prolog Integration in tuProlog |
| Riccioni, Anna | An experimental environment for teaching Java Security
vLab: an Eclipse-based Virtual Laboratory |
| Rossi, Davide | Tuple-based Technologies for Coordination |
| Rubino, Rossella | Integrating and Orchestrating Services upon an Agent Coordination Infrastructure
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts
OWL-S for Describing Artifacts |
| S | [top] |
|---|
| Sabatucci, Luca | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces |
| Sartor, Giovanni | Preface |
| Siboni, Enrico | 2P-Kt: logic programming with objects & functions in Kotlin |
| T | [top] |
|---|
| Tomaiuolo, Michele | Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces |
| Toschi, Vladimiro | Coordination Technology for the Development of Multi-Agent Systems on the Web
The LuCe Coordination Technology for MAS Design and Development on the Internet |
| V | [top] |
|---|
| Venuti, Marco | An Extensible Framework for the Development of Coordinated Applications
Logic Tuple Spaces for the Coordination of Heterogeneous Agents |
| Viroli, Mirko | Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres
Engineering a BPEL Orchestration Engine as a Multi-agent System |
| Vitali, Giuliano | VPN - Client-server object-oriented virtual plant modeling tool
Simulate plants: a client-server graphic approach
Interacting with Virtual Plants: a Client-Server Approach |
| Z | [top] |
|---|
| Zanichelli, Francesco | A Structured Logic Programming Approach to Robot Programming
Robot Control Systems as Contextual Logic Programs |
