Per Sort

49 talks / Enrico Denti

talks • project presentations • internal talks

talks

2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019, 11/10/2019) — Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari)
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
From the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI, 17/04/2018) — Giovanni Ciatto (Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini)
Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17, 23/06/2017) — Enrico Denti (Enrico Denti, Roberta Calegari)
Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini (Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini)
Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016, 14/09/2016) — Enrico Denti (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)
Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
Labelled Variables in Logic Programming: Foundations (CILC 2016, 20/06/2016) — Roberta Calegari (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, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015, 10/01/2015) — Roberta Calegari (Enrico Denti, Roberta Calegari)
Extending a Smart Home multi-agent system with Role-Based Access Control (ITS 2014, 11/12/2014) — Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari)
BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011, 05/07/2011) — Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Risk Analysis and Deployment Security Issues in a Multi-Agent System (2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22/01/2010) — Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti)
SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (AOSE TFG6, 17/12/2008) — Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini)
RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008, 25/09/2008) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
SPEM on test: the SODA case study (EUMAS 2007, 07/12/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)
OWL-S for Describing Artifacts (EUMAS 2006, 14/12/2006) — Ambra Molesini (Rossella Rubino, Ambra Molesini, Enrico Denti)
Software Engineering Methodologies: The Agent Approach (AICA 2006, 22/09/2006) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
SODA: A Roadmap to Artefacts (ESAW 2005, 28/10/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005, 17/09/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti)
Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005, 26/07/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci)
Task-Oriented Engineering of Coordinated Software Systems (ISPE CE 2003, 26/07/2003) — Enrico Denti (Enrico Denti, Andrea Omicini, Alessandro Ricci)
Activity Theory as a Framework for MAS Coordination (ESAW 2002, 17/09/2002) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Enrico Denti)
The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001, 22/06/2001) — Enrico Denti (Alessandro Ricci, Andrea Omicini, Enrico Denti)
tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci)
Formal ReSpecT (AGP 2000, 05/12/2000) — Andrea Omicini (Andrea Omicini, Enrico Denti)
The LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000, 11/09/2000) — Andrea Omicini (Enrico Denti, Andrea Omicini, Vladimiro Toschi)
A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000, 16/06/2000) — Enrico Denti (Enrico Denti, Andrea Omicini)
Engineering Multi-Agent Systems in LuCe (MAS @ ICLP'99, 30/11/1999) — Andrea Omicini (Enrico Denti, Andrea Omicini)
Development of Web-based Multi-Agent Systems in LuCe (AI*IA99, 14/09/1999) — Enrico Denti (Enrico Denti, Andrea Omicini, Vladimiro Toschi)
Programmable Coordination Media (COORDINATION 1997, 01/09/1997) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini)
Merging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97, 11/07/1997) — Enrico Denti (Enrico Denti, Antonio Natali, Andrea Omicini)
Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97, 17/01/1997) — Enrico Denti (Enrico Denti, Andrea Omicini)
An Extensible Framework for the Development of Coordinated Applications (COORDINATION'96, 15/04/1996) — Enrico Denti (Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti)
Logic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996, 28/03/1996) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti)
Agent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali)
A Structured Logic Programming Approach to Robot Programming (PAP'94, 29/04/1994) — Antonio Natali (Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli)
From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93, 25/06/1993) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini)
Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)
Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)

42 talks • top • index • bottom

project presentations

Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (25/07/2016) — Andrea Omicini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno)
Partner presentation (BISON Advisory Board Meeting, 30/05/2016) — Claudia Cevenini (Claudia Cevenini, Enrico Denti)
D8.3 Legal, ethical and societal issues of BISON - II (Joint Meeting, 19/10/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno, Silvia Bisi)
D8.2 Legal, ethical and societal issues of BISON. General framework (Joint Meeting, 28/05/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Silvia Bisi, Italo Cerno)
Ethical and legal support – UniBO role and activities in BISON (Kick-off Meeting - Tutorial session, 15/01/2015) — Enrico Denti (Enrico Denti)
UniBO Partner introduction (Kick-off Meeting - Partner Introduction, 15/01/2015) — Enrico Denti (Enrico Denti)

6 project presentations • top • index • bottom

internal talks

SPEM on test: the SODA case study (Incontri settimanali aliCE, 21/09/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti)

1 internal talk • top • index • bottom