Courses
Events
Internships
Journals
Products
Projects
Publications
Talks
Theses
Toggle navigation
SSO login
Home
Page Index
User Index
Application Index
Global
Languages
Default Language
What's New
Wiki Index
Eng
Ita
Search
APICe
Tags
Tags
2p-Kt
All pages tagged with
2p-Kt
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt
2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
Extending the 2P-Kt ecosystem with Concurrent Logic Programming support
tuProlog Web IDE
Updating the 2pKt library for Python
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
2P-Kt: logic programming with objects & functions in Kotlin
Web Server per l’utilizzo di Solver di Logic Programming
Agents and LRNN in 2P-Kt
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
Probabilistic logic programming in 2P-Kt
Clauses storage in 2P-Kt
2P-Kt: A Logic-Based Ecosystem for Symbolic AI
Extending the 2P-Kt ecosystem: CLP and Labelled LP
SchoolTimetable: A hybrid CP and MAS case study
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
Activity Stream for pages tagged with
2p-Kt
RSS Feed