tag : tuProlog

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

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

Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17) — Roberta Calegari, Enrico Denti

Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

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

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

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

Designing a Development Environment for Logic and Multi-Paradigm Programming (2008) — Giulio Piancastelli, Enrico Denti

Multi-paradigm Java-Prolog Integration in tuProlog (Science of Computer Programming, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci

tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01) — Enrico Denti, Andrea Omicini, Alessandro Ricci