Tag Clouds
Tag Clouds
2 docs / Tag “logic programming” / 2P-Kt
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — 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
12 docs / Tag “logic programming” / tuProlog
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
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal, 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
Multi-paradigm Bi-directional Java/Prolog Programming in tuProlog (rejected) — Enrico Denti, Andrea Omicini, Mirko Viroli
Multi-paradigm Java-Prolog Integration in tuProlog (article in journal, 2005) — Enrico Denti, Andrea Omicini, Alessandro Ricci
Towards Logic Programming as a Service: Experiments in tuProlog (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
The Architecture and Design of a Malleable Object-Oriented Prolog Engine (paper in proceedings, 2008) — Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci
Labelled Variables in Logic Programming: Foundations (paper in proceedings, 2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (completed, 22/07/2020) — Riccardo Varotto
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
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (completed, 24/07/2017) — Alberto Sita
tuProlog: Making Prolog Ubiquitous (article in journal, 2013) — Enrico Denti, Andrea Omicini, Roberta Calegari