🗝️ Rust bindings to the clingo library

A collection of the ongoing research project into the Flatland competition.

Risk board game in Unity with Bot AI using Answer set programming

A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).

An ASP Timetabler Application

Tool basato su Answer Set Programming (ASP) per l'ottimizzazione dell'assegnazione dei garanti accademici ai corsi universitari.

An Implementation of the Adaptation Procedure in Misinformation Games, in collaboration with Constantinos Varsos and Giorgos Flouris. ICS FORTH

Answer Set Probramming (ASP): clingo encodings for solving Sudoku, Seek Numbers, and Minotaur games.

The world’s first real-time, distributed, cloud-edge collaborative multimodal AI Agent Framework that simultaneously supports C/C++/Go/Python/JS/TS

Documentation framework for ASP, from user to contributor

Kendoku solver in clingo

A repository of ASP planning benchmarks

📊 A task-based visualization recommendation app. Built with draco and vega-lite.

🔴🟢🔵 clingo kernel for Jupyter

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Logic plus python types

Extended logic puzzle solver of noq.

A C# bindings of Clingo library

Prácticas de la asignatura de Representación del Conocimiento y Razonamiento Automático

Development of projects for the course "Artificial Intelligence and Laboratory"