All pages tagged with 2p-Kt

• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
• Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt
• 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI
• Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
• Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
• Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
• Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP