Enrico Denti

Orcid: 0000-0003-1687-8793

Affiliations:
  • University of Bologna, Italy


According to our database1, Enrico Denti authored at least 71 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Delay Indices for Train Punctuality.
Inf., May, 2023

2020
Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives.
Inf., 2020

2P-Kt: logic programming with objects & functions in Kotlin.
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

2019
Logic programming as a service in multi-agent systems for the Internet of Things.
Int. J. Grid Util. Comput., 2019

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines.
Proceedings of the Internet and Distributed Computing Systems, 2019

2018
Logic programming as a service.
Theory Pract. Log. Program., 2018

Extending Logic Programming with Labelled Variables: Model and Semantics.
Fundam. Informaticae, 2018

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning.
Big Data Cogn. Comput., 2018

From the Blockchain to Logic Programming and Back: Research Perspectives.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Logic Programming in Space-Time: The Case of Situatedness in LPaaS.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

2017
Context Reasoning and Prediction in Smart Environments: The Home Manager Case.
Proceedings of the Intelligent Interactive Multimedia Systems and Services 2017, 2017

Logic Programming as a Service (LPaaS): Intelligence for the IoT.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016
Towards Logic Programming as a Service: Experiments in tuProlog.
Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016

Towards an Integrated Platform for Adaptive Socio-technical Systems for Smart Spaces.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Privacy Through Anonymisation in Large-Scale Socio-Technical Systems: Multi-lingual Contact Centres Across the EU.
Proceedings of the Internet Science - Third International Conference, 2016

The Butlers Framework for Socio-Technical Smart Spaces.
Proceedings of the Internet Science - Third International Conference, 2016

Labelled Variables in Logic Programming: Foundations.
Proceedings of the 31st Italian Conference on Computational Logic, 2016

2015
Butler-ising HomeManager - A Pervasive Multi-Agent System for Home Intelligence.
Proceedings of the ICAART 2015, 2015

Labelled Variables in Logic Programming: A First Prototype in tuProlog.
Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

2011
Towards a logic framework for Web programming.
Intelligenza Artificiale, 2011

BaSi: Multi-Agent Based Simulation for Medieval Battles.
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011

2010
A platform for developing SOA/WS applications as open and heterogeneous multi-agent systems.
Multiagent Grid Syst., 2010

Agent-based conference management: a case study in SODA.
Int. J. Agent Oriented Softw. Eng., 2010

Risk Analysis and Deployment Security Issues in a Multi-agent System.
Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

2009
Situated process engineering for integrating processes from methodologies to infrastructures.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

HomeManager: Testing Agent-Oriented Software Engineering in Home Intelligence.
Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

An Agent-based Application for Home Intelligence.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

2008
Advancing Object-Oriented Standards toward Agent-Oriented Methodologies: SPEM 2.0 on SODA.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008

SPEM on test: the SODA case study.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

An experimental environment for teaching Java security.
Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, 2008

RBAC-MAS and SODA: Experimenting RBAC in AOSE.
Proceedings of the Engineering Societies in the Agents World IX, 2008

Designing a Development Environment for Logic and Multi-Paradigm Programming.
Proceedings of the 3rd Italian Workshop on Eclipse Technologies, 2008

Towards a Logic Language and Framework for Web Programming.
Proceedings of the Il Milione (i.e. 2^6), 2008

2007
Engineering a BPEL orchestration engine as a multi-agent system.
Sci. Comput. Program., 2007

simpA-WS: A Simple Agent-Oriented Programming Model & Technology for Developing SOA & Web Services.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

From AO Methodologies to MAS Infrastructures: The SODACase Study.
Proceedings of the Engineering Societies in the Agents World VIII, 2007

2006
OWL-S for Describing Artifacts.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

2005
Multi-paradigm Java-Prolog integration in tuProlog.
Sci. Comput. Program., 2005

Designing a BPEL Orchestration Engine Based on ReSpecT Tuple Centres.
Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

SODA: A Roadmap to Artefacts.
Proceedings of the Engineering Societies in the Agents World VI, 2005

MAS Meta-models on Test: UML vs. OPM in the SODA Case Study.
Proceedings of the Multi-Agent Systems and Applications IV, 2005

Computational Institutions for Modelling Norm-Regulated MAS: An Approach Based on Coordination Artifacts.
Proceedings of the Coordination, 2005

Zooming Multi-Agent Systems.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

2003
Task-oriented engineering of coordinated software systems.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

Integrating and Orchestrating Services upon an Agent Coordination Infrastructure.
Proceedings of the Engineering Societies in the Agents World IV, 2003

2002
Virtual Enterprises and Workflow Management As Agent Coordination Issues.
Int. J. Cooperative Inf. Syst., 2002

Coordination Tools for MAS Development and Deployment.
Appl. Artif. Intell., 2002

Activity Theory as a Framework for MAS Coordination.
Proceedings of the Engineering Societies in the Agents World III, 2002

Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study.
Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Engineering agent societies: a case study in smart environments.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
From tuple spaces to tuple centres.
Sci. Comput. Program., 2001

Formal ReSpecT.
Proceedings of the Declarative Programming, 2001

LuCe: A Tuple-based Coordination Infrastructure for Prolog and Java Agents.
Auton. Agents Multi Agent Syst., 2001

Enlightened Agents in TuCSoN.
Proceedings of the WOA 2001: Dagli Oggetti agli Agenti. 2nd AI*IA/TABOO Joint Workshop "From Objects to Agents": Evolutive Trends of Software Systems, 2001

The TuCSoN Coordination Infrastructure for Virtual Enterprises.
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001

tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures.
Proceedings of the Practical Aspects of Declarative Languages, 2001

Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management.
Proceedings of the Cooperative Information Agents V, 5th International Workshop, 2001

Tuple-based Technologies for Coordination.
Proceedings of the Coordination of Internet Agents: Models, Technologies, and Applications, 2001

2000
A Coordination Infrastructure for Agent-based Internet Applications.
Proceedings of the 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 2000

The LuCe Coordination Technology for MAS Design and Development on the Internet.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1999
An Architecture for Tuple-Based Coordination of Multi-Agent Systems.
Softw. Pract. Exp., 1999

1998
On the expressive power of a language for programming coordination media.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

1997
Designing Multi-agent Systems around an Extensible Communication Abstraction.
Proceedings of the Formal Models of Agents, 1997

Programmable Coordination Media.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996
Logic Tuple Spaces for the Coordination of Heterogeneous Agents.
Proceedings of the Frontiers of Combining Systems, 1996

An Extensible Frame work for the Development of Coordinated Applications.
Proceedings of the Coordination Languages and Models, First International Conference, 1996

1995
Agent Coordination and Control through Logic Theories.
Proceedings of the Topics in Artificial Intelligence, 1995

Robot Control Systems as Contextual Logic Programs.
Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1993
Moving Prolog Toward Objects.
Proceedings of the Implementations of Logic Programming Systems: Papers from the ICLP 1993 Workshops: Practical Implementations and Systems Experience in Logic Programming Systems, 1993

1992
Techniques for Implementing Contexts in Logic Programming.
Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992


  Loading...