tag : 2p-Kt

3 publications / Andrea Omicini
page_white_acrobat 2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
page_white_acrobat Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
page_white_acrobat 2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini