tag : tuProlog

2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Arg-tuProlog: A tuProlog-based argumentation framework (CILC 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018) — Andrea Omicini, Roberta Calegari

Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, 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

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

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

Building Smart Spaces on the Home Manager platform (ALP Newsletter, 2016) — Roberta Calegari, Enrico Denti

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

Labelled Variables in Logic Programming: Foundations (CILC 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015) — Enrico Denti, Roberta Calegari

tuProlog: Making Prolog Ubiquitous (ALP Newsletter, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari