Department of Mathematics and Computer Science

EmbASP

A general framework for embedding Logic Programming in complex systems

LoIDE

Web-based IDE for Logic Programming

I-DLV

The new intelligent grounder of the logic-based Artificial Intelligence system DLV

ThinkEngine

A Unity asset for a tight integration of AI in games: asset, showcase, web page.

BrainyBot

Repository for Automated Tapping Robot applications

NetworkSecurity

Materiale esercitazioni Network and Security

EmbASP-Python

A general framework for embedding Logic Programming in complex systems

PythonESE

Python web app to execute logic programs with different solvers, using the EmbASP framework

EnviroStream

A Stream Reasoning Benchmark for Environmental and Climate Monitoring

I-DLV-sr

LoIDE-API-Server

LoIDE-Classic

LoIDE-PWA

embasp_website

The EmbASP website

ASP-for-data-augmentation

bringing this into the institutional fence

Data-augmentation-via-ASP

tappy-original

Tappy is updated version of Tapsterbot developed for TestDevLab.

tapster-3-original

Tapster 3 delta robot original project from Tapster.io

tapsterbot-original

[Automation] Open-source and open-hardware robot for automation of tests for mobile apps

ThinkEngine-Games-Asteroids

🚀🌑 adding ai capabilities to Player game object

ThinkEngine-Games-BossRoom

An AI player version for the Boss Room game

ThinkEngine-Games-CookedUp

Unity Game inspired by Overcooked and PlateUp! with Bots AI using ASP

ThinkEngine-Games-RedRunner

Red Runner, Awesome Platformer Game.

ThinkEngine-Games-Space-Invaders

👾🛸 Learn to make Space Invaders in Unity.

ThinkEngine-Pacman-Incremental

A Pacman clone with original AI made using Unity / C#

ThinkEngine-PADL-Experiments

ThinkEngine-Sensors-Performance-Experiments

ThinkEngine-Showcase

ThinkEngine-Simulator-unity-traffic-simulation

A Unity asset that lets you easily simulate very simple traffic into your scene.

threadmonitor

Library made for graphic multithreading debug