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

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

Linear Temporal Logic over Finite Traces (LTLf) is a popular logic to reason about finite sequences of events. In LTLf, the (bounded) satisfiability problem refers to whether...

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