-
Private BrainyBot
BrainyBot (BB) is a robot infrastructure that can be programmed to solve turn-based, single player board games, such a Candy Crush Saga, Ball Sort Puzzle, 2048 and whatever... -
Private ThinkEngine
ThinkEngine is a tool that allows to integrate declarative automated reasoning modules in 3D simulations and videogames in the Unity development engine. -
Private neXSim
neXSim is a web-based prototype system implementing "implementing a logic based framework for characterising nexus of similarity within knowledge bases", namely expressing in...