Per tipo

122 pubblicazioni / Enrico Denti

long bib

in rivista • in atti • capitoli • libri • rapporti • dottorato • curatele • editoriali

articoli in rivista

Delay Indices for Train Punctuality (Information, 2023) — Enrico Denti, Luca Burroni
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Logic Programming as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Building Smart Spaces on the Home Manager platform (ALP Newsletter, 2016) — Roberta Calegari, Enrico Denti
Novel pervasive scenarios for home management: the Butlers architecture (2014) — Enrico Denti
Valuing the User Experience in Human-Computer Interaction: the Respected User Manifesto (2014) — Enrico Denti
tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari
Towards a logic framework for Web programming (Intelligenza Artificiale, 2011) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
A Platform for Developing SOA/WS Applications as Open and Heterogeneous Multi-agent Systems (Multiagent and Grid Systems, 2010) — Alessandro Ricci, Enrico Denti, Michele Piunti
Agent-based Conference Management: A Case Study in SODA (International Journal of Agent-Oriented Software Engineering, 2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Engineering a BPEL Orchestration Engine as a Multi-agent System (Science of Computer Programming, 2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Relevance of Winning Coalitions in Indirect Control of Corporations (2004) — Enrico Denti, Nando Prati
Virtual Enterprises and Workflow Management as Agent Coordination Issues (International Journal of Cooperative Information Systems, 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Tools for MAS Development and Deployment (Applied Artificial Intelligence, 2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
An Algorithm for Winning Coalitions in Indirect Control of Corporations (2001) — Nando Prati, Enrico Denti
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents (Autonomous Agents and Multi-Agent Systems, 2001) — Enrico Denti, Andrea Omicini
From Tuple Spaces to Tuple Centres (Science of Computer Programming, 2001) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (AI*IA Notizie, 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
An Architecture for Tuple-based Coordination of Multi-Agent Systems (Software: Practice and Experience, 1999) — Enrico Denti, Andrea Omicini
Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti
Grafica in Turbo Pascal (1988) — Enrico Denti

25 articoli in rivista • in cima • indice • in fondo

articoli in atti

2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018@ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016) — Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
The Butlers Framework for Socio-Technical Smart Spaces (INSCI 2016) — Roberta Calegari, Enrico Denti
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards an Integrated Platform for Adaptive Socio-Technical Systems for Smart Spaces (2016) — Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari
Extending a Smart Home Multi-Agent System with Role-Based Access Control (ITS 2014) — Enrico Denti, Roberta Calegari, Marco Prandini
VPN - Client-server object-oriented virtual plant modeling tool (2012) — Giuliano Vitali, Eugenio Magnanini, Nico Mennucci, Enrico Denti
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011) — Ambra Molesini, Enrico Denti, Andrea Omicini
Interacting with Virtual Plants: a Client-Server Approach (2010) — Giuliano Vitali, Eugenio Magnanini, Niko Mennucci, Enrico Denti
Simulate plants: a client-server graphic approach (2010) — Giuliano Vitali, Eugenio Magnanini, Enrico Denti
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence (2010) — Ambra Molesini, Enrico Denti, Andrea Omicini
Risk Analysis and Deployment Security Issues in a Multi-Agent System (2010) — Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti
Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009@SAC 2009) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
An Agent-based Application for Home Intelligence (2009) — Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008) — Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
SPEM on Test: the SODA Case Study (2008) — Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008) — Ambra Molesini, Enrico Denti, Andrea Omicini
An experimental environment for teaching Java Security (2008) — Anna Riccioni, Enrico Denti, Roberto Laschi
Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) — Giulio Piancastelli, Enrico Denti
From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007) — Ambra Molesini, Enrico Denti, Andrea Omicini
simpA-WS: a Simple Agent-Oriented Programming Model and Technology for Developing SOA and Web Services (WOA 2007) — Alessandro Ricci, Enrico Denti
vLab: an Eclipse-based Virtual Laboratory (2007) — Anna Riccioni, Enrico Denti
Zooming Multi-Agent Systems (2006) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
OWL-S for Describing Artifacts (2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Metodologie per l'ingegneria del software: approccio ad agenti (AICA 2006) — Ambra Molesini, Enrico Denti, Andrea Omicini
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005) — Ambra Molesini, Enrico Denti, Andrea Omicini
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts (ANI@REM 2005@AAMAS 2005) — Rossella Rubino, Andrea Omicini, Enrico Denti
SODA: A Roadmap to Artefacts (ESAW 2005) — Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
Zooming Multi-Agent Systems (2005) — Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure (ESAW 2003) — Enrico Denti, Alessandro Ricci, Rossella Rubino
Task-Oriented Engineering of Coordinated Software Systems (2003) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Activity Theory as a Framework for MAS Coordination (ESAW 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Coordination Tools for the Development of Agent-based Systems (2002) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Objective vs. Subjective Coordination in Agent-based Systems: A Case Study (2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering Agent Societies: A Case Study in Smart Environments (AAMAS 2002) — Alessandro Ricci, Andrea Omicini, Enrico Denti
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management (CIA 2001) — Alessandro Ricci, Enrico Denti, Andrea Omicini
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
Formal ReSpecT (2001) — Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN (WOA 2001) — Alessandro Ricci, Andrea Omicini, Enrico Denti
The LuCe Coordination Technology for MAS Design and Development on the Internet (2000) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000) — Enrico Denti, Andrea Omicini
Formal ReSpecT (2000) — Andrea Omicini, Enrico Denti
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Coordination Technology for the Development of Multi-Agent Systems on the Web (1999) — Enrico Denti, Andrea Omicini, Vladimiro Toschi
Engineering Multi-Agent Systems in LuCe (1999) — Enrico Denti, Andrea Omicini
On the Expressive Power of a Language for Programming Coordination Media (CM @ SAC 1998@SAC 1998) — Enrico Denti, Antonio Natali, Andrea Omicini
Designing Multi-Agent Systems around a Programmable Communication Abstraction (ModelAge‘97) — Enrico Denti, Andrea Omicini
Programmable Coordination Media (COORDINATION 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
An Extensible Framework for the Development of Coordinated Applications (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (1996) — Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Agent Coordination and Control through Logic Theories (AI*IA'95) — Andrea Omicini, Enrico Denti, Antonio Natali
Open Logic Theory Composition in a Software Engineering Perspective (1994) — Enrico Denti, Andrea Omicini
A Structured Logic Programming Approach to Robot Programming (1994) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Techniques for Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Implementing Contexts in Logic Programming (ELP'92) — Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini

75 articoli in atti • in cima • indice • in fondo

capitoli di libro

MDE & MDA in a Multi-Paradigm Modeling Perspective (2021) — Ambra Molesini, Enrico Denti, Andrea Omicini
Towards a Logic Language and Framework for Web Programming (2008) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Tuple-based Technologies for Coordination (Coordination of Internet Agents. Models, Technologies, and Applications, 2001) — Davide Rossi, Giacomo Cabri, Enrico Denti
Robot Control Systems as Contextual Logic Programs (1995) — Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli
Moving Prolog Toward Objects (1994) — Enrico Denti, Antonio Natali, Andrea Omicini

5 capitoli di libro • in cima • indice • in fondo

libri

Introduzione alla Programmazione a oggetti in Java (2003) — Enrico Denti
Introduzione alla Programmazione a oggetti in Java (2001) — Enrico Denti
Introduzione alla Programmazione a oggetti in Java (2000) — Enrico Denti
Fondamenti di Informatica A (Parte II) (2000) — Enrico Denti
Fondamenti di Informatica A (Parte I) (1999) — Enrico Denti
Fondamenti di Informatica A (I parte) - Raccolta del materiale proiettato e discusso a lezione (1999) — Enrico Denti
Calcolatori Elettronici III: una introduzione alla programmazione orientata agli oggetti (1995) — Enrico Denti, Antonio Natali

7 libri • in cima • indice • in fondo

rapporti tecnici

Implementing the ACLT Coordination Model (1999) — Enrico Denti
Expressive Power of the ACLT Reaction Specification Language (1997) — Enrico Denti, Antonio Natali, Andrea Omicini
Verso un Ambiente di Sviluppo per Sistemi in Tempo Reale (1993) — Enrico Denti, Antonio Natali, Andrea Omicini
CSM User's Guide (1992) — Enrico Denti, Antonio Natali, Andrea Omicini
Supporto alla Comunicazione Remota in MME 3 (1992) — Mauro Cesana, Enrico Denti, Antonio Natali, Judith Szanto

5 rapporti tecnici • in cima • indice • in fondo

tesi di dottorato

Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction (1998) — Enrico Denti

1 tesi di dottorato • in cima • indice • in fondo

curatele

WOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
WOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

2 curatele • in cima • indice • in fondo

editoriali/introduzioni/prefazioni

Preface (WOA 2021 – 22nd Workshop “From Objects to Agents”, 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface (WOA 2020 – 21st Workshop “From Objects to Agents”, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

2 editoriali/introduzioni/prefazioni • in cima • indice • in fondo