Tag Clouds

3 docs / Tag “AI4EU”  /  2P-Kt 

  Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (talk, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini)
 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

2 docs / Tag “AI4EU”  /  tuProlog 

  Arg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
 Arg-tuProlog: a tuProlog-based argumentation framework (talk, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)