Talks

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

• Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
• Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
• Arg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
• Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini (Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini)
• Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani)
• Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)
• tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci)