3 items found

Types: Application Tags: answer set programming

Filter Results

  • 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 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 Generative Datalog

    Generative Datalog is an extension of Datalog that incorporates constructs for referencing parameterized probability distributions. This augmentation transforms the evaluation...
You can also access this registry using the API (see API Docs).