tag : tuProlog
22 publications
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — 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 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 Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (paper in proceedings, 2019) — Andrea Omicini, Roberta Calegari 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 LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, 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 Logic Programming as a Service (LPaaS): Intelligence for the IoT (paper in proceedings, 2017) — 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 The Butlers Framework for Socio-Technical Smart Spaces (paper in proceedings, 2016) — 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 Building Smart Spaces on the Home Manager platform (article in journal, 2016) — Roberta Calegari, Enrico Denti Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — 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 Semantic Tuple Centres (article in journal, 2013) — Elena Nardini, Andrea Omicini, Mirko Viroli tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari Designing a Development Environment for Logic and Multi-Paradigm Programming (paper in proceedings, 2008) — 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 tuProlog 2.0: One Step Beyond (article in journal, 2007) — 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 Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — 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