tag : logic programming

ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (PLP 2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari

CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

Explainability through argumentation in logic programming (2021) — Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor

A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor

2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Logic Programming as a Service in Multi-Agent Systems for the Internet of Things (International Journal of Grid and Utility Computing, 2019) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini

From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

Extending Logic Programming with Labelled Variables: Model and Semantics (Fundamenta Informaticae, 2018) — Roberta Calegari, Enrico Denti, Agostino Dovier, 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 as a Service (Theory and Practice of Logic Programming, 2018) — Roberta Calegari, Enrico Denti, Stefano Mariani, 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

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

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