Talks
1
talk
/
tag :
2P-Kt
- Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto
7
talks
/
tag :
tuProlog
- Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano
- Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020, 10/12/2020) — Giuseppe Pisano
- Arg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano
- Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini
- Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini
- Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @ AI*IA 2015, 23/09/2015) — Roberta Calegari
- tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini
