Tag Clouds

14 docs / Tag “2p-Kt”  /  2P-Kt 

 (courses)  Clauses storage in 2P-Kt
(courses.mas2021.projects)  Agents and LRNN in 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)
 Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (completed, 22/07/2021) — Giovanni Speciale
 Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (completed, 28/05/2021) — Maicol Forti
 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
 Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (completed, 27/05/2022) — Luca Nannini
 Probabilistic logic programming in 2P-Kt (paper in proceedings, 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
 Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (completed, 22/07/2020) — Andrea Dipietro
 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni
 Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (completed, 16/12/2021) — Andrea Giordano
 Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (completed, 22/07/2020) — Ilaria Crivellari
 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 “2p-Kt”  /  tuProlog 

  2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
 Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (Document “Theses.DiPietro2PKtAndroid2020” does not contain a “Thesis” object, 22/07/2020) — Andrea Dipietro
 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (completed, 12/12/2019) — Enrico Siboni
 Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (completed, 22/07/2020) — Ilaria Crivellari