Nuvole dei tag

5 documenti / tag : CompuLaw / 2P-Kt

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

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)

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

Probabilistic logic programming in 2P-Kt (articolo in atti, 2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto

2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo in rivista, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

[ nuvola tag / 2P-Kt ]

5 documenti / tag : CompuLaw / tuProlog

Arg-tuProlog: A tuProlog-based argumentation framework (articolo in atti, 2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, 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)

Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)

2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo in rivista, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini

[ nuvola tag / tuProlog ]