Charles University
A neurosymbolic framework that supports querying, learning and reasoning with both rich data and rich abstract knowledge about the world
A tutorial on the Moving Targets algorithm for constrained Machine Learning
A Python library that integrates machine learning with constraint optimization using the AI Domain Definition Language.
A tutorial series from the AI in the Industry course from University of Bologna. This part covers anomaly detection via density estimation.
REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach.
edu2com is a team formation algorithm for allocating teams of students to internship programs
A lightweight approach for implementing constructive disjunction for in SICStus Prolog.