Enrico Denti

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 19

Top Topics

Symbolic Reasoning

Knowledge Representation Language

Procedural Semantics

Top Venues

Fundam. Informaticae

Publications

Enrico Denti, Luca Burroni
Delay Indices for Train Punctuality. Inf. 14 (5) (2023)
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin. WOA (2020)
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives. Inf. 11 (3) (2020)
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines. IDCS (2019)
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic programming as a service in multi-agent systems for the Internet of Things. Int. J. Grid Util. Comput. 10 (4) (2019)
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
Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS. IC2E (2018)
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic programming as a service. Theory Pract. Log. Program. 18 (5-6) (2018)
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives. WOA (2018)
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service. CoRR (2018)
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Extending Logic Programming with Labelled Variables: Model and Semantics. Fundam. Informaticae 161 (1-2) (2018)
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning. Big Data Cogn. Comput. 2 (3) (2018)
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Logic Programming as a Service (LPaaS): Intelligence for the IoT. ICNSC (2017)
Roberta Calegari, Enrico Denti
Context Reasoning and Prediction in Smart Environments: The Home Manager Case. IIMSS (2017)
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Labelled Variables in Logic Programming: Foundations. CILC (2016)
Giacomo Cabri, Massimo Cossentino, Enrico Denti, Paolo Giorgini, Ambra Molesini, Monica Mordonini, Michele Tomaiuolo, Luca Sabatucci
Towards an Integrated Platform for Adaptive Socio-technical Systems for Smart Spaces. WETICE (2016)
Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno
Privacy Through Anonymisation in Large-Scale Socio-Technical Systems: Multi-lingual Contact Centres Across the EU. INSCI (2016)
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Towards Logic Programming as a Service: Experiments in tuProlog. WOA (2016)
Roberta Calegari, Enrico Denti
The Butlers Framework for Socio-Technical Smart Spaces. INSCI (2016)
Roberta Calegari, Enrico Denti, Andrea Omicini
Labelled Variables in Logic Programming: A First Prototype in tuProlog. DC@AI*IA (2015)
Enrico Denti, Roberta Calegari
Butler-ising HomeManager - A Pervasive Multi-Agent System for Home Intelligence. ICAART (1) (2015)
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a logic framework for Web programming. Intelligenza Artificiale 5 (1) (2011)
Ambra Molesini, Enrico Denti, Andrea Omicini
BaSi: Multi-Agent Based Simulation for Medieval Battles. WOA (2011)
Ambra Molesini, Enrico Denti, Andrea Omicini
Agent-based conference management: a case study in SODA. Int. J. Agent Oriented Softw. Eng. 4 (1) (2010)
Ambra Molesini, Marco Prandini, Elena Nardini, Enrico Denti
Risk Analysis and Deployment Security Issues in a Multi-agent System. ICAART (2) (2010)
Alessandro Ricci, Enrico Denti, Michele Piunti
A platform for developing SOA/WS applications as open and heterogeneous multi-agent systems. Multiagent Grid Syst. 6 (2) (2010)
Ambra Molesini, Enrico Denti, Andrea Omicini
HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence. ICAART (Revised Selected Papers) (2009)
Ambra Molesini, Enrico Denti, Elena Nardini, Andrea Omicini
Situated process engineering for integrating processes from methodologies to infrastructures. SAC (2009)
Ambra Molesini, Enrico Denti, Andrea Omicini
An Agent-based Application for Home Intelligence. ICAART (2009)
Elena Nardini, Ambra Molesini, Andrea Omicini, Enrico Denti
SPEM on test: the SODA case study. SAC (2008)
Anna Riccioni, Enrico Denti, Roberto Laschi
An experimental environment for teaching Java security. PPPJ (2008)
Giulio Piancastelli, Andrea Omicini, Enrico Denti
Towards a Logic Language and Framework for Web Programming. Il Milione (2008)
Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini
Advancing Object-Oriented Standards toward Agent-Oriented Methodologies: SPEM 2.0 on SODA. WOA (2008)
Giulio Piancastelli, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming. Eclipse-IT (2008)
Ambra Molesini, Enrico Denti, Andrea Omicini
RBAC-MAS and SODA: Experimenting RBAC in AOSE. ESAW (2008)
Alessandro Ricci, Enrico Denti
simpA-WS: A Simple Agent-Oriented Programming Model & Technology for Developing SOA & Web Services. WOA (2007)
Mirko Viroli, Enrico Denti, Alessandro Ricci
Engineering a BPEL orchestration engine as a multi-agent system. Sci. Comput. Program. 66 (3) (2007)
Ambra Molesini, Enrico Denti, Andrea Omicini
From AO Methodologies to MAS Infrastructures: The SODACase Study. ESAW (2007)
Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Rossella Rubino, Ambra Molesini, Enrico Denti
OWL-S for Describing Artifacts. EUMAS (2006)
Ambra Molesini, Andrea Omicini, Alessandro Ricci, Enrico Denti
Zooming Multi-Agent Systems. AOSE (2005)
Ambra Molesini, Enrico Denti, Andrea Omicini
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study. CEEMAS (2005)
Rossella Rubino, Andrea Omicini, Enrico Denti
Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts. AAMAS Workshops (2005)
Enrico Denti, Andrea Omicini, Alessandro Ricci
Multi-paradigm Java-Prolog integration in tuProlog. Sci. Comput. Program. 57 (2) (2005)
Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci
SODA: A Roadmap to Artefacts. ESAW (2005)
Enrico Denti, Andrea Omicini, Alessandro Ricci
Task-oriented engineering of coordinated software systems. ISPE CE (2003)
Enrico Denti, Alessandro Ricci, Rossella Rubino
Integrating and Orchestrating Services upon an Agent Coordination Infrastructure. ESAW (2003)
Alessandro Ricci, Andrea Omicini, Enrico Denti
Engineering agent societies: a case study in smart environments. AAMAS (2002)
Enrico Denti, Andrea Omicini, Alessandro Ricci
Coordination Tools for MAS Development and Deployment. Appl. Artif. Intell. 16 (9-10) (2002)
Alessandro Ricci, Andrea Omicini, Enrico Denti
Activity Theory as a Framework for MAS Coordination. ESAW (2002)
Alessandro Ricci, Andrea Omicini, Enrico Denti
Virtual Enterprises and Workflow Management As Agent Coordination Issues. Int. J. Cooperative Inf. Syst. 11 (3) (2002)
Alessandro Ricci, Andrea Omicini, Enrico Denti
Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study. COORDINATION (2002)
Enrico Denti, Andrea Omicini
LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents. Auton. Agents Multi Agent Syst. 4 (1/2) (2001)
Andrea Omicini, Enrico Denti
From tuple spaces to tuple centres. Sci. Comput. Program. 41 (3) (2001)
Alessandro Ricci, Andrea Omicini, Enrico Denti
Enlightened Agents in TuCSoN. WOA (2001)
Enrico Denti, Andrea Omicini, Alessandro Ricci
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures. PADL (2001)
Alessandro Ricci, Andrea Omicini, Enrico Denti
The TuCSoN Coordination Infrastructure for Virtual Enterprises. WETICE (2001)
Alessandro Ricci, Enrico Denti, Andrea Omicini
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management. CIA (2001)
Andrea Omicini, Enrico Denti
Formal ReSpecT. APPIA-GULP-PRODE 48 (2001)
Enrico Denti, Andrea Omicini
A Coordination Infrastructure for Agent-based Internet Applications. WETICE (2000)
Enrico Denti, Andrea Omicini, Vladimiro Toschi
The LuCe Coordination Technology for MAS Design and Development on the Internet. COORDINATION (2000)
Enrico Denti, Andrea Omicini
An Architecture for Tuple-Based Coordination of Multi-Agent Systems. Softw. Pract. Exp. 29 (12) (1999)
Enrico Denti, Antonio Natali, Andrea Omicini
On the expressive power of a language for programming coordination media. SAC (1998)
Enrico Denti, Antonio Natali, Andrea Omicini
Programmable Coordination Media. COORDINATION (1997)
Enrico Denti, Andrea Omicini
Designing Multi-agent Systems around an Extensible Communication Abstraction. ModelAge Workshop (1997)
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
An Extensible Frame work for the Development of Coordinated Applications. COORDINATION (1996)
Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti
Logic Tuple Spaces for the Coordination of Heterogeneous Agents. FroCoS (1996)
Andrea Omicini, Enrico Denti, Antonio Natali
Agent Coordination and Control through Logic Theories. AI*IA (1995)
Enrico Denti, Antonio Natali, Andrea Omicini
Moving Prolog Toward Objects. ICLP-Workshops on Implementation of Logic Programming Systems (1993)
Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
Techniques for Implementing Contexts in Logic Programming. ELP (1992)