
Hexlite
A solver the HEX language which combines Logic Programming with Python-based plugins.
A solver the HEX language which combines Logic Programming with Python-based plugins.
edu2com is a team formation algorithm for allocating teams of students to internship programs
REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach.
sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems
A neurosymbolic framework that supports querying, learning and reasoning with both rich data and rich abstract knowledge about the world
A Python library that integrates machine learning with constraint optimization using the AI Domain Definition Language.
A lightweight approach for implementing constructive disjunction for in SICStus Prolog.