A solver the HEX language which combines Logic Programming with Python-based plugins. read more of Hexlite

A tutorial for KENN2 library read more of KENN2 - Relational tutorial

A Java API for meta-constraint reasoning read more of Meta-CSP Framework

edu2com is a team formation algorithm for allocating teams of students to internship programs read more of edu2comAPI

REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach. read more of Wumpus World Simulator

sunny-cp is a parallel portfolio solver for solving Constraint Satisfaction/Optimization Problems read more of SUNNY-CP

A neurosymbolic framework that supports querying, learning and reasoning with both rich data and rich abstract knowledge about the world read more of Logic Tensor Networks

A Python library to embed ML models in declarative optimization models read more of EMLlib

A Python library that integrates machine learning with constraint optimization using the AI Domain Definition Language. read more of Moving Targets via AIDDL

A python 2.7 library for Neural-Symbolic integration read more of KENN-Docker

A lightweight approach for implementing constructive disjunction for in SICStus Prolog. read more of ITE for SICStus Prolog

Hexlite OWLAPI Plugin read more of Hexlite OWLAPI Plugin