Handy python wrapper around Potassco's Clingo ASP solver.

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

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

Compress graphs

Personal learning repository for Answer Set Programming

DLV syntax highlighter for Visual Studio Code.

Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

ASPEditor is a VSCode Extensions that provides features such as syntax-highlighting, intellisense, code diagnostics and others for ASP,DLV,LP.

📆 ASP-Timetable is an AI logic program implemented in a declarative manner using ASP and Clingo (2017)

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

Answer Set Programming extension for the DALI MAS Framework

A tool for the translation of First-Order Logic (FOL) theories to Answer Set programs (logic programs)

All the scripts made for the Intelligenza Artificiale (Artificial Intelligence) course @UniversitaDellaCalabria - A.Y 2022/2023

Graph compression with FCA and ASP. New versions at:

(ASP) graph handling made easy

Proof of concept approach to Differentiable Answer Set Programming and Differentiable Satisfiability, for sampling and multimodels optimization. For Clingo (https://potassco.org/) + Python

pytest plugin to test ASP code

Comparison and testing of multiple concept generation method using ASP

Evaluate JSON Logic rules in Python using ASP with Clingo

An ASP Timetabler Application