
ATOS
State-of-the-art solver for logic programming under the answer set semantics.
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.
edu2com is a team formation algorithm for allocating teams of students to internship programs
zephyrus2 is a tool that allows computing the optimal configuration of applications in a cloud