5 items found

Types: Application Groups: Others

Filter Results

  • Access required...

    ×

    Application

    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...

  • Access required...

    ×

    Application

    Private ThinkEngine

    ThinkEngine is a tool that allows to integrate declarative automated reasoning modules in 3D simulations and videogames in the Unity development engine.

  • Access required...

    ×

    Application

    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...

  • Access required...

    ×

    Application

    Private Generative Datalog

    Generative Datalog is an extension of Datalog that incorporates constructs for referencing parameterized probability distributions. This augmentation transforms the evaluation...

  • Access required...

    ×

    Application

    Private mamtorch library

    Python Multiply-And-Max/min (MAM) torch-compatible kernel library (https://github.com/SSIGPRO/mamtorch). With this library, it is possible to substitute standard neurons with...