Publications

• Probabilistic logic programming in 2P-Kt (paper in proceedings, 2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
• 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
• 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

• 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
• Arg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
• Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (paper in proceedings, 2019) — Andrea Omicini, Roberta Calegari — Andrea Omicini, Roberta Calegari
• Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (paper in proceedings, 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
• Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (paper in proceedings, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
• Logic Programming in Space-Time: The Case of Situatedness in LPaaS (paper in proceedings, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
• LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
• Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings, 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
• Context Reasoning and Prediction in Smart Environments: the Home Manager case (paper in proceedings, 2017) — Roberta Calegari, Enrico Denti — Roberta Calegari, Enrico Denti
• The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti — Roberta Calegari, Enrico Denti
• Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
• Building Smart Spaces on the Home Manager platform (article in journal, 2016) — Roberta Calegari, Enrico Denti — Roberta Calegari, Enrico Denti
• Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
• Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (paper in proceedings, 2015) — Enrico Denti, Roberta Calegari — Enrico Denti, Roberta Calegari
• tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari — Enrico Denti, Andrea Omicini, Roberta Calegari
• Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli — Elena Nardini, Andrea Omicini, Mirko Viroli
• Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings, 2008) — Giulio Piancastelli, Enrico Denti — Giulio Piancastelli, Enrico Denti
• The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings, 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
• tuProlog 2.0: One Step Beyond (article in journal, 2007) — Giulio Piancastelli, Andrea Omicini — Giulio Piancastelli, Andrea Omicini
• simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (paper in proceedings, 2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini
• Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci — Enrico Denti, Andrea Omicini, Alessandro Ricci
• tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (paper in proceedings, 2001) — Enrico Denti, Andrea Omicini, Alessandro Ricci — Enrico Denti, Andrea Omicini, Alessandro Ricci