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

 Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (27/05/2022) — Luca Nannini

 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni

 Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari

 Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (16/12/2021) — Andrea Giordano

  tuProlog Web IDE — Alberto Donati  •  Fabio Muratori

  Updating the 2pKt library for Python — Luca Deluigi

 Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) — Maicol Forti

 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 (paper in proceedings, 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

  Web Server per l’utilizzo di Solver di Logic Programming — Lorenzo Osimani

  Agents and LRNN in 2P-Kt — Carlo Cena

 Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (22/07/2020) — Andrea Dipietro

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

  Clauses storage in 2P-Kt — Manuel Bonarrigo

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

 Extending the 2P-Kt ecosystem: CLP and Labelled LP (03/02/2023) — Giuseppe Boezio

  SchoolTimetable: A hybrid CP and MAS case study — Giuseppe Boezio

 Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (22/07/2021) — Giovanni Speciale