Tag Clouds

5 docs / Tag “CompuLaw”  /  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)
 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — 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
 Probabilistic logic programming in 2P-Kt (paper in proceedings, 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

4 docs / Tag “CompuLaw”  /  tuProlog 

  Arg-tuProlog: A tuProlog-based argumentation framework (paper in proceedings, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
 Arg-tuProlog: a modular logic argumentation tool for PIL (talk, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
 Arg-tuProlog: a tuProlog-based argumentation framework (talk, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)