Tutti i documenti taggati con 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